aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/MemRegion.cpp
AgeCommit message (Expand)Author
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
2009-04-29MemRegion pretty-printing: Convert DeclName to a string to print out the actualTed Kremenek
2009-04-21Recommit 69694 but this time also include the header changes (sorry for breakingTed Kremenek
2009-04-21Revert 69694 (use of undefined getSymbol)Daniel Dunbar
2009-04-21Add pretty-printing for CodeTextRegions.Ted Kremenek
2009-04-21Lexically order the implementation of MemRegion 'print' methods. No function...Ted Kremenek
2009-04-11Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"Ted Kremenek
2009-04-10Add prototype for CodeTextRegion.Zhongxing Xu
2009-03-30Re-apply 68028. The code had drifted enough that the tests would fail withoutTed Kremenek
2009-03-30Revert 68028.Ted Kremenek
2009-03-30Make SymbolicRegion untyped.Zhongxing Xu
2009-03-26analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek
2009-03-11Add TypedViewRegion::isBoundable() to indicate whether or not theTed Kremenek
2009-03-04MemRegion:Ted Kremenek
2009-03-04Added the notion of a "boundable region", which is a region that can have a d...Ted Kremenek
2009-03-03Rework use of loc::SymbolVal in the retain/release checker to use the new methodTed Kremenek
2009-03-01Rename AnonTypedRegion to TypedViewRegion.Ted Kremenek