aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/GRState.cpp
AgeCommit message (Expand)Author
2010-07-06Remove the now-unused GRState::isEqual method. Instead of asking if an expres...Jordy Rose
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-27Checker: random include cleanup.Benjamin Kramer
2010-03-25Add methods to remove a GDM entry.Zhongxing Xu
2010-03-17Mark CXXThisRegion in the current or parent stack frame context as live so thatZhongxing Xu
2010-03-05Remove reference to AnalysisContext in Environment. We already have LocationC...Zhongxing Xu
2010-03-04When profiling Environment, also profile with AnalysisContext*, bacauseZhongxing Xu
2010-02-08Revert 95541.Ted Kremenek
2010-02-08Rename: GRState::getSVal(Stmt*) => getExprVal(),Zhongxing Xu
2010-02-05More GRState* -> Store changes.Zhongxing Xu
2010-02-05More GRState* -> Store changes.Zhongxing Xu
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek