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