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