llvm-project/clang/lib/Analysis
Ted Kremenek 2907ab7d77 Add a bunch of comments and FIXMEs.
llvm-svn: 61419
2008-12-24 07:46:32 +00:00
..
BasicConstraintManager.cpp CF-retain/release checker: 2008-12-17 21:50:35 +00:00
BasicObjCFoundationChecks.cpp MemRegion: 2008-12-13 21:49:13 +00:00
BasicObjCFoundationChecks.h Change implementation of NSError** coding-style check to be invoked at the end of the retain/release analysis. 2008-09-18 21:25:13 +00:00
BasicStore.cpp Use utility method. 2008-12-21 03:46:11 +00:00
BasicValueFactory.cpp Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. 2008-12-05 02:27:51 +00:00
BugReporter.cpp Fix <rdar://problem/6454568>: BugReporter should correctly handle switch statements with no default case. 2008-12-20 01:41:43 +00:00
CFRefCount.cpp Fix regression when invalidating reference-counts for objects passed-by-reference to a function/method. 2008-12-18 23:34:57 +00:00
CMakeLists.txt CMake: Builds and installs clang binary and libs (no docs yet). It 2008-10-26 00:56:18 +00:00
CheckDeadStores.cpp Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of 2008-11-24 05:29:24 +00:00
CheckNSError.cpp Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of 2008-11-24 05:29:24 +00:00
CheckObjCDealloc.cpp 'self.myIvar = nil' (properties) only releases myIvar when the property has kind 'assign'. This fixes <rdar://problem/6380411>. 2008-12-08 21:44:15 +00:00
CheckObjCInstMethSignature.cpp Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of 2008-11-24 05:29:24 +00:00
CheckObjCUnusedIVars.cpp Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of 2008-11-24 05:29:24 +00:00
Environment.cpp remove unused var 2008-11-25 12:23:46 +00:00
ExplodedGraph.cpp Added "Auditor" interface for auditing the construction of ExplodedGraphs. 2008-08-27 01:56:11 +00:00
GRBlockCounter.cpp Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. 2008-07-07 16:21:19 +00:00
GRCoreEngine.cpp Add new GRWorkList class that uses two queues: 2008-12-16 22:13:33 +00:00
GRExprEngine.cpp Fix initialization order. 2008-12-22 08:30:52 +00:00
GRExprEngineInternalChecks.cpp [static analyzer] Extend VLA size checking to look for undefined sizes. 2008-12-09 00:44:16 +00:00
GRSimpleVals.cpp Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. 2008-12-05 02:27:51 +00:00
GRSimpleVals.h Implement FIXME in GRExprEngine::VisitUnaryOperator() to handle implicit conversions caused by the '!' operator. This required adding some logic to GRSimpleVals to reason about nonloc::LocAsInteger SVals. This code appears to work fine, but it should eventually be cleaned up. 2008-11-15 00:20:05 +00:00
GRState.cpp Lazy bingding for region-store manager. 2008-12-20 06:32:12 +00:00
GRTransferFuncs.cpp Implement FIXME in GRExprEngine::VisitUnaryOperator() to handle implicit conversions caused by the '!' operator. This required adding some logic to GRSimpleVals to reason about nonloc::LocAsInteger SVals. This code appears to work fine, but it should eventually be cleaned up. 2008-11-15 00:20:05 +00:00
LiveVariables.cpp Fixed LiveVariables bug where we didn't consider block-level expressions that functioned as the size of a VLA to be live. 2008-12-09 00:14:14 +00:00
Makefile Make a major restructuring of the clang tree: introduce a top-level 2008-03-15 23:59:48 +00:00
MemRegion.cpp Lazy bingding for region-store manager. 2008-12-20 06:32:12 +00:00
NOTES.TXT Add some notes for SCA. 2008-11-03 06:04:23 +00:00
PathDiagnostic.cpp remove a dead enum 2008-11-22 20:47:38 +00:00
RegionStore.cpp Add a bunch of comments and FIXMEs. 2008-12-24 07:46:32 +00:00
SVals.cpp Lazy bingding for region-store manager. 2008-12-20 06:32:12 +00:00
SymbolManager.cpp Lazy bingding for region-store manager. 2008-12-20 06:32:12 +00:00
UninitializedValues.cpp Flow-sensitive uninitialized values analysis: properly handle the 'element' expression of ObjCForCollectionStmt (can be anything). 2008-11-14 18:21:25 +00:00