Age | Commit message (Expand) | Author |
2010-01-25 | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek |
2010-01-11 | Roll out ASTContext::getTypeSizeInChars(), replacing instances of | Ken Dyck |
2010-01-09 | When binding an rvalue to a reference, create a temporary object. Use | Zhongxing Xu |
2010-01-05 | Make static analysis support for C++ 'this' expression context-sensitive. Es... | Ted Kremenek |
2009-12-16 | Completely remove ObjCObjectRegion (tests pass this time). | Ted Kremenek |
2009-12-16 | Add a new kind of region: CXXObjectRegion. Currently it has only one | Zhongxing Xu |
2009-12-14 | Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on cap... | Ted Kremenek |
2009-12-11 | Enhance understanding of VarRegions referenced by a block whose declarations ... | Ted Kremenek |
2009-12-07 | Add analysis support for blocks. This includes a few key changes: | Ted Kremenek |
2009-12-04 | constify MemRegion* returned by MemRegionManager::getXXXRegion() methods. | Ted Kremenek |
2009-12-04 | More template-logic for MemRegion construction out of MemRegion.h and into Me... | Ted Kremenek |
2009-12-03 | Make BlockDataRegion::referenced_vars_iterator an actual class that enforces ... | Ted Kremenek |
2009-12-01 | Provide the correct vector size for referenced variables. | Ted Kremenek |
2009-11-26 | Add iterators to BlockDataRegion that allow clients to iterate over the VarRe... | Ted Kremenek |
2009-11-25 | Refine MemRegions for blocks. Add a new region called | Ted Kremenek |
2009-11-25 | Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a pre... | Ted Kremenek |
2009-11-10 | Refine PointerSubChecker: compare the base region instead of the original | Zhongxing Xu |
2009-11-10 | Rename: StripCasts describes what it does better. | Zhongxing Xu |
2009-09-09 | Remove tabs, and whitespace cleanups. | Mike Stump |
2009-08-28 | Use SymbolicRegion instead of CodeTextRegion for symbolic function | Ted Kremenek |
2009-08-21 | Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. | Ted Kremenek |
2009-08-21 | Add LocationContext* field to VarRegion. This is needed for interprocedural ... | Ted Kremenek |
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 |