- c30470d For inline-based inter-procedural analysis, we will have multiple stack space regions. Use a dense map to store them. by Zhongxing Xu · 15 years ago
- 952b017 Eliminate the ASTContext parameter from RecordDecl::getDefinition() by Douglas Gregor · 15 years ago
- 8524873 Teach RegionStore::InvalidateRegions() to also invalidate static variables referenced by blocks. by Ted Kremenek · 15 years ago
- 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (98%) from lib/Analysis/MemRegion.cpp]
- 199c3d6 Roll out ASTContext::getTypeSizeInChars(), replacing instances of by Ken Dyck · 15 years ago
- bc37b8d When binding an rvalue to a reference, create a temporary object. Use by Zhongxing Xu · 15 years ago
- de0d263 Make static analysis support for C++ 'this' expression context-sensitive. Essentially treat 'this' as a implicit parameter to the method call, and associate a region with it. by Ted Kremenek · 15 years ago
- c410d4d Completely remove ObjCObjectRegion (tests pass this time). by Ted Kremenek · 15 years ago
- bb14121 Add a new kind of region: CXXObjectRegion. Currently it has only one by Zhongxing Xu · 15 years ago
- 5348f94 Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on captured block variables that are passed by reference by Ted Kremenek · 15 years ago
- 2b87ae4 Enhance understanding of VarRegions referenced by a block whose declarations are outside the current stack frame. Fixes <rdar://problem/7462324>. by Ted Kremenek · 15 years ago
- 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
- b48ad64 constify MemRegion* returned by MemRegionManager::getXXXRegion() methods. by Ted Kremenek · 15 years ago
- bcd7f9f More template-logic for MemRegion construction out of MemRegion.h and into MemRegion.cpp. by Ted Kremenek · 15 years ago
- 81cef58 Make BlockDataRegion::referenced_vars_iterator an actual class that enforces that all MemRegions iterated over are VarRegions. by Ted Kremenek · 15 years ago
- 02b1df6 Provide the correct vector size for referenced variables. by Ted Kremenek · 15 years ago
- 4240096 Add iterators to BlockDataRegion that allow clients to iterate over the VarRegions for "captured" variables for a block. by Ted Kremenek · 15 years ago
- 0a8112a Refine MemRegions for blocks. Add a new region called by Ted Kremenek · 15 years ago
- eb1c7a0 Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks. by Ted Kremenek · 15 years ago
- adca271 Refine PointerSubChecker: compare the base region instead of the original by Zhongxing Xu · 15 years ago
- 479529e Rename: StripCasts describes what it does better. by Zhongxing Xu · 15 years ago
- 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
- abd46e1 Use SymbolicRegion instead of CodeTextRegion for symbolic function by Ted Kremenek · 15 years ago
- 82cd37c Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. by Ted Kremenek · 15 years ago
- d17da2b Add LocationContext* field to VarRegion. This is needed for interprocedural analysis. by Ted Kremenek · 15 years ago
- 19e1f0b This is a fairly large patch, which resulted from a cascade of changes by Ted Kremenek · 15 years ago
- f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
- 0e3ec3f Add 'MemRegion::getBaseRegion()', a utility method to strip ElementRegions with by Ted Kremenek · 15 years ago
- b27ed3d Implement FIXME in pretty-printing for StringRegions. by Ted Kremenek · 15 years ago
- bcfe03a Improve debug pretty-printing for ObjCIVarRegions. by Ted Kremenek · 15 years ago
- 4653739 Move RegionStoreManager over to using new by Ted Kremenek · 15 years ago
- 6f9b3a4 Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', and implementing operator<< support for llvm::raw_ostream. by Ted Kremenek · 15 years ago
- aef5d22 When pretty-printing symbolic regions, use '{' ... '}' to indicate the symbol used for the region (makes it easier to read for nested regions). by Ted Kremenek · 15 years ago
- 8800ad4 Change pretty-printing API for SymExprs and MemRegions to use a naming convention and style similar to other elements in Clang. by Ted Kremenek · 15 years ago
- eeea456 Rename potentially ambiguous member template 'getRegion' to 'getSubRegion' to hopefully resolve template lookup ambiguities on some compilers. by Ted Kremenek · 15 years ago
- dc14726 Enhance RegionStore to lazily symbolicate fields and array elements for by Ted Kremenek · 15 years ago
- 1508636 StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead of by Ted Kremenek · 15 years ago
- d05552a Add a separate MemSpaceRegion for function/method arguments passed on the stack. by Ted Kremenek · 15 years ago
- 7f39d29 Remove commented methods. Add MemRegion::printStdErr(). by Ted Kremenek · 15 years ago
- e4f2142 Key decisions about 'bool' vs '_Bool' to be based on a new flag in langoptions. by Chris Lattner · 15 years ago
- bb7c96f - Add MemRegion::getMemorySpace() by Ted Kremenek · 15 years ago
- ea20cd7 Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemRegion. by Ted Kremenek · 15 years ago
- 0dea524 MemRegionManager: Migrate logic for getCodeTextRegion() over to using by Zhongxing Xu · 15 years ago
- dd198f0 Remove duplicated methods. by Zhongxing Xu · 15 years ago
- a43484a MemRegions: by Ted Kremenek · 15 years ago
- 7ae7ad9 MemRegionManager: Migrate logic for getAllocaRegion() over to using trait-based MemRegion creation. by Ted Kremenek · 15 years ago
- ded1221 MemRegionManager: Migrate getObjCObjectRegion() and getTypedViewRegion() to use by Ted Kremenek · 15 years ago
- 6304b08 Migrate factory methods for FieldRegion and ObjCIVarRegion creation to use the by Ted Kremenek · 15 years ago
- 2501013 Refactor some of the logic in MemRegionManager for constructing regions using by Ted Kremenek · 15 years ago
- 143b2fc Use canonical type for building ElementRegion. Otherwise ElementRegions cannot by Zhongxing Xu · 16 years ago
- ff69782 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 16 years ago
- 4c44e24 The super region of ElementRegion no longer needs to be TypedRegion. In the by Zhongxing Xu · 16 years ago
- f936f45 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 16 years ago
- 82539b0 MemRegion pretty-printing: Convert DeclName to a string to print out the actual by Ted Kremenek · 16 years ago
- 72e0320 Recommit 69694 but this time also include the header changes (sorry for breaking by Ted Kremenek · 16 years ago
- a37221e Revert 69694 (use of undefined getSymbol) by Daniel Dunbar · 16 years ago
- e051308 Add pretty-printing for CodeTextRegions. by Ted Kremenek · 16 years ago
- 5639a3e Lexically order the implementation of MemRegion 'print' methods. No functionality change. by Ted Kremenek · 16 years ago
- 1670e40 Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 16 years ago
- ec13d92 Add prototype for CodeTextRegion. by Zhongxing Xu · 16 years ago
- e8e8648 Re-apply 68028. The code had drifted enough that the tests would fail without by Ted Kremenek · 16 years ago
- 782582d Revert 68028. by Ted Kremenek · 16 years ago
- a45fec1 Make SymbolicRegion untyped. by Zhongxing Xu · 16 years ago
- e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
- b2dea73 Add TypedViewRegion::isBoundable() to indicate whether or not the by Ted Kremenek · 16 years ago
- 1b9b883 MemRegion: by Ted Kremenek · 16 years ago
- 41168ea Added the notion of a "boundable region", which is a region that can have a direct binding in the StoreManager. by Ted Kremenek · 16 years ago
- 94c9698 Rework use of loc::SymbolVal in the retain/release checker to use the new method by Ted Kremenek · 16 years ago
- 0312c0e Rename AnonTypedRegion to TypedViewRegion. by Ted Kremenek · 16 years ago
- a48f737 Create ElementRegion when the base is SymbolicRegion. This is like what we do by Zhongxing Xu · 16 years ago
- 026c663 Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so by Zhongxing Xu · 16 years ago
- 14553ab Fix a couple bugs: by Ted Kremenek · 16 years ago
- 8318304 Fix crash ElementRegion::getRValueType() when the RvalueType of the ArrayRegion is a typedef and not (directly) a pointer. by Ted Kremenek · 16 years ago
- c496f14 When getting the element region type, we should get the rvalue type of the super by Zhongxing Xu · 16 years ago
- e2916d6 StringRegion::print: Remove copy/paste code and just call Stmt::printPretty() for the StringLiteral. by Ted Kremenek · 16 years ago
- 7e5d6ed Add isSubRegionOf() method to SubRegion. by Zhongxing Xu · 16 years ago
- 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
- 500d2ee Add pretty-printing for AnonTypedRegion. by Ted Kremenek · 16 years ago
- 6eddeb1 MemRegion: by Ted Kremenek · 16 years ago
- abb042f A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 16 years ago
- c545862 Identify AnonPointeeRegion by the symbol that is concretized. by Zhongxing Xu · 16 years ago
- 3bb662a AnonPointeeRegions are now identified by the MemRegion of the pointer pointing by Zhongxing Xu · 16 years ago
- 562731e Add SymbolRef::print() and have SymbolicRegion::print() use this method instead of calling SymbolRef::getNumber(). by Ted Kremenek · 16 years ago
- 6d0e2d2 Use trait-based profiling of SymbolRefs, avoiding calling getNumber() (which will soon be removed). by Ted Kremenek · 16 years ago
- 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
- d9d22dd Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of by Chris Lattner · 16 years ago
- 34265e7 Fold assertion into second valid else branch. This removes a compiler warning by Ted Kremenek · 16 years ago
- dc0a25d Enhances SCA to process untyped region to typed region conversion. by Zhongxing Xu · 16 years ago
- 56af977 Change AllocaRegion to subclass TypedRegion. We need to know ElementRegion's by Zhongxing Xu · 16 years ago
- d2f016f Fix StringLiteral print bug. by Zhongxing Xu · 16 years ago
- cc128b3 Add pretty printing to StringRegion. by Zhongxing Xu · 16 years ago
- 817c67d - Remove AnonTypedRegion, which is not to be used. by Zhongxing Xu · 16 years ago
- 7090ae1 Added AllocaRegion, which represents regions created by calls to alloca(). by Ted Kremenek · 16 years ago
- 9a1f03a Pull determination of the super region for a VarRegion into a single getVarRegion() method. This provides a common clean API for clients. by Ted Kremenek · 16 years ago
- 329d6fd Added CompoundLiteralRegion to represent the (temporary) memory allocated for a compound literal. by Ted Kremenek · 16 years ago
- 27b5706 An ElementRegion is really a typed region. Its super region's type has to be ArrayType. by Zhongxing Xu · 16 years ago
- e9f4e54 Add StringRegion to MemRegions. by Zhongxing Xu · 16 years ago
- a7f1b9e Added region ObjCObjectRegion that represents an instance of an Objective-C object. by Ted Kremenek · 16 years ago
- b21ff77 Add printing method to ElementRegion. by Zhongxing Xu · 16 years ago
- 511191c Add ElementRegion to represent memory chunks for array elements. by Zhongxing Xu · 16 years ago