summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/RegionStore.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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
* Add getSize() support for StringRegion.Zhongxing Xu2008-11-241-3/+2
* Clean up code by using utility methods.Zhongxing Xu2008-11-231-11/+7
* Remove debug code.Zhongxing Xu2008-11-221-1/+1
* Initial support for checking out of bound memory access. Only support Zhongxing Xu2008-11-221-0/+36
* Add support for symbolicating global structs and arrays in RegionStoreManager...Zhongxing Xu2008-11-191-1/+78
* Fix warning about RegionStoreManager::Retrieve() not always returning a value.Ted Kremenek2008-11-191-1/+1
* handle the case that the array element is of structure type when bind the who...Zhongxing Xu2008-11-181-1/+4
* Enhance modularization: return a <state,loc> pair to let GRExprEngine modify theZhongxing Xu2008-11-161-10/+8
* Enhances SCA to process untyped region to typed region conversion.Zhongxing Xu2008-11-161-1/+67
* Improve zero value generation.Zhongxing Xu2008-11-151-2/+1
* Process array base expression of any type.Zhongxing Xu2008-11-131-0/+8
* Array index might be unsigned. We have to generate a temporary signed value forZhongxing Xu2008-11-131-0/+12
* Incomplete struct pointer can be used as a function argument.Zhongxing Xu2008-11-131-1/+7
OpenPOWER on IntegriCloud