aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/OSAtomicChecker.cpp
AgeCommit message (Expand)Author
2010-12-22[analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang...Argyrios Kyrtzidis
2010-12-22[analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis
2010-12-20Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'.Ted Kremenek
2010-12-02Merge ValueManager into SValBuilder.Ted Kremenek
2010-12-01Rename all 'AssumeXXX' methods in libCheckerTed Kremenek
2010-12-01Rename all 'EvalXXX' methods in libChecker toTed Kremenek
2010-12-01Rename 'SValuator' to 'SValBuilder'. The new nameTed Kremenek
2010-08-11MemRegion can refer to ASTContext without external help.Zhongxing Xu
2010-07-20Constify.Zhongxing Xu
2010-06-23add comments.Zhongxing Xu
2010-06-23add comments.Zhongxing Xu
2010-02-25Remove stray #include.Ted Kremenek
2010-02-08Revert 95541.Ted Kremenek
2010-02-08Rename: GRState::getSVal(Stmt*) => getExprVal(),Zhongxing Xu
2010-02-04Cast evaluation no longer touch GRState.Zhongxing Xu
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-05 08:19:33 +0000