| Commit message (Expand) | Author | Age | Files | Lines |
* | Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. | Ted Kremenek | 2009-08-21 | 1 | -36/+3 |
* | Add LocationContext* field to VarRegion. This is needed for interprocedural ... | Ted Kremenek | 2009-08-21 | 1 | -12/+18 |
* | Eagerly bind 'self' to SelfRegion. Thus we do not need to get code decl from | Zhongxing Xu | 2009-08-21 | 1 | -19/+25 |
* | To make the analysis independent on the locally stored liveness and cfg | Zhongxing Xu | 2009-08-17 | 1 | -1/+3 |
* | Fix a few more false positives involving RegionStore and unions, but this time | Ted Kremenek | 2009-08-06 | 1 | -85/+55 |
* | Fix a couple false positive "uninitialized value" warnings with RegionStore | Ted Kremenek | 2009-08-06 | 1 | -1/+22 |
* | I have a dream, one day, we won't need to do this. | Mike Stump | 2009-08-06 | 1 | -0/+1 |
* | Refactor RegionStoreManager::RemoveDeadBindings to also scan the bindings of ... | Ted Kremenek | 2009-08-06 | 1 | -93/+154 |
* | Remove unimplemented methods 'AddRegionView' and 'RemoveRegionView'. They ar... | Ted Kremenek | 2009-08-06 | 1 | -10/+0 |
* | Completely remove the code using region cast. | Zhongxing Xu | 2009-08-06 | 1 | -59/+0 |
* | Implement lazy "copying" of structures and arrays in RegionStore. While | Ted Kremenek | 2009-08-06 | 1 | -37/+168 |
* | Use feedback from RegionStoreSubRegionMap::add() to prune off adding a super | Ted Kremenek | 2009-08-05 | 1 | -7/+11 |
* | Fix a bug in RegionStoreSubRegionManager::add() where multiple subregions wou... | Ted Kremenek | 2009-08-05 | 1 | -2/+4 |
* | Handle disgusting corner case where a byte is loaded from the address of a fu... | Ted Kremenek | 2009-08-03 | 1 | -1/+3 |
* | Remove RegionViews and RegionCasts. These are no longer used. | Ted Kremenek | 2009-08-02 | 1 | -135/+4 |
* | RegionStoreManager::RemoveDeadBindings() now removes dead 'default' bindings ... | Ted Kremenek | 2009-08-02 | 1 | -2/+32 |
* | Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulat... | Ted Kremenek | 2009-08-02 | 1 | -7/+8 |
* | This is a fairly large patch, which resulted from a cascade of changes | Ted Kremenek | 2009-08-01 | 1 | -115/+231 |
* | Change uses of: | Ted Kremenek | 2009-07-29 | 1 | -11/+11 |
* | Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only | Ted Kremenek | 2009-07-29 | 1 | -9/+1 |
* | Make StoreManager::InvalidateRegion() virtual, move the current implementation | Ted Kremenek | 2009-07-29 | 1 | -0/+100 |
* | Temporarily disable most use of region casts in RegionStoreManager, | Ted Kremenek | 2009-07-22 | 1 | -8/+32 |
* | Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast | Ted Kremenek | 2009-07-21 | 1 | -29/+27 |
* | RegionStore: | Ted Kremenek | 2009-07-21 | 1 | -11/+35 |
* | Enhanced IsReinterpreted() (RegionStore.cpp) to reason about higher-order | Ted Kremenek | 2009-07-20 | 1 | -13/+48 |
* | Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods | Ted Kremenek | 2009-07-17 | 1 | -8/+8 |
* | Replaced Type::getAsLValueReferenceType(), Type::getAsRValueReferenceType(), ... | Ted Kremenek | 2009-07-17 | 1 | -1/+1 |
* | Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. | Ted Kremenek | 2009-07-16 | 1 | -7/+7 |
* | Move RegionStoreManager over to using new | Ted Kremenek | 2009-07-16 | 1 | -61/+28 |
* | Use utility method to create 0-index into ElementRegion. | Ted Kremenek | 2009-07-16 | 1 | -2/+2 |
* | Enhance RegionStore's reasoning about Objective-C ivars. More testing to fol... | Ted Kremenek | 2009-07-15 | 1 | -16/+40 |
* | Use utility method. | Zhongxing Xu | 2009-07-15 | 1 | -1/+1 |
* | Relax assertion. | Ted Kremenek | 2009-07-15 | 1 | -1/+2 |
* | More test cases revealed that the logic in StoreManager::InvalidateRegion() n... | Ted Kremenek | 2009-07-15 | 1 | -4/+24 |
* | Enhance RegionStoreManager to handle 'Retrieve's from SymbolicRegions. We do... | Ted Kremenek | 2009-07-14 | 1 | -2/+8 |
* | Instead of recovering from a wrong invalidation, this patch aims to | Zhongxing Xu | 2009-07-14 | 1 | -0/+32 |
* | Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', an... | Ted Kremenek | 2009-07-13 | 1 | -4/+2 |
* | Change pretty-printing API for SymExprs and MemRegions to use a naming conven... | Ted Kremenek | 2009-07-13 | 1 | -1/+1 |
* | Restructure RegionStoreManager::EvalBinOp() as a switch dispatch over different | Ted Kremenek | 2009-07-11 | 1 | -33/+59 |
* | Restructure RegionStoreManager::getSizeInElements() to use a switch statement | Ted Kremenek | 2009-07-10 | 1 | -52/+67 |
* | Move the new 'CastRegion' implementation from RegionStoreManager to StoreManager | Ted Kremenek | 2009-07-06 | 1 | -81/+3 |
* | remove utility methods that are not very useful. | Zhongxing Xu | 2009-07-03 | 1 | -1/+1 |
* | Remove unused method. | Ted Kremenek | 2009-07-03 | 1 | -3/+0 |
* | Replace guarded calls in RegionStoreManager to | Ted Kremenek | 2009-07-02 | 1 | -21/+7 |
* | Enhance RegionStore to lazily symbolicate fields and array elements for | Ted Kremenek | 2009-07-02 | 1 | -2/+6 |
* | StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead of | Ted Kremenek | 2009-07-02 | 1 | -2/+1 |
* | Minor code cleanup: pull variables into scope of 'if' statement, limiting their | Ted Kremenek | 2009-07-01 | 1 | -10/+8 |
* | Add a FIXME to RegionStore, do some minor code cleanup, and get RegionStore to | Ted Kremenek | 2009-07-01 | 1 | -11/+23 |
* | add fixme. | Zhongxing Xu | 2009-07-01 | 1 | -0/+1 |
* | When retrieving element region, if its super region has binding, return | Zhongxing Xu | 2009-06-30 | 1 | -5/+24 |