Age | Commit message (Expand) | Author |
---|---|---|
2010-12-01 | Rename all 'AssumeXXX' methods in libChecker | Ted Kremenek |
2010-11-01 | Teach the CStringChecker and PthreadLockChecker about non-identifier | Douglas Gregor |
2010-02-08 | Revert 95541. | Ted Kremenek |
2010-02-08 | Rename: GRState::getSVal(Stmt*) => getExprVal(), | Zhongxing Xu |
2010-01-25 | Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugRe... | Ted Kremenek |
2010-01-25 | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek |