aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/FlatStore.cpp
AgeCommit message (Expand)Author
2010-12-22[analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang...Argyrios Kyrtzidis
2010-12-22[analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis
2010-12-02Merge ValueManager into SValBuilder.Ted Kremenek
2010-11-24Adjust method calls to reflect name changes inTed Kremenek
2010-08-16- Allow making ElementRegions with complex offsets (expressions or symbols) f...Jordy Rose
2010-08-15StoreManager::RemoveDeadBindings() can take a Store instead of an entire GRSt...Zhongxing Xu
2010-08-14Add a callback for when region changes occur. Still somewhat of a work-in-pro...Jordy Rose
2010-08-11MemRegion can refer to ASTContext without external help.Zhongxing Xu
2010-08-05Remove InvalidateRegion from stores, since it's no longer called from outside.Jordy Rose
2010-08-03Allow offsets to be negative. Out-of-bound cases are checked elsewhere. We Zhongxing Xu
2010-08-03Pull the region offset computation logic into a single method.Zhongxing Xu
2010-08-02Improve flat store: MemRegion::getAsOffset() computes a region's offset withinZhongxing Xu
2010-07-01Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for ...Ted Kremenek
2010-07-01Add an ivar to SymbolReaper for the current statement, and then stop passing ...Jordy Rose
2010-05-26Remove extents of dead symbolic regions when RemoveDeadBindings.Zhongxing Xu
2010-03-17Mark CXXThisRegion in the current or parent stack frame context as live so thatZhongxing Xu
2010-03-01Since now we store the cast type with an ElementRegion, there isZhongxing Xu
2010-02-08Fix -Asserts warning.Daniel Dunbar
2010-02-08Unify the implementation of getLValueElement of store managers.Zhongxing Xu
2010-02-08Unify the implementation of getLValueIvar and getLValueField of store managers.Zhongxing Xu
2010-02-08ASTContext is now a reference member of StoreManager.Zhongxing Xu
2010-02-08Add support for binding and retrieving VarRegions in flat store.Zhongxing Xu
2010-02-05More GRState* -> Store changes.Zhongxing Xu
2010-02-05More GRState* -> Store changes.Zhongxing Xu
2010-02-05More GRState* -> Store changes.Zhongxing Xu
2010-02-05More GRState* -> Store changes.Zhongxing Xu
2010-02-04Now that CastRetrievedVal returns SVal, there is no need to use CastResult.Zhongxing Xu
2010-02-03Add skeleton of flat store manager.Zhongxing Xu