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