Age | Commit message (Expand) | Author |
---|---|---|
2010-03-25 | Add methods to remove a GDM entry. | Zhongxing Xu |
2010-03-17 | Mark CXXThisRegion in the current or parent stack frame context as live so that | Zhongxing Xu |
2010-03-05 | Remove reference to AnalysisContext in Environment. We already have LocationC... | Zhongxing Xu |
2010-03-04 | When profiling Environment, also profile with AnalysisContext*, bacause | Zhongxing Xu |
2010-02-08 | Revert 95541. | Ted Kremenek |
2010-02-08 | Rename: GRState::getSVal(Stmt*) => getExprVal(), | Zhongxing Xu |
2010-02-05 | More GRState* -> Store changes. | Zhongxing Xu |
2010-02-05 | More GRState* -> Store changes. | Zhongxing Xu |
2010-01-25 | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek |