- dd198f0 Remove duplicated methods. by Zhongxing Xu · 16 years ago
- a43484a MemRegions: by Ted Kremenek · 16 years ago
- 7ae7ad9 MemRegionManager: Migrate logic for getAllocaRegion() over to using trait-based MemRegion creation. by Ted Kremenek · 16 years ago
- ded1221 MemRegionManager: Migrate getObjCObjectRegion() and getTypedViewRegion() to use by Ted Kremenek · 16 years ago
- 6304b08 Migrate factory methods for FieldRegion and ObjCIVarRegion creation to use the by Ted Kremenek · 16 years ago
- 2501013 Refactor some of the logic in MemRegionManager for constructing regions using by Ted Kremenek · 16 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 · 17 years ago
- 026c663 Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so by Zhongxing Xu · 17 years ago
- 14553ab Fix a couple bugs: by Ted Kremenek · 17 years ago
- 8318304 Fix crash ElementRegion::getRValueType() when the RvalueType of the ArrayRegion is a typedef and not (directly) a pointer. by Ted Kremenek · 17 years ago
- c496f14 When getting the element region type, we should get the rvalue type of the super by Zhongxing Xu · 17 years ago
- e2916d6 StringRegion::print: Remove copy/paste code and just call Stmt::printPretty() for the StringLiteral. by Ted Kremenek · 17 years ago
- 7e5d6ed Add isSubRegionOf() method to SubRegion. by Zhongxing Xu · 17 years ago
- 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 17 years ago
- 500d2ee Add pretty-printing for AnonTypedRegion. by Ted Kremenek · 17 years ago
- 6eddeb1 MemRegion: by Ted Kremenek · 17 years ago
- abb042f A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 17 years ago
- c545862 Identify AnonPointeeRegion by the symbol that is concretized. by Zhongxing Xu · 17 years ago
- 3bb662a AnonPointeeRegions are now identified by the MemRegion of the pointer pointing by Zhongxing Xu · 17 years ago
- 562731e Add SymbolRef::print() and have SymbolicRegion::print() use this method instead of calling SymbolRef::getNumber(). by Ted Kremenek · 17 years ago
- 6d0e2d2 Use trait-based profiling of SymbolRefs, avoiding calling getNumber() (which will soon be removed). by Ted Kremenek · 17 years ago
- 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 17 years ago
- d9d22dd Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of by Chris Lattner · 17 years ago
- 34265e7 Fold assertion into second valid else branch. This removes a compiler warning by Ted Kremenek · 17 years ago
- dc0a25d Enhances SCA to process untyped region to typed region conversion. by Zhongxing Xu · 17 years ago
- 56af977 Change AllocaRegion to subclass TypedRegion. We need to know ElementRegion's by Zhongxing Xu · 17 years ago
- d2f016f Fix StringLiteral print bug. by Zhongxing Xu · 17 years ago
- cc128b3 Add pretty printing to StringRegion. by Zhongxing Xu · 17 years ago
- 817c67d - Remove AnonTypedRegion, which is not to be used. by Zhongxing Xu · 17 years ago
- 7090ae1 Added AllocaRegion, which represents regions created by calls to alloca(). by Ted Kremenek · 17 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 · 17 years ago
- 329d6fd Added CompoundLiteralRegion to represent the (temporary) memory allocated for a compound literal. by Ted Kremenek · 17 years ago
- 27b5706 An ElementRegion is really a typed region. Its super region's type has to be ArrayType. by Zhongxing Xu · 17 years ago
- e9f4e54 Add StringRegion to MemRegions. by Zhongxing Xu · 17 years ago
- a7f1b9e Added region ObjCObjectRegion that represents an instance of an Objective-C object. by Ted Kremenek · 17 years ago
- b21ff77 Add printing method to ElementRegion. by Zhongxing Xu · 17 years ago
- 511191c Add ElementRegion to represent memory chunks for array elements. by Zhongxing Xu · 17 years ago
- 4bd1eef Add pretty-printing support for FieldRegions. by Ted Kremenek · 17 years ago
- 993f1c7 - constify some uses of MemRegion* (MemRegion should be immutable). by Ted Kremenek · 17 years ago
- 1789275 This is the first step to implement a field-sensitive store model. Other things are simplified: no heap shape assumption, no parameter alias assumption, etc. by Zhongxing Xu · 17 years ago
- 722c288 Fix typos. by Zhongxing Xu · 17 years ago
- 9e24049 This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes. by Ted Kremenek · 17 years ago