aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/MemRegion.h
AgeCommit message (Expand)Author
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
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-04Allow BlockInvocationContext to wrap either a BlockDecl* or a BlockDataRegion...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-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-29Desugaring optimizations. Add single-step desugaring methods to allJohn McCall
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-28Use SymbolicRegion instead of CodeTextRegion for symbolic functionTed Kremenek
2009-08-21Add LocationContext* field to VarRegion. This is needed for interprocedural ...Ted Kremenek
2009-08-06Implement lazy "copying" of structures and arrays in RegionStore. WhileTed 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-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
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-03 08:53:40 +0000