| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fix casts in RegionStore to not always assume that bindings are only to SubRe... | Ted Kremenek | 2010-07-06 | 1 | -4/+4 |
| * | Add a new symbol type, SymbolExtent, to represent the extents of memory regio... | Jordy Rose | 2010-07-04 | 1 | -115/+12 |
| * | Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for ... | Ted Kremenek | 2010-07-01 | 1 | -28/+78 |
| * | Add an ivar to SymbolReaper for the current statement, and then stop passing ... | Jordy Rose | 2010-07-01 | 1 | -7/+6 |
| * | Pointer comparisons (and pointer-pointer subtraction). Basically filling in S... | Jordy Rose | 2010-06-28 | 1 | -0/+13 |
| * | When a constant size array is casted to another type, its length should be sc... | Jordy Rose | 2010-06-25 | 1 | -4/+9 |
| * | Change RegionStoreManager::Retrieve to infer the type of a symbolic region fr... | Tom Care | 2010-06-25 | 1 | -1/+6 |
| * | Correctly construct an ElementRegion for alloca() + pointer arithmetic. Fixe... | Ted Kremenek | 2010-06-22 | 1 | -2/+1 |
| * | Implement RegionStoreManager::iterBindings(). This implementation only retur... | Ted Kremenek | 2010-06-17 | 1 | -6/+11 |
| * | Limit the use of BindDefault(). | Zhongxing Xu | 2010-06-01 | 1 | -1/+5 |
| * | Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my | Zhongxing Xu | 2010-06-01 | 1 | -1/+6 |
| * | After conversations with Zhongxing Xu and Jordy Rose, refine the logic in | Ted Kremenek | 2010-05-31 | 1 | -19/+25 |
| * | Revert r105097. Thinking about a better fix. | Zhongxing Xu | 2010-05-29 | 1 | -18/+5 |
| * | Fix PR7218. Patch by Jordy Rose. | Zhongxing Xu | 2010-05-29 | 1 | -3/+17 |
| * | Small fix. | Zhongxing Xu | 2010-05-26 | 1 | -1/+1 |
| * | Remove extents of dead symbolic regions when RemoveDeadBindings. | Zhongxing Xu | 2010-05-26 | 1 | -7/+15 |
| * | CastSizeChecker checks when casting a malloc'ed symbolic region to type T, | Zhongxing Xu | 2010-05-25 | 1 | -7/+12 |
| * | Introduce Type::isStructureOrClassType(), which does the obvious | Douglas Gregor | 2010-04-26 | 1 | -8/+8 |
| * | Analyzer: add support for CXXNewExpr. | Zhongxing Xu | 2010-04-19 | 1 | -10/+0 |
| * | Remove copy of 'Optional' in Clang tree, and convert clients to use the one n... | Ted Kremenek | 2010-04-09 | 1 | -9/+9 |
| * | Use the element type to compute the array size when the base region is a VarR... | Zhongxing Xu | 2010-04-01 | 1 | -3/+6 |
| * | Fix a bug (PR 6699) in RegionStore::RemoveDeadBindings() where | Ted Kremenek | 2010-04-01 | 1 | -32/+31 |
| * | RegionStore: specially handle loads from integer global variables declared 'c... | Ted Kremenek | 2010-03-30 | 1 | -1/+16 |
| * | Use 'const Optional<SVal>&' to avoid an extra copy. | Ted Kremenek | 2010-03-30 | 1 | -8/+8 |
| * | Bind the constructed object value to CXXConstructExpr. | Zhongxing Xu | 2010-03-23 | 1 | -3/+2 |
| * | Mark CXXThisRegion in the current or parent stack frame context as live so that | Zhongxing Xu | 2010-03-17 | 1 | -4/+18 |
| * | Add VisitCXXContructExpr logic to the analyzer. This still has not fully worked | Zhongxing Xu | 2010-03-16 | 1 | -9/+22 |
| * | Simplify assertion. | Ted Kremenek | 2010-03-10 | 1 | -5/+1 |
| * | Remove '#if 0' code. Lazy compound values have proven their worth. | Ted Kremenek | 2010-03-10 | 1 | -39/+0 |
| * | Remove the subregion map cache. It is no longer used. | Ted Kremenek | 2010-03-10 | 1 | -8/+0 |
| * | Fix stale comment. | Ted Kremenek | 2010-03-10 | 1 | -1/+1 |
| * | Really apply (unnoticed weird git-svn merge conflict in 98144): Refactor Regi... | Ted Kremenek | 2010-03-10 | 1 | -299/+290 |
| * | Refactor RegionStore::RemoveDeadBindings to use the same core | Ted Kremenek | 2010-03-10 | 1 | -87/+87 |
| * | Refactor some of RegionStore's InvalidateRegionsWorker class | Ted Kremenek | 2010-03-10 | 1 | -62/+86 |
| * | Since now we store the cast type with an ElementRegion, there is | Zhongxing Xu | 2010-03-01 | 1 | -5/+5 |
| * | Assert when loading from a code text region instead of returning an unknown s... | Zhongxing Xu | 2010-03-01 | 1 | -1/+3 |
| * | Enhance RegionStore::InvalidateRegions() to correctly invalidate bindings | Ted Kremenek | 2010-02-13 | 1 | -12/+32 |
| * | Pull logic for visiting value bindings in InvalidateRegionsWorker into a sepa... | Ted Kremenek | 2010-02-13 | 1 | -20/+28 |
| * | Eliminate the ASTContext parameter from RecordDecl::getDefinition() | Douglas Gregor | 2010-02-11 | 1 | -1/+1 |
| * | Add comment. | Zhongxing Xu | 2010-02-10 | 1 | -1/+2 |
| * | Fix lookup of fields from lazy bindings to check if the region is | Ted Kremenek | 2010-02-09 | 1 | -9/+5 |
| * | Revert 95541. | Ted Kremenek | 2010-02-08 | 1 | -1/+1 |
| * | Rename: GRState::getSVal(Stmt*) => getExprVal(), | Zhongxing Xu | 2010-02-08 | 1 | -1/+1 |
| * | Like for symbolic region, automatically create a element zero region for | Zhongxing Xu | 2010-02-08 | 1 | -15/+5 |
| * | Unify the implementation of getLValueElement of store managers. | Zhongxing Xu | 2010-02-08 | 1 | -57/+0 |
| * | Unify the implementation of getLValueIvar and getLValueField of store managers. | Zhongxing Xu | 2010-02-08 | 1 | -55/+0 |
| * | Move common methods to the base StoreManager class. | Zhongxing Xu | 2010-02-08 | 1 | -33/+0 |
| * | Also teach RegionStore::RetrieveVar() to handle 'static' pointers that are im... | Ted Kremenek | 2010-02-06 | 1 | -1/+3 |
| * | Fix regression in RegionStore (from BasicStore) where static variables were n... | Ted Kremenek | 2010-02-06 | 1 | -3/+15 |
| * | Teach RegionStore::InvalidateRegions() to also invalidate static variables re... | Ted Kremenek | 2010-02-06 | 1 | -4/+5 |
