aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/MemRegion.h
AgeCommit message (Expand)Author
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-19Improve debug pretty-printing for ObjCIVarRegions.Ted Kremenek
2009-07-17Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methodsTed Kremenek
2009-07-16Add member template 'Type::getAs<T>', which converts a Type* to a respective T*.Ted Kremenek
2009-07-15More test cases revealed that the logic in StoreManager::InvalidateRegion() n...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-06AllocaRegion and SymbolicRegion are both boundable.Zhongxing Xu
2009-07-04CompoundLiteralRegion is boundable when it is not in the file scope.Zhongxing Xu
2009-07-04StringRegion is not boundable.Zhongxing Xu
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-29The default answer for isBoundable() should be false.Zhongxing Xu
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-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-12Add logic for invalidating array region to CFRefCount.cpp. When invalidatingZhongxing Xu
2009-05-09As discussed with Ted, rename TypedRegion::getObjectType() to Zhongxing 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-22Mark another TypeForDecl const and make getObjCInterfaceType's argument const.Daniel Dunbar
2009-04-21Recommit 69694 but this time also include the header changes (sorry for breakingTed Kremenek
2009-04-20get a CodeTextRegion when visiting FunctionDecl reference.Zhongxing Xu
2009-04-15remove dead code.Zhongxing Xu
2009-04-11analyzer: We cannot bind values to CodeTextRegions.Ted Kremenek
2009-04-11Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"Ted Kremenek
2009-04-10Default initialize 'code' instance variable to NULL.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-12Fix crash when using TypedViewRegions and ObjCQualifiedIdTypes (TypedViewRegi...Ted Kremenek
2009-03-11Add TypedViewRegion::isBoundable() to indicate whether or not theTed Kremenek
2009-03-11The RValueType of a TypedViewRegion should be the pointee type.Zhongxing Xu
2009-03-09Add member template "MemRegion::getAs<RegionType>" that dynamically casts aTed Kremenek
2009-03-05BasicStore:Ted 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-01Rename AnonTypedRegion to TypedViewRegion.Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-02 13:36:49 +0000