llvm-project/clang/lib/Analysis
Ted Kremenek 817737a002 Add FIXME.
llvm-svn: 60390
2008-12-02 01:26:07 +00:00
..
BasicConstraintManager.cpp Factory objects should not be temporary. It caches all objects in the set. 2008-11-27 06:08:40 +00:00
BasicObjCFoundationChecks.cpp Rename Selector::getName() to Selector::getAsString(), and add 2008-11-24 03:33: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 std::make_pair instead of std::pair's ctor. 2008-11-28 03:55:52 +00:00
BasicValueFactory.cpp Initial support for checking out of bound memory access. Only support 2008-11-22 13:21:46 +00:00
BugReporter.cpp Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of 2008-11-24 05:29:24 +00:00
CFRefCount.cpp Add FIXME. 2008-12-02 01:26:07 +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 Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of 2008-11-24 05:29:24 +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 (preliminary) transfer function support for ObjCForCollectionStmt. Still need to flesh out some logic. 2008-11-12 19:24:17 +00:00
GRExprEngine.cpp Add support for initializing array with string literal. 2008-11-30 05:49:49 +00:00
GRExprEngineInternalChecks.cpp Add out-of-bound memory access warning report code. 2008-11-23 05:52:28 +00:00
GRSimpleVals.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
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 GRStateRef: 2008-11-12 19:21:30 +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 Minor tweaks to liveness analysis: 2008-11-14 21:07: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 Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of 2008-11-24 05:29:24 +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 support for initializing array with string literal. 2008-11-30 05:49:49 +00:00
SVals.cpp Add utility methods. 2008-11-24 09:38:21 +00:00
SymbolManager.cpp Add SymbolData for array elements and struct fields. 2008-11-19 11:03:17 +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