summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/RegionStore.cpp
Commit message (Expand)AuthorAgeFilesLines
* Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek2010-01-251-2015/+0
* Add support for computing size in elements for symbolic regions obtained fromZhongxing Xu2010-01-181-4/+21
* Switch RegionStore over to using <BaseRegion+raw offset> to storeTed Kremenek2010-01-111-22/+58
* Preliminary reworking of value-binding logic in RegionStore:Ted Kremenek2010-01-111-31/+110
* Make static analysis support for C++ 'this' expression context-sensitive. Es...Ted Kremenek2010-01-051-9/+7
* Add comments.Zhongxing Xu2009-12-211-0/+1
* Completely remove ObjCObjectRegion (tests pass this time).Ted Kremenek2009-12-161-4/+1
* Add a new kind of region: CXXObjectRegion. Currently it has only one Zhongxing Xu2009-12-161-0/+2
* Add (initial?) static analyzer support for handling C++ references.Ted Kremenek2009-12-161-1/+7
* Remove ValueManager::getRegionValueSymbolValOrUnknown(). It was just extra v...Ted Kremenek2009-12-151-7/+6
* Enhance understanding of VarRegions referenced by a block whose declarations ...Ted Kremenek2009-12-111-1/+4
* Add analysis support for blocks. This includes a few key changes:Ted Kremenek2009-12-071-28/+17
* Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion).Ted Kremenek2009-12-041-1/+1
* constify MemRegion* returned by MemRegionManager::getXXXRegion() methods.Ted Kremenek2009-12-041-11/+7
* Tweak handling of BlockDataRegions in RegionStoreManager::RemoveDeadBindings(...Ted Kremenek2009-12-031-4/+6
* Add value invalidation logic for block-captured variables. Conceptually invo...Ted Kremenek2009-12-031-0/+13
* Add batch version of 'StoreManager::InvalidateRegion()' for invalidating mult...Ted Kremenek2009-12-031-11/+21
* lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespaceKovarththanan Rajaratnam2009-11-281-7/+6
* Teach RegionStoreManager::RemoveDeadBindings() about BlockDataRegions. Any V...Ted Kremenek2009-11-261-4/+17
* Refine MemRegions for blocks. Add a new region calledTed Kremenek2009-11-251-0/+2
* Remove recently added FIXME. The appropriate FIXME is already in MemRegionMa...Ted Kremenek2009-11-251-2/+0
* Add FIXME.Ted Kremenek2009-11-251-0/+2
* Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a pre...Ted Kremenek2009-11-251-2/+4
* Fix crash when using --analyzer-store=region when handling initializers with ...Ted Kremenek2009-11-191-11/+39
* * Do the same thing to the basicstore as in r84163.Zhongxing Xu2009-11-161-4/+8
* Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal.Zhongxing Xu2009-11-121-3/+4
* Rename: StripCasts describes what it does better. Zhongxing Xu2009-11-101-1/+1
* Fix clang's use of DenseMap iterators after r86636 fixed their constness.Jeffrey Yasskin2009-11-101-1/+1
* Make sure that Type::getAs<ArrayType>() (or Type::getAs<subclass ofDouglas Gregor2009-11-091-1/+1
* Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*,...Ted Kremenek2009-11-041-8/+6
* Fix an insidious bug in RegionStore::RemoveDeadBindings() pointed outTed Kremenek2009-10-291-2/+23
* RegionStore: Use the *default* binding (instead of the *direct* binding) of a...Ted Kremenek2009-10-201-3/+3
* use DenseSet instead of SmallSet.Zhongxing Xu2009-10-181-2/+2
* Minor cleanup: move typedef out of anonymous namespace (which now contains no...Ted Kremenek2009-10-171-4/+2
* Per discussion with Ted, the 'FromSuper'/'FromSub' logic is invalid. SimplifyZhongxing Xu2009-10-171-72/+33
* Actually all regions whose super region is not MemSpaceRegion are of these 3Zhongxing Xu2009-10-171-5/+4
* retain/release checker: Stop tracking reference counts for any symbols touche...Ted Kremenek2009-10-161-4/+18
* Per an astute observation from Zhongxing Xu, remove a "special case" logic inTed Kremenek2009-10-151-22/+0
* * Remove unused GRState* parameterZhongxing Xu2009-10-141-25/+18
* Add an initial implementation of EnterStackFrame() to the StoreManager.Zhongxing Xu2009-10-131-0/+22
* Introduces a new BindingVal which combines direct andZhongxing Xu2009-10-111-190/+165
* Make the behavior explicit by not using the method call.Zhongxing Xu2009-10-091-2/+2
* Remove unused code.Zhongxing Xu2009-10-091-7/+0
* Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer whenTed Kremenek2009-10-061-10/+23
* Desugaring optimizations. Add single-step desugaring methods to allJohn McCall2009-09-291-1/+1
* Fix: <rdar://problem/7261075> [RegionStore] crash when handling load: '*((uns...Ted Kremenek2009-09-291-1/+8
* Fix really insidious bug in RegionStoreManager::RemoveDeadBindings()Ted Kremenek2009-09-291-155/+161
* Reapply most of r82939, but add a guard that FieldRegions and friendsTed Kremenek2009-09-291-4/+9
* Revert r82939. We can only not special case FieldRegions when the super regi...Ted Kremenek2009-09-291-9/+5
* Specially handle fields, elements, and ivars inTed Kremenek2009-09-271-5/+9
OpenPOWER on IntegriCloud