Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 76dafa7e6487c0b51fadebd16bdefe0e0e23d595 / lib / StaticAnalyzer / Checkers / ArrayBoundChecker.cpp
  1. 6f42b62 Basic: import OwningPtr<> into clang namespace by Dylan Noblesmith · 14 years ago
  2. 8bef823 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 14 years ago
  3. 0bd6b11 [analyzer] Rename generateNode -> addTransition in CheckerContext by Anna Zaks · 14 years ago
  4. 063e088 [analyzer] Simplify CheckerContext by Anna Zaks · 14 years ago
  5. 390909c [analyzer] Remove the dependency on CheckerContext::getStmt() as well as the method itself. by Anna Zaks · 14 years ago
  6. e172e8b Remove EnhancedBugReport and RangedBugReport - pull all the extra functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds default range to Ranges if none are supplied, made getStmt() private, which was another FIXME. by Anna Zaks · 14 years ago
  7. 18c66fd Rename GRState to ProgramState, and cleanup some code formatting along the way. by Ted Kremenek · 14 years ago
  8. ec8605f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 15 years ago
  9. 8be5b3a [analyzer] Migrate ArrayBoundChecker to CheckerV2. by Argyrios Kyrtzidis · 15 years ago
  10. 9b66371 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 15 years ago
  11. 04291a7 [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/StaticAnalyzer/Checkers/InternalChecks.h by Argyrios Kyrtzidis · 15 years ago
  12. f7fbbda [analyzer] Add 'isLoad' parameter in Checker::visitLocation() to conveniently distinguish between loads/stores. by Argyrios Kyrtzidis · 15 years ago
  13. 2114258 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 15 years ago[Renamed (93%) from lib/EntoSA/Checkers/ArrayBoundChecker.cpp]
  14. 3a8f40e Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 15 years ago[Renamed (94%) from lib/GR/Checkers/ArrayBoundChecker.cpp]
  15. 9ef6537 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 15 years ago
  16. d2592a3 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 15 years ago
  17. 5a4f98f [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 15 years ago
  18. a7af5ea [analyzer] Refactoring: Move checkers into lib/GR/Checkers and their own library, libclangGRCheckers by Argyrios Kyrtzidis · 15 years ago[Renamed from lib/GR/ArrayBoundChecker.cpp]
  19. bce30c5 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 15 years ago[Renamed from lib/Checker/ArrayBoundChecker.cpp]
  20. 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 15 years ago
  21. 342e907 Rename 'VisitLocation' to 'visitLocation'. by Ted Kremenek · 15 years ago
  22. d048c6e Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'. by Ted Kremenek · 15 years ago
  23. 28f47b9 Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'. by Ted Kremenek · 15 years ago
  24. 110eaf1 Do not use StripCasts() in this context. by Zhongxing Xu · 15 years ago
  25. 89b0658 do not bind temporaries to non-const references by Gabor Greif · 15 years ago
  26. 018220c MemRegion can refer to ASTContext without external help. by Zhongxing Xu · 15 years ago
  27. 5e2d2c2 Checker: random include cleanup. by Benjamin Kramer · 15 years ago
  28. 6b67630 Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter' by Ted Kremenek · 16 years ago
  29. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (93%) from lib/Analysis/ArrayBoundChecker.cpp]
  30. 3ed04d3 Add support for computing size in elements for symbolic regions obtained from by Zhongxing Xu · 16 years ago
  31. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  32. c312076 After performing a bounds check in ArrayBoundChecker, record the fact that a bounds check succeeded by transitioning the ExplodedGraph. by Ted Kremenek · 16 years ago
  33. 19d67b5 Clean up the Checker API a little more, resolving some hidden bugs by Ted Kremenek · 16 years ago
  34. d02e232 Change *BugReport constructors to take StringRefs. by Benjamin Kramer · 16 years ago
  35. e884ff8 Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal. by Zhongxing Xu · 16 years ago
  36. 58e689f Reimplement out-of-bound array access checker with the new checker interface. by Zhongxing Xu · 16 years ago