aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/RegionStore.cpp
AgeCommit message (Expand)Author
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
2010-01-18Add support for computing size in elements for symbolic regions obtained fromZhongxing Xu
2010-01-11Switch RegionStore over to using <BaseRegion+raw offset> to storeTed Kremenek
2010-01-11Preliminary reworking of value-binding logic in RegionStore:Ted Kremenek
2010-01-05Make static analysis support for C++ 'this' expression context-sensitive. Es...Ted Kremenek
2009-12-21Add comments.Zhongxing Xu
2009-12-16Completely remove ObjCObjectRegion (tests pass this time).Ted Kremenek
2009-12-16Add a new kind of region: CXXObjectRegion. Currently it has only one Zhongxing Xu
2009-12-16Add (initial?) static analyzer support for handling C++ references.Ted Kremenek
2009-12-15Remove ValueManager::getRegionValueSymbolValOrUnknown(). It was just extra v...Ted Kremenek
2009-12-11Enhance understanding of VarRegions referenced by a block whose declarations ...Ted Kremenek
2009-12-07Add analysis support for blocks. This includes a few key changes:Ted Kremenek
2009-12-04Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion).Ted Kremenek
2009-12-04constify MemRegion* returned by MemRegionManager::getXXXRegion() methods.Ted Kremenek
2009-12-03Tweak handling of BlockDataRegions in RegionStoreManager::RemoveDeadBindings(...Ted Kremenek
2009-12-03Add value invalidation logic for block-captured variables. Conceptually invo...Ted Kremenek
2009-12-03Add batch version of 'StoreManager::InvalidateRegion()' for invalidating mult...Ted Kremenek
2009-11-28lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespaceKovarththanan Rajaratnam
2009-11-26Teach RegionStoreManager::RemoveDeadBindings() about BlockDataRegions. Any V...Ted Kremenek
2009-11-25Refine MemRegions for blocks. Add a new region calledTed Kremenek
2009-11-25Remove recently added FIXME. The appropriate FIXME is already in MemRegionMa...Ted Kremenek
2009-11-25Add FIXME.Ted Kremenek
2009-11-25Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a pre...Ted Kremenek
2009-11-19Fix crash when using --analyzer-store=region when handling initializers with ...Ted Kremenek
2009-11-16* Do the same thing to the basicstore as in r84163.Zhongxing Xu
2009-11-12Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal.Zhongxing Xu
2009-11-10Rename: StripCasts describes what it does better. Zhongxing Xu
2009-11-10Fix clang's use of DenseMap iterators after r86636 fixed their constness.Jeffrey Yasskin
2009-11-09Make sure that Type::getAs<ArrayType>() (or Type::getAs<subclass ofDouglas Gregor
2009-11-04Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*,...Ted Kremenek
2009-10-29Fix an insidious bug in RegionStore::RemoveDeadBindings() pointed outTed Kremenek
2009-10-20RegionStore: Use the *default* binding (instead of the *direct* binding) of a...Ted Kremenek
2009-10-18use DenseSet instead of SmallSet.Zhongxing Xu
2009-10-17Minor cleanup: move typedef out of anonymous namespace (which now contains no...Ted Kremenek
2009-10-17Per discussion with Ted, the 'FromSuper'/'FromSub' logic is invalid. SimplifyZhongxing Xu
2009-10-17Actually all regions whose super region is not MemSpaceRegion are of these 3Zhongxing Xu
2009-10-16retain/release checker: Stop tracking reference counts for any symbols touche...Ted Kremenek
2009-10-15Per an astute observation from Zhongxing Xu, remove a "special case" logic inTed Kremenek
2009-10-14* Remove unused GRState* parameterZhongxing Xu
2009-10-13Add an initial implementation of EnterStackFrame() to the StoreManager.Zhongxing Xu
2009-10-11Introduces a new BindingVal which combines direct andZhongxing Xu
2009-10-09Make the behavior explicit by not using the method call.Zhongxing Xu
2009-10-09Remove unused code.Zhongxing Xu
2009-10-06Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer whenTed Kremenek
2009-09-29Desugaring optimizations. Add single-step desugaring methods to allJohn McCall
2009-09-29Fix: <rdar://problem/7261075> [RegionStore] crash when handling load: '*((uns...Ted Kremenek
2009-09-29Fix really insidious bug in RegionStoreManager::RemoveDeadBindings()Ted Kremenek
2009-09-29Reapply most of r82939, but add a guard that FieldRegions and friendsTed Kremenek
2009-09-29Revert r82939. We can only not special case FieldRegions when the super regi...Ted Kremenek
2009-09-27Specially handle fields, elements, and ivars inTed Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-04-30 02:19:03 +0000