| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> ↵ | Argyrios Kyrtzidis | 2010-12-22 | 1 | -202/+0 |
| | | | | | | | libclangGRCore llvm-svn: 122421 | ||||
| * | [analyzer] Refactoring: include/clang/Checker -> include/clang/GR | Argyrios Kyrtzidis | 2010-12-22 | 1 | -1/+1 |
| | | | | | llvm-svn: 122420 | ||||
| * | Merge ValueManager into SValBuilder. | Ted Kremenek | 2010-12-02 | 1 | -2/+2 |
| | | | | | llvm-svn: 120696 | ||||
| * | Adjust method calls to reflect name changes in | Ted Kremenek | 2010-11-24 | 1 | -5/+5 |
| | | | | | | | | | | | ImmutableSet/ImmtuableMap/ImmutableList APIs. Along the way, clean up some method names in the static analyzer so that they are more descriptive and/or start with lowercase letters. llvm-svn: 120071 | ||||
| * | - Allow making ElementRegions with complex offsets (expressions or symbols) ↵ | Jordy Rose | 2010-08-16 | 1 | -3/+6 |
| | | | | | | | | | | | for the purpose of bounds-checking. - Rewrite GRState::AssumeInBound to actually do that checking, and to use the normal constraint path. - Remove ConstraintManager::AssumeInBound. - Teach RegionStore and FlatStore to ignore those regions for now. llvm-svn: 111116 | ||||
| * | StoreManager::RemoveDeadBindings() can take a Store instead of an entire ↵ | Zhongxing Xu | 2010-08-15 | 1 | -3/+2 |
| | | | | | | | GRState now. llvm-svn: 111103 | ||||
| * | Add a callback for when region changes occur. Still somewhat of a ↵ | Jordy Rose | 2010-08-14 | 1 | -6/+7 |
| | | | | | | | work-in-progress, but working! Effect on clients: all changes to a store now go through GRState. llvm-svn: 111078 | ||||
| * | MemRegion can refer to ASTContext without external help. | Zhongxing Xu | 2010-08-11 | 1 | -2/+2 |
| | | | | | llvm-svn: 110784 | ||||
| * | Remove InvalidateRegion from stores, since it's no longer called from outside. | Jordy Rose | 2010-08-05 | 1 | -10/+0 |
| | | | | | llvm-svn: 110309 | ||||
| * | Allow offsets to be negative. Out-of-bound cases are checked elsewhere. We | Zhongxing Xu | 2010-08-03 | 1 | -4/+4 |
| | | | | | | | shouldn't put restrictions in store manager. llvm-svn: 110106 | ||||
| * | Pull the region offset computation logic into a single method. | Zhongxing Xu | 2010-08-03 | 1 | -4/+3 |
| | | | | | llvm-svn: 110102 | ||||
| * | Improve flat store: MemRegion::getAsOffset() computes a region's offset within | Zhongxing Xu | 2010-08-02 | 1 | -11/+37 |
| | | | | | | | | | the top-level object. FlatStore now can bind and retrieve element and field regions. PR7297 is fixed by flat store. llvm-svn: 110020 | ||||
| * | Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for ↵ | Ted Kremenek | 2010-07-01 | 1 | -0/+16 |
| | | | | | | | | | | | | non-static global variables when calling a function/method whose impact on global variables we cannot accurately estimate. This change introduces two new MemSpaceRegions that divide up the memory space of globals, and causes RegionStore and BasicStore to consult a binding to the NonStaticGlobalsMemSpaceRegion when lazily determining the value of a global. llvm-svn: 107423 | ||||
| * | Add an ivar to SymbolReaper for the current statement, and then stop passing ↵ | Jordy Rose | 2010-07-01 | 1 | -1/+1 |
| | | | | | | | the current statement around everywhere. Preparation for symbolic extents. llvm-svn: 107422 | ||||
| * | Remove extents of dead symbolic regions when RemoveDeadBindings. | Zhongxing Xu | 2010-05-26 | 1 | -2/+2 |
| | | | | | | | This requires creating new persistent states due to the nature of GDM. llvm-svn: 104668 | ||||
| * | Mark CXXThisRegion in the current or parent stack frame context as live so that | Zhongxing Xu | 2010-03-17 | 1 | -1/+3 |
| | | | | | | | their bindings are not removed. llvm-svn: 98705 | ||||
| * | Since now we store the cast type with an ElementRegion, there is | Zhongxing Xu | 2010-03-01 | 1 | -1/+1 |
| | | | | | | | no need to store a type with SymbolRegionValue. llvm-svn: 97437 | ||||
| * | Fix -Asserts warning. | Daniel Dunbar | 2010-02-08 | 1 | -1/+3 |
| | | | | | llvm-svn: 95563 | ||||
| * | Unify the implementation of getLValueElement of store managers. | Zhongxing Xu | 2010-02-08 | 1 | -6/+0 |
| | | | | | | | | It's more sophisticated than the original one of BasicStore. But it does matter. llvm-svn: 95536 | ||||
| * | Unify the implementation of getLValueIvar and getLValueField of store managers. | Zhongxing Xu | 2010-02-08 | 1 | -19/+0 |
| | | | | | llvm-svn: 95535 | ||||
| * | ASTContext is now a reference member of StoreManager. | Zhongxing Xu | 2010-02-08 | 1 | -2/+2 |
| | | | | | llvm-svn: 95531 | ||||
| * | Add support for binding and retrieving VarRegions in flat store. | Zhongxing Xu | 2010-02-08 | 1 | -12/+61 |
| | | | | | llvm-svn: 95529 | ||||
| * | More GRState* -> Store changes. | Zhongxing Xu | 2010-02-05 | 1 | -8/+4 |
| | | | | | llvm-svn: 95365 | ||||
| * | More GRState* -> Store changes. | Zhongxing Xu | 2010-02-05 | 1 | -6/+3 |
| | | | | | llvm-svn: 95362 | ||||
| * | More GRState* -> Store changes. | Zhongxing Xu | 2010-02-05 | 1 | -29/+23 |
| | | | | | llvm-svn: 95360 | ||||
| * | More GRState* -> Store changes. | Zhongxing Xu | 2010-02-05 | 1 | -2/+2 |
| | | | | | llvm-svn: 95357 | ||||
| * | Now that CastRetrievedVal returns SVal, there is no need to use CastResult. | Zhongxing Xu | 2010-02-04 | 1 | -4/+3 |
| | | | | | llvm-svn: 95279 | ||||
| * | Add skeleton of flat store manager. | Zhongxing Xu | 2010-02-03 | 1 | -0/+154 |
| llvm-svn: 95214 | |||||
 |
index : bcm5719-llvm | |
| Project Ortega BCM5719 LLVM | Raptor Computing Systems |
| summaryrefslogtreecommitdiffstats |
|