llvm-project/clang/lib/Analysis
Ted Kremenek 35f875c136 Fix: <rdar://problem/6777209> false Dereference of null pointer in loop: pointer increment/decrement preserves non-nullness
When the StoreManager doesn't reason well about pointer-arithmetic, propagate
the non-nullness constraint on a pointer value when performing pointer
arithmetic uisng ++/--.

llvm-svn: 69741
2009-04-21 22:38:05 +00:00
..
BasicConstraintManager.cpp Patch by Ben Laurie: 2009-02-14 17:08:39 +00:00
BasicObjCFoundationChecks.cpp get a CodeTextRegion when visiting FunctionDecl reference. 2009-04-20 05:24:46 +00:00
BasicObjCFoundationChecks.h Overhaul BugReporter interface and implementation. The new interface cleans up 2009-02-04 23:49:09 +00:00
BasicStore.cpp Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' 2009-04-21 21:51:34 +00:00
BasicValueFactory.cpp analyzer infrastructure: make a bunch of changes to symbolic expressions that 2009-03-26 03:35:11 +00:00
BugReporter.cpp FunctionDecl::getBody() is getting an ASTContext argument for use in 2009-04-18 00:02:19 +00:00
CFRefCount.cpp get a CodeTextRegion when visiting FunctionDecl reference. 2009-04-20 05:24:46 +00:00
CMakeLists.txt Build system changes to use TableGen to generate the various 2009-03-16 23:06:59 +00:00
CheckDeadStores.cpp Remove hack from LiveVariables analysis where variables whose address are taken 2009-04-07 05:25:24 +00:00
CheckNSError.cpp Simplify more code by using SVal::getAsSymbol(). 2009-03-30 19:53:37 +00:00
CheckObjCDealloc.cpp FunctionDecl::getBody() is getting an ASTContext argument for use in 2009-04-18 00:02:19 +00:00
CheckObjCInstMethSignature.cpp Propagate the ASTContext to various AST traversal and lookup functions. 2009-04-09 21:40:53 +00:00
CheckObjCUnusedIVars.cpp FunctionDecl::getBody() is getting an ASTContext argument for use in 2009-04-18 00:02:19 +00:00
Environment.cpp Add comments. 2009-03-12 07:54:17 +00:00
ExplodedGraph.cpp Use the correct data structures! 2009-03-12 23:41:59 +00:00
GRBlockCounter.cpp Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. 2008-07-07 16:21:19 +00:00
GRCoreEngine.cpp Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" 2009-04-11 00:11:10 +00:00
GRExprEngine.cpp Fix: <rdar://problem/6777209> false Dereference of null pointer in loop: pointer increment/decrement preserves non-nullness 2009-04-21 22:38:05 +00:00
GRExprEngineInternalChecks.cpp get a CodeTextRegion when visiting FunctionDecl reference. 2009-04-20 05:24:46 +00:00
GRSimpleVals.cpp Remove loc::FuncVal. 2009-04-20 06:35:22 +00:00
GRSimpleVals.h analyzer infrastructure: make a bunch of changes to symbolic expressions that 2009-03-26 03:35:11 +00:00
GRState.cpp analyzer: Introduce a new class, ValueManager, that serves as an aggregate 2009-04-09 16:13:17 +00:00
GRTransferFuncs.cpp analyzer infrastructure: make a bunch of changes to symbolic expressions that 2009-03-26 03:35:11 +00:00
LiveVariables.cpp Remove hack from LiveVariables analysis where variables whose address are taken 2009-04-07 05:25:24 +00:00
Makefile Build system changes to use TableGen to generate the various 2009-03-16 23:06:59 +00:00
MemRegion.cpp Recommit 69694 but this time also include the header changes (sorry for breaking 2009-04-21 19:56:58 +00:00
PathDiagnostic.cpp FunctionDecl::getBody() is getting an ASTContext argument for use in 2009-04-18 00:02:19 +00:00
RangeConstraintManager.cpp Tweak pretty-printing of constraints. 2009-04-21 22:37:11 +00:00
RegionStore.cpp Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' 2009-04-21 21:51:34 +00:00
SVals.cpp Use 'getAs<CodeTextRegion>' instead of 'dyn_cast<CodeTextRegion>' to handle any 2009-04-21 17:37:26 +00:00
SimpleConstraintManager.cpp Remove loc::FuncVal. 2009-04-20 06:35:22 +00:00
SimpleConstraintManager.h analyzer infrastructure: make a bunch of changes to symbolic expressions that 2009-03-26 03:35:11 +00:00
Store.cpp Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' 2009-04-21 21:51:34 +00:00
SymbolManager.cpp analyzer infrastructure: make a bunch of changes to symbolic expressions that 2009-03-26 03:35:11 +00:00
UninitializedValues.cpp rename some methods. 2009-03-28 06:33:19 +00:00