Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / f185cc1ac77a84139c603eee3473b88dcb839c68 / lib / StaticAnalyzer / Checkers / OSAtomicChecker.cpp
  1. f185cc1 [analyzer] Remove more dependencies from global Builder by Anna Zaks · 13 years ago
  2. dff6ef9 [analyzer] OSAtomicChecker implements evalCall in a very invasive way - it essentially simulates inlining of compareAndSwap() by means of setting the NodeBuilder flags and calling ExprEngine directly. by Anna Zaks · 13 years ago
  3. 18c66fd Rename GRState to ProgramState, and cleanup some code formatting along the way. by Ted Kremenek · 13 years ago
  4. 9c378f7 Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. by Ted Kremenek · 13 years ago
  5. ca80453 [analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*. by Ted Kremenek · 13 years ago
  6. 9697934 [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separate TypedRegions that implement getValueType() from those that don't. by Ted Kremenek · 13 years ago
  7. 5f9e272 remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports by Chris Lattner · 13 years ago
  8. 6b4f567 Allow 'Environment::getSVal()' to allow an optional way for checkers to do a direct lookup to values bound to expressions, without by Ted Kremenek · 14 years ago
  9. ec8605f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 14 years ago
  10. f029366 [analyzer] Migrate OSAtomicChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  11. 9b66371 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 14 years ago
  12. 04291a7 [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/StaticAnalyzer/Checkers/InternalChecks.h by Argyrios Kyrtzidis · 14 years ago
  13. 2114258 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 14 years ago[Renamed (98%) from lib/EntoSA/Checkers/OSAtomicChecker.cpp]
  14. 3a8f40e Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 14 years ago[Renamed (98%) from lib/GR/Checkers/OSAtomicChecker.cpp]
  15. 9ef6537 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 14 years ago
  16. d2592a3 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 14 years ago
  17. 5a4f98f [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 14 years ago
  18. a7af5ea [analyzer] Refactoring: Move checkers into lib/GR/Checkers and their own library, libclangGRCheckers by Argyrios Kyrtzidis · 14 years ago[Renamed from lib/GR/OSAtomicChecker.cpp]
  19. bce30c5 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 14 years ago[Renamed from lib/Checker/OSAtomicChecker.cpp]
  20. 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 14 years ago
  21. d048c6e Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'. by Ted Kremenek · 14 years ago
  22. c8413fd Merge ValueManager into SValBuilder. by Ted Kremenek · 14 years ago
  23. 28f47b9 Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'. by Ted Kremenek · 14 years ago
  24. 9c14953 Rename all 'EvalXXX' methods in libChecker to 'evalXXX'. by Ted Kremenek · 14 years ago
  25. 846eabd Rename 'SValuator' to 'SValBuilder'. The new name by Ted Kremenek · 14 years ago
  26. 018220c MemRegion can refer to ASTContext without external help. by Zhongxing Xu · 14 years ago
  27. 3992a50 Constify. by Zhongxing Xu · 14 years ago
  28. 2470446 add comments. by Zhongxing Xu · 14 years ago
  29. 71f219a add comments. by Zhongxing Xu · 14 years ago
  30. 85fe6f1 Remove stray #include. by Ted Kremenek · 15 years ago
  31. 1397663 Revert 95541. by Ted Kremenek · 15 years ago
  32. 6f8c430 Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 15 years ago
  33. 814e6b9 Cast evaluation no longer touch GRState. by Zhongxing Xu · 15 years ago
  34. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (98%) from lib/Analysis/OSAtomicChecker.cpp]
  35. c50e6df Switch RegionStore over to using <BaseRegion+raw offset> to store by Ted Kremenek · 15 years ago
  36. a0f7727 Teach OSAtomicChecker that a FunctionDecl's name isn't always a simple IdentifierInfo*. by Ted Kremenek · 15 years ago
  37. 6bcd5a0 Fix null dereference in OSAtomicChecker and special case SymbolicRegions. We still aren't handling them correctly; I've added to failing test cases to test/Analysis/NSString-failed-cases.m that should pass and then be merged in to test/Analysis/NSString.m. by Ted Kremenek · 15 years ago
  38. 1ec4e97 Refactor OSAtomic evaluation logic into OSAtomicChecker. by Zhongxing Xu · 15 years ago