| Commit message (Expand) | Author | Age | Files | Lines |
* | Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. | Ted Kremenek | 2009-08-21 | 1 | -2/+9 |
* | Add LocationContext* field to VarRegion. This is needed for interprocedural ... | Ted Kremenek | 2009-08-21 | 1 | -2/+7 |
* | This is a fairly large patch, which resulted from a cascade of changes | Ted Kremenek | 2009-08-01 | 1 | -4/+67 |
* | Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only | Ted Kremenek | 2009-07-29 | 1 | -27/+0 |
* | Add 'MemRegion::getBaseRegion()', a utility method to strip ElementRegions with | Ted Kremenek | 2009-07-29 | 1 | -0/+20 |
* | Implement FIXME in pretty-printing for StringRegions. | Ted Kremenek | 2009-07-19 | 1 | -3/+2 |
* | Improve debug pretty-printing for ObjCIVarRegions. | Ted Kremenek | 2009-07-19 | 1 | -0/+4 |
* | Move RegionStoreManager over to using new | Ted Kremenek | 2009-07-16 | 1 | -1/+2 |
* | Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', an... | Ted Kremenek | 2009-07-13 | 1 | -1/+1 |
* | When pretty-printing symbolic regions, use '{' ... '}' to indicate the symbol... | Ted Kremenek | 2009-07-13 | 1 | -1/+1 |
* | Change pretty-printing API for SymExprs and MemRegions to use a naming conven... | Ted Kremenek | 2009-07-13 | 1 | -20/+17 |
* | Rename potentially ambiguous member template 'getRegion' to 'getSubRegion' to... | Ted Kremenek | 2009-07-10 | 1 | -4/+4 |
* | Enhance RegionStore to lazily symbolicate fields and array elements for | Ted Kremenek | 2009-07-02 | 1 | -0/+7 |
* | StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead of | Ted Kremenek | 2009-07-02 | 1 | -1/+17 |
* | Add a separate MemSpaceRegion for function/method arguments passed on the stack. | Ted Kremenek | 2009-07-02 | 1 | -3/+11 |
* | Remove commented methods. Add MemRegion::printStdErr(). | Ted Kremenek | 2009-07-02 | 1 | -0/+4 |
* | Key decisions about 'bool' vs '_Bool' to be based on a new flag in langoptions. | Chris Lattner | 2009-06-30 | 1 | -1/+2 |
* | - Add MemRegion::getMemorySpace() | Ted Kremenek | 2009-06-23 | 1 | -27/+22 |
* | Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemR... | Ted Kremenek | 2009-06-23 | 1 | -8/+8 |
* | MemRegionManager: Migrate logic for getCodeTextRegion() over to using | Zhongxing Xu | 2009-06-23 | 1 | -28/+4 |
* | Remove duplicated methods. | Zhongxing Xu | 2009-06-23 | 1 | -16/+20 |
* | MemRegions: | Ted Kremenek | 2009-06-23 | 1 | -4/+16 |
* | MemRegionManager: Migrate logic for getAllocaRegion() over to using trait-bas... | Ted Kremenek | 2009-06-23 | 1 | -16/+4 |
* | MemRegionManager: Migrate getObjCObjectRegion() and getTypedViewRegion() to use | Ted Kremenek | 2009-06-23 | 1 | -30/+3 |
* | Migrate factory methods for FieldRegion and ObjCIVarRegion creation to use the | Ted Kremenek | 2009-06-22 | 1 | -28/+2 |
* | Refactor some of the logic in MemRegionManager for constructing regions using | Ted Kremenek | 2009-06-22 | 1 | -70/+15 |
* | Use canonical type for building ElementRegion. Otherwise ElementRegions cannot | Zhongxing Xu | 2009-06-16 | 1 | -3/+5 |
* | rename: MemRegion: | Zhongxing Xu | 2009-05-09 | 1 | -8/+0 |
* | The super region of ElementRegion no longer needs to be TypedRegion. In the | Zhongxing Xu | 2009-05-06 | 1 | -1/+1 |
* | Per conversations with Zhongxing, add an 'element type' to | Ted Kremenek | 2009-05-04 | 1 | -17/+8 |
* | MemRegion pretty-printing: Convert DeclName to a string to print out the actual | Ted Kremenek | 2009-04-29 | 1 | -1/+1 |
* | Recommit 69694 but this time also include the header changes (sorry for breaking | Ted Kremenek | 2009-04-21 | 1 | -0/+10 |
* | Revert 69694 (use of undefined getSymbol) | Daniel Dunbar | 2009-04-21 | 1 | -10/+0 |
* | Add pretty-printing for CodeTextRegions. | Ted Kremenek | 2009-04-21 | 1 | -0/+10 |
* | Lexically order the implementation of MemRegion 'print' methods. No function... | Ted Kremenek | 2009-04-21 | 1 | -18/+18 |
* | Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" | Ted Kremenek | 2009-04-11 | 1 | -1/+16 |
* | Add prototype for CodeTextRegion. | Zhongxing Xu | 2009-04-10 | 1 | -0/+48 |
* | Re-apply 68028. The code had drifted enough that the tests would fail without | Ted Kremenek | 2009-03-30 | 1 | -22/+0 |
* | Revert 68028. | Ted Kremenek | 2009-03-30 | 1 | -0/+22 |
* | Make SymbolicRegion untyped. | Zhongxing Xu | 2009-03-30 | 1 | -22/+0 |
* | analyzer infrastructure: make a bunch of changes to symbolic expressions that | Ted Kremenek | 2009-03-26 | 1 | -10/+4 |
* | Add TypedViewRegion::isBoundable() to indicate whether or not the | Ted Kremenek | 2009-03-11 | 1 | -1/+1 |
* | MemRegion: | Ted Kremenek | 2009-03-04 | 1 | -2/+3 |
* | Added the notion of a "boundable region", which is a region that can have a d... | Ted Kremenek | 2009-03-04 | 1 | -6/+16 |
* | Rework use of loc::SymbolVal in the retain/release checker to use the new method | Ted Kremenek | 2009-03-03 | 1 | -2/+1 |
* | Rename AnonTypedRegion to TypedViewRegion. | Ted Kremenek | 2009-03-01 | 1 | -9/+9 |
* | Create ElementRegion when the base is SymbolicRegion. This is like what we do | Zhongxing Xu | 2009-02-06 | 1 | -10/+6 |
* | Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so | Zhongxing Xu | 2009-02-05 | 1 | -6/+26 |
* | Fix a couple bugs: | Ted Kremenek | 2009-01-30 | 1 | -2/+3 |
* | Fix crash ElementRegion::getRValueType() when the RvalueType of the ArrayRegi... | Ted Kremenek | 2009-01-24 | 1 | -9/+6 |