summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/RegionStore.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* Initial support for pointer arithmetic. Only support concrete indexes and Zhongxing Xu2009-03-021-0/+29
* Rename AnonTypedRegion to TypedViewRegion.Ted Kremenek2009-03-011-3/+3
* Fix <rdar://problem/6611677>: Add basic transfer function support in the staticTed Kremenek2009-02-241-2/+8
* Add an example in comments.Zhongxing Xu2009-02-201-1/+6
* only track integer and pointer values for now.Zhongxing Xu2009-02-191-2/+7
* Convert the offset to signed before making an ElementRegion with it. It seemsZhongxing Xu2009-02-191-1/+11
* SymbolicRegions really have unknown sizes.Zhongxing Xu2009-02-061-3/+1
* Create ElementRegion when the base is SymbolicRegion. This is like what we doZhongxing Xu2009-02-061-3/+14
* Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so Zhongxing Xu2009-02-051-2/+4
* Fix a couple bugs:Ted Kremenek2009-01-301-11/+18
* Correct size assumption; fixes a crash on amd64.Sebastian Redl2009-01-261-1/+2
* Implement retrieval of the default value of element and field regions.Zhongxing Xu2009-01-231-0/+9
* Now this comment should be resolved. See the comments for the KillSet.Zhongxing Xu2009-01-231-6/+0
* For now, return UnknownVal() in RegionStore::getElementsSize() for AnonTypedR...Ted Kremenek2009-01-221-0/+10
* Add RegionStore support for the implicit object region that 'self' references...Ted Kremenek2009-01-221-5/+24
* Fix RegionStore::getLValueElement() to handle the case when the base region i...Ted Kremenek2009-01-221-37/+50
* Static analyzer: Remove a bunch of outdated SymbolData objects andTed Kremenek2009-01-221-6/+3
* Combine two branches into one. No functionality change.Ted Kremenek2009-01-211-3/+1
* Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...Ted Kremenek2009-01-211-20/+15
* Get RegionStore to work with the retain/release checker and its test cases.Ted Kremenek2009-01-211-20/+16
* add a fixme.Zhongxing Xu2009-01-131-0/+2
* Add KillStruct to region store. Zhongxing Xu2009-01-131-10/+62
* Invert condition on branch (was causing RegionStore::ArrayToPointer to return...Ted Kremenek2009-01-131-1/+1
* Refactor MemRegionManager instance variable into parent class. No functional...Ted Kremenek2009-01-071-4/+4
* Return UnknownVal in RegionStoreManager::getSizeInElements() for unsupported ...Ted Kremenek2009-01-061-0/+1
* Add a bunch of comments and FIXMEs.Ted Kremenek2008-12-241-13/+90
* set region default value if there are not enough init values for array and st...Zhongxing Xu2008-12-241-5/+5
* Comment and fixup GDM entries for RegionStore to use unique 'tag classes' to ...Ted Kremenek2008-12-241-40/+66
* Lazy bingding for region-store manager.Zhongxing Xu2008-12-201-350/+183
* Implement RegionStoreManager::Remove().Zhongxing Xu2008-12-161-6/+12
* I think we should getRValueType here. The lvaluetype of an array region is 'p...Zhongxing Xu2008-12-141-1/+1
* MemRegion:Ted Kremenek2008-12-131-33/+48
* A series of cleanups/fixes motivated by <rdar://problem/6442306>:Ted Kremenek2008-12-131-3/+13
* Address some comments on the name lookup/DeclContext patch from ChrisDouglas Gregor2008-12-111-6/+5
* Unifies the name-lookup mechanisms used in various parts of the ASTDouglas Gregor2008-12-111-2/+7
* Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek2008-12-051-1/+1
* StoreManager::Retrieve and StoreManager::RemoveDeadBindings now take a GRStat...Ted Kremenek2008-12-051-19/+17
* Revamp RegionStoreManager::RemoveDeadBindings. This method now does a comple...Ted Kremenek2008-12-041-7/+131
* Add comments.Zhongxing Xu2008-12-041-0/+6
* Make RegionStoreManager::InitializeArray safe against array sizes that don't ...Sebastian Redl2008-12-021-1/+2
* Add support for initializing array with string literal.Zhongxing Xu2008-11-301-5/+30
* To be consistent, make the index of the ElementRegion always signed.Zhongxing Xu2008-11-291-1/+1
* Fix a serious bug.Zhongxing Xu2008-11-281-2/+3
* Use std::make_pair instead of std::pair's ctor.Zhongxing Xu2008-11-281-3/+2
* RegionViewMap factory is actually not used. All GDMs should use factories fromZhongxing Xu2008-11-271-2/+0
* Fix the fix of revision 59974. Now array-struct.c passes too.Sebastian Redl2008-11-241-1/+2
* Fix crash of array bounds checking under 64-bit.Sebastian Redl2008-11-241-3/+6
* Add support for AllocaRegion extent with GDM.Zhongxing Xu2008-11-241-5/+56
* Strings are NULL terminated. So the region size should plus one.Zhongxing Xu2008-11-241-1/+1
* Add a comment about the signedness.Zhongxing Xu2008-11-241-0/+2
OpenPOWER on IntegriCloud