aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/BasicStore.cpp
AgeCommit message (Expand)Author
2010-03-17Mark CXXThisRegion in the current or parent stack frame context as live so thatZhongxing Xu
2010-03-10Enhance basic store to also lazily symbolicate VarRegionsTed Kremenek
2010-03-02[CFG]Ted Kremenek
2010-03-01Since now we store the cast type with an ElementRegion, there isZhongxing Xu
2010-02-08BindInternal is redundant. Remove it.Zhongxing Xu
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-08Move common methods to the base StoreManager class.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-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-05 15:05:21 +0000