summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/FlatStore.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang...Argyrios Kyrtzidis2010-12-221-202/+0
* [analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis2010-12-221-1/+1
* Merge ValueManager into SValBuilder.Ted Kremenek2010-12-021-2/+2
* Adjust method calls to reflect name changes inTed Kremenek2010-11-241-5/+5
* - Allow making ElementRegions with complex offsets (expressions or symbols) f...Jordy Rose2010-08-161-3/+6
* StoreManager::RemoveDeadBindings() can take a Store instead of an entire GRSt...Zhongxing Xu2010-08-151-3/+2
* Add a callback for when region changes occur. Still somewhat of a work-in-pro...Jordy Rose2010-08-141-6/+7
* MemRegion can refer to ASTContext without external help.Zhongxing Xu2010-08-111-2/+2
* Remove InvalidateRegion from stores, since it's no longer called from outside.Jordy Rose2010-08-051-10/+0
* Allow offsets to be negative. Out-of-bound cases are checked elsewhere. We Zhongxing Xu2010-08-031-4/+4
* Pull the region offset computation logic into a single method.Zhongxing Xu2010-08-031-4/+3
* Improve flat store: MemRegion::getAsOffset() computes a region's offset withinZhongxing Xu2010-08-021-11/+37
* Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for ...Ted Kremenek2010-07-011-0/+16
* Add an ivar to SymbolReaper for the current statement, and then stop passing ...Jordy Rose2010-07-011-1/+1
* Remove extents of dead symbolic regions when RemoveDeadBindings.Zhongxing Xu2010-05-261-2/+2
* Mark CXXThisRegion in the current or parent stack frame context as live so thatZhongxing Xu2010-03-171-1/+3
* Since now we store the cast type with an ElementRegion, there isZhongxing Xu2010-03-011-1/+1
* Fix -Asserts warning.Daniel Dunbar2010-02-081-1/+3
* Unify the implementation of getLValueElement of store managers.Zhongxing Xu2010-02-081-6/+0
* Unify the implementation of getLValueIvar and getLValueField of store managers.Zhongxing Xu2010-02-081-19/+0
* ASTContext is now a reference member of StoreManager.Zhongxing Xu2010-02-081-2/+2
* Add support for binding and retrieving VarRegions in flat store.Zhongxing Xu2010-02-081-12/+61
* More GRState* -> Store changes.Zhongxing Xu2010-02-051-8/+4
* More GRState* -> Store changes.Zhongxing Xu2010-02-051-6/+3
* More GRState* -> Store changes.Zhongxing Xu2010-02-051-29/+23
* More GRState* -> Store changes.Zhongxing Xu2010-02-051-2/+2
* Now that CastRetrievedVal returns SVal, there is no need to use CastResult.Zhongxing Xu2010-02-041-4/+3
* Add skeleton of flat store manager.Zhongxing Xu2010-02-031-0/+154
OpenPOWER on IntegriCloud