 Jordan Rose
|
a1f81bb0e5
[analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue.
|
13 年 前 |
|
Jordan Rose
|
685379965c
[analyzer] When a symbol is null, we should track its constraints.
|
13 年 前 |
 Ted Kremenek
|
ed7948b55f
Allow some BugReports to opt-out of PathDiagnostic callstack pruning until we have significantly
|
13 年 前 |
|
Ted Kremenek
|
76aadc346c
[analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions.
|
13 年 前 |
 Dylan Noblesmith
|
6f42b62b61
Basic: import OwningPtr<> into clang namespace
|
13 年 前 |
|
Ted Kremenek
|
8bef823818
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
|
13 年 前 |
|
Ted Kremenek
|
5eca482fe8
[analyzer] Make the entries in 'Environment' context-sensitive by making entries map from
|
13 年 前 |
 Anna Zaks
|
390909c89c
[analyzer] Remove the dependency on CheckerContext::getStmt() as well as the method itself.
|
14 年 前 |
|
Anna Zaks
|
50bbc165b0
Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*).
|
14 年 前 |
|
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 年 前 |
|
Ted Kremenek
|
18c66fdc3c
Rename GRState to ProgramState, and cleanup some code formatting along the way.
|
14 年 前 |
|
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 年 前 |
 Argyrios Kyrtzidis
|
ec8605f1d7
[analyzer] Rename CheckerV2 -> Checker.
|
14 年 前 |
|
Argyrios Kyrtzidis
|
267aa5c93b
[analyzer] Migrate UndefinedAssignmentChecker to CheckerV2.
|
14 年 前 |
|
Ted Kremenek
|
9b66371644
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.
|
14 年 前 |
|
Argyrios Kyrtzidis
|
04291a7c76
[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/StaticAnalyzer/Checkers/InternalChecks.h
|
14 年 前 |
|
Ted Kremenek
|
21142581d5
Chris Lattner has strong opinions about directory
|
14 年 前 |
