llvm-project/clang/lib/StaticAnalyzer/Core
Jordan Rose 656fdd55dd [analyzer] Warn about double-delete in C++ at the second delete...
...rather somewhere in the destructor when we try to access something and
realize the object has already been deleted. This is necessary because
the destructor is processed before the 'delete' itself.

Patch by Karthik Bhat!

llvm-svn: 198779
2014-01-08 18:46:55 +00:00
..
APSIntType.cpp [analyzer] Teach constraint managers about unsigned comparisons. 2013-03-23 01:21:33 +00:00
AnalysisManager.cpp Add configuration plumbing to enable static initializer branching in the CFG for the analyzer. 2013-03-29 00:09:22 +00:00
AnalyzerOptions.cpp Revert "[analyzer] Add very limited support for temporary destructors" 2013-07-23 02:15:11 +00:00
BasicValueFactory.cpp [analyzer] Disallow creation of int vals with explicit bit width / signedness. 2012-09-01 17:39:24 +00:00
BlockCounter.cpp
BugReporter.cpp Sort all the #include lines with LLVM's utils/sort_includes.py which 2014-01-07 11:51:46 +00:00
BugReporterVisitors.cpp Fixed a FIXME; created a print method for Selectors that accepts a raw_ostream, and started using it in places it made sense. 2014-01-03 17:59:55 +00:00
CMakeLists.txt [CMake] clang/lib: Prune redundant dependencies. 2013-12-10 02:36:22 +00:00
CallEvent.cpp [analyzer] Pointers escape into +[NSValue valueWithPointer:]... 2014-01-07 21:39:48 +00:00
Checker.cpp Reapply r149311 which I reverted by mistake. 2012-01-31 02:23:28 +00:00
CheckerContext.cpp Cleanup handling of UniqueExternalLinkage. 2013-05-13 00:12:11 +00:00
CheckerHelpers.cpp
CheckerManager.cpp [analyzer] This patch removes passing around of const-invalidation vs regular-invalidation info by passing around a datastructure that maps regions and symbols to the type of invalidation they experience. This simplifies the code and would allow to associate more different invalidation types in the future. 2013-09-24 23:47:29 +00:00
CheckerRegistry.cpp Remove useless 'llvm::' qualifier from names like StringRef and others that are 2013-01-12 19:30:44 +00:00
CommonBugCategories.cpp [analyzer] Replace bug category magic strings with shared constants, take 2. 2013-10-04 00:25:24 +00:00
ConstraintManager.cpp [analyzer] Let ConstraintManager subclasses provide a more efficient checkNull. 2012-10-31 16:44:55 +00:00
CoreEngine.cpp Add static analyzer support for conditionally executing static initializers. 2013-03-29 00:09:28 +00:00
Environment.cpp [analyzer] Consolidate constant evaluation logic in SValBuilder. 2013-05-01 23:10:44 +00:00
ExplodedGraph.cpp Use pop_back_val() instead of both back() and pop_back(). 2013-08-23 16:11:15 +00:00
ExprEngine.cpp Eliminate UnaryTypeTraitExpr 2014-01-01 05:57:51 +00:00
ExprEngineC.cpp [analyzer] Add checker callbacks for MemberExpr and UnaryExprOrTypeTraitExpr. 2013-12-11 17:58:10 +00:00
ExprEngineCXX.cpp [analyzer] Handle destructors for the argument to C++ 'delete'. 2013-09-25 16:06:17 +00:00
ExprEngineCallAndReturn.cpp Fix a tranche of comment, test and doc typos 2013-12-05 16:25:25 +00:00
ExprEngineObjC.cpp Include llvm::Optional in clang/Basic/LLVM.h 2013-02-20 22:23:23 +00:00
FunctionSummary.cpp [analyzer] Use inline storage in the FunctionSummary DenseMap. 2013-04-02 00:26:26 +00:00
HTMLDiagnostics.cpp [analyzer] Include bug column numbers in HTML output (in a comment). 2013-11-15 02:11:11 +00:00
Makefile
MemRegion.cpp Replacing calls to getAttr with calls to hasAttr for clarity. No functional change intended -- this only replaces Boolean uses of getAttr. 2013-12-19 02:39:40 +00:00
PathDiagnostic.cpp [analyzer] Warn about double-delete in C++ at the second delete... 2014-01-08 18:46:55 +00:00
PlistDiagnostics.cpp Use pop_back_val() instead of both back() and pop_back(). 2013-08-23 16:11:15 +00:00
PrettyStackTraceLocationContext.h [analyzer] Include analysis stack in crash traces. 2013-07-19 00:59:08 +00:00
ProgramState.cpp Remove a whole lot of unused variables 2013-11-27 05:22:15 +00:00
RangeConstraintManager.cpp [analyzer] Teach constraint managers about unsigned comparisons. 2013-03-23 01:21:33 +00:00
RegionStore.cpp Only mark dump() function definitions 'used' in debug builds 2014-01-04 13:47:14 +00:00
SValBuilder.cpp [analyzer] Always use 'bool' as the SValBuilder condition type in C++. 2013-12-19 22:32:39 +00:00
SVals.cpp [analyzer] Ensure BugReporterTracking works on regions with pointer arithmetic 2013-04-20 01:15:42 +00:00
SimpleConstraintManager.cpp [analyzer] Add support for testing the presence of weak functions. 2013-08-28 17:07:04 +00:00
SimpleConstraintManager.h [analyzer] Add support for testing the presence of weak functions. 2013-08-28 17:07:04 +00:00
SimpleSValBuilder.cpp Correct hyphenations in comments and assert messages 2013-12-05 04:47:09 +00:00
Store.cpp Fix static analyzer crash when casting from an incomplete type 2013-06-20 07: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 [analyzer] Add support for testing the presence of weak functions. 2013-08-28 17:07:04 +00:00