aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/MemRegion.cpp
AgeCommit message (Expand)Author
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
2010-01-11Roll out ASTContext::getTypeSizeInChars(), replacing instances ofKen Dyck
2010-01-09When binding an rvalue to a reference, create a temporary object. Use Zhongxing Xu
2010-01-05Make static analysis support for C++ 'this' expression context-sensitive. Es...Ted Kremenek
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-14Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on cap...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-04constify MemRegion* returned by MemRegionManager::getXXXRegion() methods.Ted Kremenek
2009-12-04More template-logic for MemRegion construction out of MemRegion.h and into Me...Ted Kremenek
2009-12-03Make BlockDataRegion::referenced_vars_iterator an actual class that enforces ...Ted Kremenek
2009-12-01Provide the correct vector size for referenced variables.Ted Kremenek
2009-11-26Add iterators to BlockDataRegion that allow clients to iterate over the VarRe...Ted Kremenek
2009-11-25Refine MemRegions for blocks. Add a new region calledTed Kremenek
2009-11-25Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a pre...Ted Kremenek
2009-11-10Refine PointerSubChecker: compare the base region instead of the original Zhongxing Xu
2009-11-10Rename: StripCasts describes what it does better. Zhongxing Xu
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-28Use SymbolicRegion instead of CodeTextRegion for symbolic functionTed Kremenek
2009-08-21Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager.Ted Kremenek
2009-08-21Add LocationContext* field to VarRegion. This is needed for interprocedural ...Ted Kremenek
2009-08-01This is a fairly large patch, which resulted from a cascade of changesTed Kremenek
2009-07-29Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek
2009-07-29Add 'MemRegion::getBaseRegion()', a utility method to strip ElementRegions withTed Kremenek
2009-07-19Implement FIXME in pretty-printing for StringRegions.Ted Kremenek
2009-07-19Improve debug pretty-printing for ObjCIVarRegions.Ted Kremenek
2009-07-16Move RegionStoreManager over to using newTed Kremenek
2009-07-13Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', an...Ted Kremenek
2009-07-13When pretty-printing symbolic regions, use '{' ... '}' to indicate the symbol...Ted Kremenek
2009-07-13Change pretty-printing API for SymExprs and MemRegions to use a naming conven...Ted Kremenek
2009-07-10Rename potentially ambiguous member template 'getRegion' to 'getSubRegion' to...Ted Kremenek
2009-07-02Enhance RegionStore to lazily symbolicate fields and array elements forTed Kremenek
2009-07-02StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead ofTed Kremenek
2009-07-02Add a separate MemSpaceRegion for function/method arguments passed on the stack.Ted Kremenek
2009-07-02Remove commented methods. Add MemRegion::printStdErr().Ted Kremenek
2009-06-30Key decisions about 'bool' vs '_Bool' to be based on a new flag in langoptions.Chris Lattner
2009-06-23- Add MemRegion::getMemorySpace()Ted Kremenek
2009-06-23Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemR...Ted Kremenek
2009-06-23MemRegionManager: Migrate logic for getCodeTextRegion() over to using Zhongxing Xu
2009-06-23Remove duplicated methods.Zhongxing Xu
2009-06-23MemRegions:Ted Kremenek
2009-06-23MemRegionManager: Migrate logic for getAllocaRegion() over to using trait-bas...Ted Kremenek
2009-06-23MemRegionManager: Migrate getObjCObjectRegion() and getTypedViewRegion() to useTed Kremenek
2009-06-22Migrate factory methods for FieldRegion and ObjCIVarRegion creation to use theTed Kremenek
2009-06-22Refactor some of the logic in MemRegionManager for constructing regions usingTed Kremenek
2009-06-16Use canonical type for building ElementRegion. Otherwise ElementRegions cannotZhongxing Xu
2009-05-09rename: MemRegion:Zhongxing Xu
2009-05-06The super region of ElementRegion no longer needs to be TypedRegion. In theZhongxing Xu
2009-05-04Per conversations with Zhongxing, add an 'element type' toTed Kremenek