Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / a0f7d35afe89a873f03befe998a45cd77d7b7c9d / clang / lib / StaticAnalyzer / Checkers / DivZeroChecker.cpp
  1. a0f7d35 [analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue. by Jordan Rose · 13 years ago
  2. cfb4eb2 [analyzer] When a symbol is null, we should track its constraints. by Jordan Rose · 13 years ago
  3. 8698dd6 [analyzer] Remove redundant check (scalar type is a superset of integer) by Anna Zaks · 13 years ago
  4. 1e809b4 [analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions. by Ted Kremenek · 14 years ago
  5. 7ec12c9 Revert my patches which removed Diagnostic.h includes by moving some operator overloads out of line. by Benjamin Kramer · 14 years ago
  6. e277899 Basic: import OwningPtr<> into clang namespace by Dylan Noblesmith · 14 years ago
  7. 3307c508 Move various diagnostic operator<< overloads out of line and remove includes of Diagnostic.h. by Benjamin Kramer · 14 years ago
  8. 49b1e38 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 14 years ago
  9. b7eac9f [analyzer] Make VLA checker taint aware. by Anna Zaks · 14 years ago
  10. 8298af8 [analyzer] Add taint awareness to DivZeroChecker. by Anna Zaks · 14 years ago
  11. 632e3b7 [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from by Ted Kremenek · 14 years ago
  12. 0d58033 [analyzer] Remove redundant check from DivZeroChecker by Anna Zaks · 14 years ago
  13. da4c8d6 [analyzer] Rename generateNode -> addTransition in CheckerContext by Anna Zaks · 14 years ago
  14. b473816 [analyzer] Simplify CheckerContext by Anna Zaks · 14 years ago
  15. f86615c Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). by Anna Zaks · 14 years ago
  16. 3a6bdf8 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
  17. 001fd5b Rename GRState to ProgramState, and cleanup some code formatting along the way. by Ted Kremenek · 14 years ago
  18. 6a5674f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 15 years ago
  19. ae468f7 [analyzer] Migrate DivZeroChecker to CheckerV2. by Argyrios Kyrtzidis · 15 years ago
  20. f8cbac4 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 15 years ago
  21. f99d595 [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/StaticAnalyzer/Checkers/InternalChecks.h by Argyrios Kyrtzidis · 15 years ago
  22. d99bd55 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 15 years ago[Renamed (95%) from clang/lib/EntoSA/Checkers/DivZeroChecker.cpp]
  23. ef33f09 Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 15 years ago[Renamed (95%) from clang/lib/GR/Checkers/DivZeroChecker.cpp]
  24. 98857c9 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 15 years ago
  25. 1696f50 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 15 years ago
  26. ca08fba [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 15 years ago
  27. a700e97 [analyzer] Refactoring: Move checkers into lib/GR/Checkers and their own library, libclangGRCheckers by Argyrios Kyrtzidis · 15 years ago[Renamed from clang/lib/GR/DivZeroChecker.cpp]
  28. 2ff5ab1 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 15 years ago[Renamed from clang/lib/Checker/DivZeroChecker.cpp]
  29. 8d602a8 [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 15 years ago
  30. 750b7ac Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'. by Ted Kremenek · 15 years ago
  31. c5bea1e Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'. by Ted Kremenek · 15 years ago
  32. e302792 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 15 years ago
  33. c048322 Checker: random include cleanup. by Benjamin Kramer · 16 years ago
  34. 57f0989 Revert 95541. by Ted Kremenek · 16 years ago
  35. 500f49f Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 16 years ago
  36. d6b8708 Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (97%) from clang/lib/Analysis/DivZeroChecker.cpp]
  37. 65c6566 lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  38. f573515 Clean up the Checker API a little more, resolving some hidden bugs by Ted Kremenek · 16 years ago
  39. f4c511b Change *BugReport constructors to take StringRefs. by Benjamin Kramer · 16 years ago
  40. 53a70c0 Make the implementation of DivZeroChecker private. by Ted Kremenek · 16 years ago
  41. 2980b97 Minor cleanup: use BuiltinBug (which will soon be renamed) for DeferenceChecker and friends so that they always report the same bug type. by Ted Kremenek · 16 years ago
  42. b1c2472 Move CheckDivZero into its own files. by Zhongxing Xu · 16 years ago