summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/RegionStore.cpp
Commit message (Expand)AuthorAgeFilesLines
* Finally nuke loc::SymbolVal.Zhongxing Xu2009-04-101-40/+5
* - Move ownership of MemRegionManager into ValueManager.Ted Kremenek2009-04-091-7/+5
* Propagate the ASTContext to various AST traversal and lookup functions.Douglas Gregor2009-04-091-2/+4
* This is the first step to gradually remove the use of loc::SymbolVal. NowZhongxing Xu2009-04-031-11/+32
* Re-apply 68028. The code had drifted enough that the tests would fail withoutTed Kremenek2009-03-301-5/+14
* Revert 68028.Ted Kremenek2009-03-301-14/+5
* Make SymbolicRegion untyped.Zhongxing Xu2009-03-301-5/+14
* Implement a FIXME.Zhongxing Xu2009-03-301-7/+2
* remove dead code.Zhongxing Xu2009-03-271-4/+0
* analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek2009-03-261-9/+5
* Use a work list to recursively build up the subregion mapping, and mark liveZhongxing Xu2009-03-181-9/+17
* Updated comment.Ted Kremenek2009-03-131-0/+2
* Fix failure reported by Sebastian of test/Analysis/ptr-arith.c when the targetTed Kremenek2009-03-131-6/+7
* Use getAsRecordType() to get around sugar types.Zhongxing Xu2009-03-121-1/+1
* Do not stipulate the record type is a definition in BindStruct().Zhongxing Xu2009-03-111-1/+3
* Fix crash when LHS of pointer arithmetic is not ElementRegion.Zhongxing Xu2009-03-111-3/+15
* RegionStore::getLValueElement: Handle the case where the signedness of theTed Kremenek2009-03-111-2/+6
* RegionStore::getElementLValue(): Handle the case where the base is a null poi...Ted Kremenek2009-03-091-1/+5
* Only track integer and pointer values.Zhongxing Xu2009-03-091-2/+5
* Now we do not retrieve untyped regions.Zhongxing Xu2009-03-091-8/+7
* Fix a serious bug in RegionStore: we got the new state with new store fromZhongxing Xu2009-03-091-4/+2
* Add initial support for tracking ivars, with special handling for ivars of 's...Ted Kremenek2009-03-051-8/+33
* RegionStore: Handle implicit parameters.Ted Kremenek2009-03-041-3/+5
* RegionStore::RemoveDeadBindings needs to check all the symbols of the super r...Ted Kremenek2009-03-041-0/+20
* Don't use std::auto_ptr with getSubRegionMap().Ted Kremenek2009-03-031-4/+3
* Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning M...Ted Kremenek2009-03-031-8/+9
* Add StoreManager::getSubRegionMap(). This method returns an opaque mapping f...Ted Kremenek2009-03-031-0/+45
* remove an implemented fixme.Zhongxing Xu2009-03-021-2/+0
* 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
OpenPOWER on IntegriCloud