Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / ae9f85b2c062ac20512a484cfa6e66239dd3d0d9 / lib / StaticAnalyzer / Checkers / UndefBranchChecker.cpp
  1. 5eca482 [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from by Ted Kremenek · 14 years ago
  2. f236b65 [analyzer] Make branch for condition callback use CheckerContext by Anna Zaks · 14 years ago
  3. 4e82d3c [analyzer] Make NodeBuilder and Pred node loosely coupled by Anna Zaks · 14 years ago
  4. cd656ca [analyzer] Modularize builder use in processBranch. by Anna Zaks · 14 years ago
  5. a19f4af [analyzer] NodeBuilder Refactoring: Subclass BranchNodeBuilder from NodeBuilder. by Anna Zaks · 14 years ago
  6. 1e9775d [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
  7. 9c81bc2 [analyzer] Cleanup in UndefBranchChecker: by Anna Zaks · 14 years ago
  8. 50bbc16 Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). by Anna Zaks · 14 years ago
  9. 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
  10. 18c66fd Rename GRState to ProgramState, and cleanup some code formatting along the way. by Ted Kremenek · 14 years ago
  11. 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 · 14 years ago
  12. ec8605f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 15 years ago
  13. cc05d51 [analyzer] Migrate UndefBranchChecker to CheckerV2. by Argyrios Kyrtzidis · 15 years ago
  14. 9b66371 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 15 years ago
  15. 04291a7 [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/StaticAnalyzer/Checkers/InternalChecks.h by Argyrios Kyrtzidis · 15 years ago
  16. 2114258 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 15 years ago[Renamed (96%) from lib/EntoSA/Checkers/UndefBranchChecker.cpp]
  17. 3a8f40e Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 15 years ago[Renamed (97%) from lib/GR/Checkers/UndefBranchChecker.cpp]
  18. 9ef6537 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 15 years ago
  19. d2592a3 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 15 years ago
  20. 5a4f98f [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 15 years ago
  21. a7af5ea [analyzer] Refactoring: Move checkers into lib/GR/Checkers and their own library, libclangGRCheckers by Argyrios Kyrtzidis · 15 years ago[Renamed from lib/GR/UndefBranchChecker.cpp]
  22. bce30c5 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 15 years ago[Renamed from lib/Checker/UndefBranchChecker.cpp]
  23. 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 15 years ago
  24. 03509ae Constify all references to Stmt* and CFGBlock* in libChecker. by Zhongxing Xu · 15 years ago
  25. 5e2d2c2 Checker: random include cleanup. by Benjamin Kramer · 15 years ago
  26. 1397663 Revert 95541. by Ted Kremenek · 16 years ago
  27. 6f8c430 Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 16 years ago
  28. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (98%) from lib/Analysis/UndefBranchChecker.cpp]
  29. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  30. 616cf05 Tweak UndefBranchChecker to register the most nested "undefined" expression with bugreporter::registerTrackNullOrUndefValue instead of the condition itself. by Ted Kremenek · 16 years ago
  31. 998c133 Cleanup title/description of "undefined branch" BugType and add some test cases for this check. by Ted Kremenek · 16 years ago
  32. f155dbf UndefBranchChecker: more bug reporter helper information emit. by Zhongxing Xu · 16 years ago
  33. 0835e4c Initial refactor of UndefBranchChecker. We still use GRBranchNodeBuilder by Zhongxing Xu · 16 years ago