llvm-project/clang/lib/StaticAnalyzer/Core
Ted Kremenek e9f364f658 Tweak the retain/release checker to not stop tracking retained objects when calling C++ methods. This is a temporary solution to prune false positives until we have a general story using annotations.
llvm-svn: 130726
2011-05-02 21:21:42 +00:00
..
AggExprVisitor.cpp Begin reworking static analyzer support for C++ method calls. The current logic was divorced 2011-03-30 17:41:19 +00:00
AnalysisManager.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
BasicConstraintManager.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
BasicStore.cpp Augment retain/release checker to not warn about tracked objects passed as arguments to C++ constructors. This is a stop-gap measure for Objective-C++ code that uses smart pointers to manage reference counts. 2011-05-02 19:42:42 +00:00
BasicValueFactory.cpp #include Store.h into BasicValueFactory.cpp to provide definitions of StoreRef constructor. 2011-03-08 23:39:37 +00:00
BlockCounter.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
BugReporter.cpp fix a bunch of comment typos found by codespell. Patch by 2011-04-15 05:22:18 +00:00
BugReporterVisitors.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
CFRefCount.cpp Tweak the retain/release checker to not stop tracking retained objects when calling C++ methods. This is a temporary solution to prune false positives until we have a general story using annotations. 2011-05-02 21:21:42 +00:00
CMakeLists.txt Sort 2011-03-14 21:20:46 +00:00
CXXExprEngine.cpp fix a bunch of comment typos found by codespell. Patch by 2011-04-15 05:22:18 +00:00
CheckerContext.cpp [analyzer] Remove Checker V1. 2011-03-01 01:16:08 +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 Augment retain/release checker to not warn about tracked objects passed as arguments to C++ constructors. This is a stop-gap measure for Objective-C++ code that uses smart pointers to manage reference counts. 2011-05-02 19:42:42 +00:00
CoreEngine.cpp Remove unused STL header includes. 2011-04-23 19:53:52 +00:00
Environment.cpp Allow 'Environment::getSVal()' to allow an optional way for checkers to do a direct lookup to values bound to expressions, without 2011-04-27 05:34:09 +00:00
ExplodedGraph.cpp fix a bunch of comment typos found by codespell. Patch by 2011-04-15 05:22:18 +00:00
ExprEngine.cpp Augment retain/release checker to not warn about tracked objects passed as arguments to C++ constructors. This is a stop-gap measure for Objective-C++ code that uses smart pointers to manage reference counts. 2011-05-02 19:42:42 +00:00
FlatStore.cpp Augment retain/release checker to not warn about tracked objects passed as arguments to C++ constructors. This is a stop-gap measure for Objective-C++ code that uses smart pointers to manage reference counts. 2011-05-02 19:42:42 +00:00
GRState.cpp Augment retain/release checker to not warn about tracked objects passed as arguments to C++ constructors. This is a stop-gap measure for Objective-C++ code that uses smart pointers to manage reference counts. 2011-05-02 19:42:42 +00:00
HTMLDiagnostics.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
Makefile [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core. 2011-02-08 22:30:36 +00:00
MemRegion.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
ObjCMessage.cpp C++ static analysis: also invalidate fields of objects that are the callees in C++ method calls. 2011-04-11 22:22:05 +00:00
PathDiagnostic.cpp Change the representation of GNU ?: expressions to use a different expression 2011-02-17 10:25:35 +00:00
PlistDiagnostics.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
RangeConstraintManager.cpp [analyzer] Remove ManagerRegistry which is not used. In the future we may load analyzer plugins dynamically but 2011-02-14 18:13:17 +00:00
RegionStore.cpp Augment retain/release checker to not warn about tracked objects passed as arguments to C++ constructors. This is a stop-gap measure for Objective-C++ code that uses smart pointers to manage reference counts. 2011-05-02 19:42:42 +00:00
SValBuilder.cpp Improves the coding style in SValBuilder. This patch: 2011-03-01 00:45:32 +00:00
SVals.cpp [analyzer] Remove SVal::getAsVarDecl() and reason about MemRegions, not Decls. Suggestion by Ted! 2011-03-01 01:47:48 +00:00
SimpleConstraintManager.cpp [analyzer] Remove Checker V1. 2011-03-01 01:16:08 +00:00
SimpleConstraintManager.h Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00
SimpleSValBuilder.cpp Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '++' pointer arithmetic. 2011-04-12 03:49:37 +00:00
Store.cpp Improves the coding style in SValBuilder. This patch: 2011-03-01 00:45:32 +00:00
SymbolManager.cpp Makes most methods in SVals.h conform to the naming guide. Reviewed 2011-02-16 21:13:32 +00:00
TextPathDiagnostics.cpp Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 2011-02-10 01:03:03 +00:00