llvm-project/clang/lib/Analysis
Anna Zaks fc2e153444 [analyzer] Malloc: Utter the name of the leaked variable.
Specifically, we use the last store of the leaked symbol in the leak diagnostic.
(No support for struct fields since the malloc checker doesn't track those
yet.)

+ Infrastructure to track the regions used in store evaluations.
This approach is more precise than iterating the store to
obtain the region bound to the symbol, which is used in RetainCount
checker. The region corresponds to what is uttered in the code in the
last store and we do not rely on the store implementation to support
this functionality.

llvm-svn: 153212
2012-03-21 19:45:08 +00:00
..
AnalysisDeclContext.cpp Unify naming of LangOptions variable/get function across the Clang stack (Lex to AST). 2012-03-11 07:00:24 +00:00
CFG.cpp Fix crash when querying the CFG reported when using the thread safety analysis 2012-03-19 23:48:41 +00:00
CFGReachabilityAnalysis.cpp remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports 2011-07-23 10:55:15 +00:00
CFGStmtMap.cpp Constify the result of CFGStmt::getStmt(). 2011-08-23 23:05:04 +00:00
CMakeLists.txt Add a basic CallGraph to Analysis. 2012-03-08 00:42:23 +00:00
CallGraph.cpp Fix dereference of end iterator. Spotted by ASan. 2012-03-14 20:21:25 +00:00
CocoaConventions.cpp Kill cocoa::deriveNamingConvention and cocoa::followsFundamentalRule. They are now just simple wrappers around method families, and method decls can cache method family lookups. Also, no one is using them right now. 2012-03-17 20:51:32 +00:00
Dominators.cpp Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch 2011-12-20 02:48:34 +00:00
FormatString.cpp Support '%p' format specifier with block pointers. 2012-03-15 21:22:27 +00:00
FormatStringParsing.h Support the 'a' length modifier in scanf format strings as a C90 2011-12-15 10:25:47 +00:00
LiveVariables.cpp Enhance AnalysisDeclContext::getReferencedBlockVars() to understand PseudoObjExprs. It turns out 2011-12-22 01:30:46 +00:00
Makefile BUILD_ARCHIVE is the default for libraries, no need to set it. 2010-07-18 00:14:47 +00:00
PostOrderCFGView.cpp Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch 2011-12-20 02:48:34 +00:00
PrintfFormatString.cpp Format string analysis: give 'q' its own enumerator. 2012-02-16 16:34:54 +00:00
ProgramPoint.cpp [analyzer] Malloc: Utter the name of the leaked variable. 2012-03-21 19:45:08 +00:00
PseudoConstantAnalysis.cpp Remove BlockDeclRefExpr and introduce a bit on DeclRefExpr to 2012-03-10 09:33:50 +00:00
ReachableCode.cpp Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch 2011-12-20 02:48:34 +00:00
ScanfFormatString.cpp Format string analysis: give 'q' its own enumerator. 2012-02-16 16:34:54 +00:00
ThreadSafety.cpp Remove BlockDeclRefExpr and introduce a bit on DeclRefExpr to 2012-03-10 09:33:50 +00:00
UninitializedValues.cpp Move llvm/ADT/SaveAndRestore.h -> llvm/Support/SaveAndRestore.h. 2012-03-01 19:45:56 +00:00