 George Karpenkov
|
b340ee9768
[analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently
|
7 years ago |
 Gabor Horvath
|
02f895ab3e
[analyzer] Do not continue to analyze a path if the constraints contradict with builtin assume
|
8 years ago |
|
Gabor Horvath
|
6aa8fdcd35
[analyzer] Add modelling of __builtin_assume
|
8 years ago |
 David Majnemer
|
b070ebaa5e
Add support for __builtin_alloca_with_align
|
8 years ago |
 Sanjay Patel
|
a43b1f18fd
add __builtin_unpredictable and convert to metadata
|
10 years ago |
 Jordan Rose
|
4c4ef1f543
Teach the analyzer that __builtin_assume_aligned returns its first argument.
|
11 years ago |
|
Jordan Rose
|
7d0dcd2de0
Omit arguments of __builtin_object_size from the CFG.
|
12 years ago |
|
Jordan Rose
|
7c0a8b560a
[analyzer] Add support for __builtin_addressof.
|
12 years ago |
 David Blaikie
|
5251abea41
Replace SVal llvm::cast support to be well-defined.
|
12 years ago |
 Chandler Carruth
|
55fc873017
Sort all of Clang's files under 'lib', and fix up the broken headers
|
12 years ago |
 Anna Zaks
|
dac6cd533d
[analyzer] Fix a crash reported in PR 14400.
|
12 years ago |
 Ted Kremenek
|
66c486f275
Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.
|
13 years ago |
|
Ted Kremenek
|
8bef823818
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
|
13 years ago |
|
Ted Kremenek
|
5eca482fe8
[analyzer] Make the entries in 'Environment' context-sensitive by making entries map from
|
13 years ago |
|
Anna Zaks
|
b805c8ff13
[analyzer] Refactor checkers to use helper function for getting callee Decl and name.
|
13 years ago |
|
Anna Zaks
|
39ac1876f6
[analyzer] Add getLocationContext to CheckerContext
|
14 years ago |
|
Anna Zaks
|
0bd6b110e9
[analyzer] Rename generateNode -> addTransition in CheckerContext
|
14 years ago |
|
Anna Zaks
|
5d0ea6d62e
[analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers can obtain block count directly from the Context.
|
14 years ago |
|
Ted Kremenek
|
18c66fdc3c
Rename GRState to ProgramState, and cleanup some code formatting along the way.
|
14 years ago |
 Argyrios Kyrtzidis
|
ec8605f1d7
[analyzer] Rename CheckerV2 -> Checker.
|
14 years ago |
|
Argyrios Kyrtzidis
|
1034870882
[analyzer] Migrate BuiltinFunctionChecker to CheckerV2.
|
14 years ago |
|
Ted Kremenek
|
9b66371644
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.
|
14 years ago |
|
Argyrios Kyrtzidis
|
04291a7c76
[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/StaticAnalyzer/Checkers/InternalChecks.h
|
14 years ago |
|
Ted Kremenek
|
21142581d5
Chris Lattner has strong opinions about directory
|
14 years ago |
