Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 3eb3cd45b82855486b79e6a01add7899f07970fb / clang / lib / StaticAnalyzer / Checkers / UndefBranchChecker.cpp
  1. 16704bb Allow some BugReports to opt-out of PathDiagnostic callstack pruning until we have significantly by Ted Kremenek · 14 years ago
  2. 1e809b4 [analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions. by Ted Kremenek · 14 years ago
  3. e277899 Basic: import OwningPtr<> into clang namespace by Dylan Noblesmith · 14 years ago
  4. 49b1e38 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 14 years ago
  5. 632e3b7 [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from by Ted Kremenek · 14 years ago
  6. f380534 [analyzer] Make branch for condition callback use CheckerContext by Anna Zaks · 14 years ago
  7. a99b41f [analyzer] Make NodeBuilder and Pred node loosely coupled by Anna Zaks · 14 years ago
  8. 6d285c5 [analyzer] Modularize builder use in processBranch. by Anna Zaks · 14 years ago
  9. ce5e97e [analyzer] NodeBuilder Refactoring: Subclass BranchNodeBuilder from NodeBuilder. by Anna Zaks · 14 years ago
  10. 892427e [analyzer] In UndefBranchChecker, use a node generator which does not create an edge/branching. (ExprEngine should be in charge of generating edges. The checkers should examine the condition and generate PostCondition node if needed.) by Anna Zaks · 14 years ago
  11. c42197d [analyzer] Cleanup in UndefBranchChecker: by Anna Zaks · 14 years ago
  12. f86615c Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). by Anna Zaks · 14 years ago
  13. 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
  14. 001fd5b Rename GRState to ProgramState, and cleanup some code formatting along the way. by Ted Kremenek · 14 years ago
  15. 5ef32db 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 · 14 years ago
  16. 6a5674f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 15 years ago
  17. 753b3ca [analyzer] Migrate UndefBranchChecker to CheckerV2. by Argyrios Kyrtzidis · 15 years ago
  18. f8cbac4 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 15 years ago
  19. f99d595 [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/StaticAnalyzer/Checkers/InternalChecks.h by Argyrios Kyrtzidis · 15 years ago
  20. d99bd55 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 15 years ago[Renamed (96%) from clang/lib/EntoSA/Checkers/UndefBranchChecker.cpp]
  21. ef33f09 Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 15 years ago[Renamed (97%) from clang/lib/GR/Checkers/UndefBranchChecker.cpp]
  22. 98857c9 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 15 years ago
  23. 1696f50 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 15 years ago
  24. ca08fba [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 15 years ago
  25. 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/UndefBranchChecker.cpp]
  26. 2ff5ab1 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 15 years ago[Renamed from clang/lib/Checker/UndefBranchChecker.cpp]
  27. 8d602a8 [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 15 years ago
  28. edb77fe Constify all references to Stmt* and CFGBlock* in libChecker. by Zhongxing Xu · 15 years ago
  29. c048322 Checker: random include cleanup. by Benjamin Kramer · 16 years ago
  30. 57f0989 Revert 95541. by Ted Kremenek · 16 years ago
  31. 500f49f Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 16 years ago
  32. d6b8708 Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (98%) from clang/lib/Analysis/UndefBranchChecker.cpp]
  33. 65c6566 lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  34. 02d6aca Tweak UndefBranchChecker to register the most nested "undefined" expression with bugreporter::registerTrackNullOrUndefValue instead of the condition itself. by Ted Kremenek · 16 years ago
  35. d4dca6f Cleanup title/description of "undefined branch" BugType and add some test cases for this check. by Ted Kremenek · 16 years ago
  36. 5f76620 UndefBranchChecker: more bug reporter helper information emit. by Zhongxing Xu · 16 years ago
  37. 56dd5f0 Initial refactor of UndefBranchChecker. We still use GRBranchNodeBuilder by Zhongxing Xu · 16 years ago