 Benjamin Kramer
|
00bd44d567
Move various diagnostic operator<< overloads out of line and remove includes of Diagnostic.h.
|
13 år sedan |
 Ted Kremenek
|
8bef823818
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
|
13 år sedan |
 David Blaikie
|
561d3abc88
Remove unnecessary default cases in switches over enums.
|
13 år sedan |
|
Ted Kremenek
|
5eca482fe8
[analyzer] Make the entries in 'Environment' context-sensitive by making entries map from
|
13 år sedan |
 Anna Zaks
|
eb31a76d1c
[analyzer] Be less pessimistic about invalidation of global variables
|
13 år sedan |
|
Ted Kremenek
|
e3659a78a9
Fix 80 col violations.
|
13 år sedan |
|
Anna Zaks
|
b805c8ff13
[analyzer] Refactor checkers to use helper function for getting callee Decl and name.
|
13 år sedan |
|
Anna Zaks
|
0bd6b110e9
[analyzer] Rename generateNode -> addTransition in CheckerContext
|
14 år sedan |
|
Anna Zaks
|
063e0887ad
[analyzer] Simplify CheckerContext
|
14 år sedan |
|
Anna Zaks
|
af498a2879
[analyze] Convert EndOfPath callback to use CheckerContext
|
14 år sedan |
|
Benjamin Kramer
|
b8989f27f1
Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer.
|
14 år sedan |
|
Anna Zaks
|
390909c89c
[analyzer] Remove the dependency on CheckerContext::getStmt() as well as the method itself.
|
14 år sedan |
|
Anna Zaks
|
5d0ea6d62e
[analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers can obtain block count directly from the Context.
|
14 år sedan |
 Zhongxing Xu
|
d56763fd33
If size was equal to 0, either NULL or a pointer suitable to be passed to
|
14 år sedan |
|
Anna Zaks
|
e172e8b9e7
Remove EnhancedBugReport and RangedBugReport - pull all the extra functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds default range to Ranges if none are supplied, made getStmt() private, which was another FIXME.
|
14 år sedan |
|
Ted Kremenek
|
18c66fdc3c
Rename GRState to ProgramState, and cleanup some code formatting along the way.
|
14 år sedan |
|
Ted Kremenek
|
9c378f7054
Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at.
|
14 år sedan |
|
Ted Kremenek
|
217470e075
[analyzer] fix bug in malloc checker where the tracked symbol would not properly be removed from the state.
|
14 år sedan |
 Chris Lattner
|
5f9e272e63
remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports
|
14 år sedan |
 Lenny Maiorani
|
4d8d803b06
More accurately model realloc() when the size argument is 0. realloc() with a size of 0 is equivalent to free(). The memory region should be marked as free and not used again.
|
14 år sedan |
 Zhongxing Xu
|
2bfa3019b8
Remove a redundant method. We have a const version.
|
14 år sedan |
 Argyrios Kyrtzidis
|
ec8605f1d7
[analyzer] Rename CheckerV2 -> Checker.
|
14 år sedan |
|
Argyrios Kyrtzidis
|
312dbec867
[analyzer] Migrate MallocChecker to CheckerV2.
|
14 år sedan |
|
Argyrios Kyrtzidis
|
f178ac8b68
[analyzer] Refactor EndOfFunctionNodeBuilder.
|
14 år sedan |
|
Chris Lattner
|
6810630bb0
simplify a bit.
|
14 år sedan |
|
Ted Kremenek
|
9b66371644
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.
|
14 år sedan |
|
Argyrios Kyrtzidis
|
af1a9330ff
[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.h
|
14 år sedan |
|
Ted Kremenek
|
ba37d3b2ef
Remove unnecessary save-and-restore of the
|
14 år sedan |
|
Argyrios Kyrtzidis
|
f7fbbda627
[analyzer] Add 'isLoad' parameter in Checker::visitLocation() to conveniently distinguish between loads/stores.
|
14 år sedan |
|
Ted Kremenek
|
e36de1fe51
Rename misc. methods in GRSubEngine to start
|
14 år sedan |
