aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/GRState.cpp
AgeCommit message (Expand)Author
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