| .. |
|
AnalysisManager.cpp
|
Remove the unused, unmaintained, incomplete 'Index' library.
|
2012-04-13 16:31:46 +00:00 |
|
BasicConstraintManager.cpp
|
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
|
2012-01-26 21:29:00 +00:00 |
|
BasicValueFactory.cpp
|
Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at.
|
2011-08-12 23:37:29 +00:00 |
|
BlockCounter.cpp
|
Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at.
|
2011-08-12 23:37:29 +00:00 |
|
BugReporter.cpp
|
Require that all static analyzer issues have a category. As part of this change,
|
2012-04-05 20:43:28 +00:00 |
|
BugReporterVisitors.cpp
|
[analyzer] Change warding in a path diagnostic:
|
2012-04-05 02:10:19 +00:00 |
|
CMakeLists.txt
|
[analyzer] Record the basic blocks covered by the analyzes run.
|
2012-04-03 02:05:47 +00:00 |
|
Checker.cpp
|
Reapply r149311 which I reverted by mistake.
|
2012-01-31 02:23:28 +00:00 |
|
CheckerContext.cpp
|
Unify naming of LangOptions variable/get function across the Clang stack (Lex to AST).
|
2012-03-11 07:00:24 +00:00 |
|
CheckerHelpers.cpp
|
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.
|
2011-02-10 01:03:03 +00:00 |
|
CheckerManager.cpp
|
Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that when we generate a new ExplodedNode
|
2012-04-06 22:10:18 +00:00 |
|
CheckerRegistry.cpp
|
Revert my patches which removed Diagnostic.h includes by moving some operator overloads out of line.
|
2012-02-07 22:29:24 +00:00 |
|
CoreEngine.cpp
|
Remove the unused, unmaintained, incomplete 'Index' library.
|
2012-04-13 16:31:46 +00:00 |
|
Environment.cpp
|
Add static analyzer support for new NSArray/NSDictionary/NSNumber literals.
|
2012-03-06 20:06:12 +00:00 |
|
ExplodedGraph.cpp
|
Revert "Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also have it based on adding predecessors/successors, not node allocation. No measurable performance change."
|
2012-02-16 20:48:04 +00:00 |
|
ExprEngine.cpp
|
Add an AttributedStmt type to represent a statement with C++11 attributes
|
2012-04-14 00:33:13 +00:00 |
|
ExprEngineC.cpp
|
[analyzer] dynamic_cast Simplify null value generation.
|
2012-04-11 22:20:07 +00:00 |
|
ExprEngineCXX.cpp
|
Fix analyzer crash on analyzing 'catch' with no condition variable.
|
2012-03-16 05:58:15 +00:00 |
|
ExprEngineCallAndReturn.cpp
|
Change ExprEngine::shouldInlineDecl() to be defensive in checking if the CFG of the callee is valid. Fixes <rdar://problem/11257631>.
|
2012-04-17 01:36:03 +00:00 |
|
ExprEngineObjC.cpp
|
Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that when we generate a new ExplodedNode
|
2012-04-06 22:10:18 +00:00 |
|
FunctionSummary.cpp
|
[analyzer] Record the basic blocks covered by the analyzes run.
|
2012-04-03 02:05:47 +00:00 |
|
HTMLDiagnostics.cpp
|
Unify naming of LangOptions variable/get function across the Clang stack (Lex to AST).
|
2012-03-11 07:00:24 +00:00 |
|
Makefile
|
…
|
|
|
MemRegion.cpp
|
[analyzer] Malloc: Utter the name of the leaked variable.
|
2012-03-21 19:45:08 +00:00 |
|
ObjCMessage.cpp
|
Adopt ExprEngine and checkers to ObjC property refactoring. Everything was working, but now diagnostics are aware of message expressions implied by uses of properties. Fixes <rdar://problem/9241180>.
|
2012-02-18 20:53:30 +00:00 |
|
PathDiagnostic.cpp
|
Include the "issue context" (e.g. function or method) where a static analyzer issue occurred in the plist output.
|
2012-04-04 18:11:35 +00:00 |
|
PlistDiagnostics.cpp
|
Include the "issue context" (e.g. function or method) where a static analyzer issue occurred in the plist output.
|
2012-04-04 18:11:35 +00:00 |
|
ProgramState.cpp
|
Have ScanReachableSymbols reported reachable regions. Fixes a false positive with nested array literals. <rdar://problem/10686586>
|
2012-02-21 00:46:29 +00:00 |
|
RangeConstraintManager.cpp
|
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
|
2012-01-26 21:29:00 +00:00 |
|
RegionStore.cpp
|
[analyzer] dynamic_cast: Better model cast from a reference.
|
2012-04-10 21:29:03 +00:00 |
|
SValBuilder.cpp
|
[analyzer] fix regression in analyzer of NOT actually aborting on Stmts it doesn't understand. We registered
|
2012-03-10 01:34:17 +00:00 |
|
SVals.cpp
|
[analyzer] Remove redundant if statement (pointed out by Ted).
|
2012-04-05 02:10:14 +00:00 |
|
SimpleConstraintManager.cpp
|
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
|
2012-01-26 21:29:00 +00:00 |
|
SimpleConstraintManager.h
|
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
|
2012-01-26 21:29:00 +00:00 |
|
SimpleSValBuilder.cpp
|
Teach SimpleSValBuilder that (in the absence of more information) stack memory doesn't alias symbolic memory. This is a heuristic/hack, but works well in practice. Fixes <rdar://problem/10978247>.
|
2012-03-05 23:06:19 +00:00 |
|
Store.cpp
|
[analyser] Factor out FindUniqueBinding from RetainCount checker.
|
2012-03-21 19:45:01 +00:00 |
|
SubEngine.cpp
|
Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch
|
2011-12-20 02:48:34 +00:00 |
|
SymbolManager.cpp
|
Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once.
|
2012-02-17 23:13:45 +00:00 |
|
TextPathDiagnostics.cpp
|
Change PathDiagnosticPieces to be reference counted (simplifying their management), and introduce 'PathPieces' as a common container for PathDiagnosticPieces.
|
2012-02-08 04:32:34 +00:00 |
92e27e0900