Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / f8ba81e8bbc4d0d424c3b4c3581a9467e972c4de / lib / StaticAnalyzer / Core / BugReporterVisitors.cpp
  1. f8ba81e [analyzer] Address Jordan’s review of r177138 (a micro optimization) by Anna Zaks · 11 years ago
  2. 6a15f39 [analyzer] Look through ExprWhenCleanups when trying to track a NULL. by Jordan Rose · 11 years ago
  3. 810169e [analyzer] Refactor checks in IDC visitor for consistency and speed by Anna Zaks · 11 years ago
  4. dc9c160 [analyzer] Teach trackNullOrUndef to look through ternary operators by Anna Zaks · 11 years ago
  5. a4bb4f6 [analyzer] Change the way in which IDC Visitor decides to kick in and make sure it attaches in the given edge case by Anna Zaks · 11 years ago
  6. 6022c4e [analyzer] BugReporter - more precise tracking of C++ references by Anna Zaks · 11 years ago
  7. 77b7223 [analyzer] Look for calls along with lvalue nodes in trackNullOrUndefValue. by Jordan Rose · 11 years ago
  8. 0415998 [analyzer] Make Suppress IDC checker aware that it might not start from the same node it was registered at by Anna Zaks · 11 years ago
  9. 0183768 [analyzer] Look for lvalue nodes when tracking a null pointer. by Jordan Rose · 11 years ago
  10. 8c84707 [analyzer] Don't rely on finding the correct return statement for suppression. by Jordan Rose · 11 years ago
  11. 713e075 [analyzer] IDC: Add config option; perform the idc check on first “null node” rather than last “non-null”. by Anna Zaks · 12 years ago
  12. cc5dbda [analyzer] Simple inline defensive checks suppression by Anna Zaks · 12 years ago
  13. 9abf1b4 [analyzer] Suppress paths involving a reference whose rvalue is null. by Jordan Rose · 12 years ago
  14. 6f41608 [analyzer] Teach FindLastStoreBRVisitor to understand stores of the same value. by Jordan Rose · 12 years ago
  15. deb8f5d [analyzer] If a struct has a partial lazy binding, its fields aren't Undef. by Jordan Rose · 12 years ago
  16. 4238f41 [analyzer] Use 'MemRegion::printPretty()' instead of assuming the region is a VarRegion. by Ted Kremenek · 12 years ago
  17. 6c5038c [analyzer] Relax assumption in FindLastStoreBRVisitor that the thing we are looking for is always a VarRegion. by Ted Kremenek · 12 years ago
  18. 4e9c085 [analyzer] add the notion of an "interesting" lvalue expression for ExplodedNode pruning. by Ted Kremenek · 12 years ago
  19. 43b82b8 [analyzer] tracking stores/constraints now works for ObjC ivars or struct fields. by Ted Kremenek · 12 years ago
  20. 0dd15d7 Add "KnownSVal" to represent SVals that cannot be UnknownSVal. by Ted Kremenek · 12 years ago
  21. 7a95de6 Replace ProgramPoint llvm::cast support to be well-defined. by David Blaikie · 12 years ago
  22. dc84cd5 Include llvm::Optional in clang/Basic/LLVM.h by David Blaikie · 12 years ago
  23. 5251abe Replace SVal llvm::cast support to be well-defined. by David Blaikie · 12 years ago
  24. 5846720 Change subexpressions to be visited in the CFG from left-to-right. by Ted Kremenek · 12 years ago
  25. 86ff12c [analyzer] Move report false positive suppression to report visitors. by Anna Zaks · 12 years ago
  26. dede2fd [analyzer] bugreporter::getDerefExpr now takes a Stmt, not an ExplodedNode. by Jordan Rose · 12 years ago
  27. 7ee8906 [analyzer] Rename PruneNullReturnPaths to SuppressNullReturnPaths. by Jordan Rose · 12 years ago
  28. cfa88f8 Remove useless 'llvm::' qualifier from names like StringRef and others that are by Dmitri Gribenko · 12 years ago
  29. 87aa2fb Remove duplicate includes. by Roman Divacky · 12 years ago
  30. 55fc873 Sort all of Clang's files under 'lib', and fix up the broken headers uncovered. by Chandler Carruth · 12 years ago
  31. a93d0f2 Include pruning and general cleanup. by Benjamin Kramer · 12 years ago
  32. 6a329ee [analyzer] New option to not suppress null return paths if an argument is null. by Jordan Rose · 12 years ago
  33. 09f7bf1 [analyzer] Use the CallEnter node to get a value for tracked null arguments. by Jordan Rose · 12 years ago
  34. b85cce0 TrackConstraintBRVisitor and ConditionBRVisitor can emit similar by Ted Kremenek · 12 years ago
  35. b9d4e5e [analyzer] Suppress bugs whose paths go through the return of a null pointer. by Jordan Rose · 12 years ago
  36. 53221da [analyzer] Track a null value back through FindLastStoreBRVisitor. by Jordan Rose · 12 years ago
  37. 6686b66 [analyzer] Look through OpaqueValueExprs when tracking a nil value. by Jordan Rose · 12 years ago
  38. 85e9937 [analyzer] Better path notes for null pointers passed as arguments. by Jordan Rose · 12 years ago
  39. 991bcb4 [analyzer] Check that an ObjCIvarRefExpr's base is non-null even as an lvalue. by Jordan Rose · 12 years ago
  40. 522fc21 [analyzer] Teach UndefOrNullArgVisitor to track parent regions. by Anna Zaks · 12 years ago
  41. 22505ef Fix bug in BugReporter::RemoveUneededCalls() where "prunable" by Ted Kremenek · 12 years ago
  42. c47dc1b Fix bug in ConditionBRVisitor where for C++ (and not C) we were not ignoring by Ted Kremenek · 12 years ago
  43. 9b925ac [analyzer] Enhance the member expr tracking to account for references. by Anna Zaks · 12 years ago
  44. d91696e [analyzer] NullOrUndef diagnostics: track symbols binded to regions. by Anna Zaks · 12 years ago
  45. 0caa2d4 Rename AnalyzerOptions 'EagerlyAssume' to 'eagerlyAssumeBinOpBifurcation'. by Ted Kremenek · 12 years ago
  46. 28694c1 [analyzer] Fixup 162863. by Anna Zaks · 12 years ago
  47. 80de487 [analyzer] Improved diagnostic pruning for calls initializing values. by Anna Zaks · 12 years ago
  48. a1f81bb [analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue. by Jordan Rose · 12 years ago
  49. 166b7bd [analyzer] Refactor FindLastStoreBRVisitor to not find the store ahead of time. by Jordan Rose · 12 years ago
  50. 7aba117 [analyzer] If the last store into a region came from a function, step into it. by Jordan Rose · 12 years ago
  51. 364b9f9 [analyzer] Look through casts when trying to track a null pointer dereference. by Jordan Rose · 12 years ago
  52. 3682f1e [analyzer] Use the common evalBind infrastructure for initializers. by Jordan Rose · 12 years ago
  53. 23df243 [analyzer] If we dereference a NULL that came from a function, show the return. by Jordan Rose · 12 years ago
  54. e6cd054 [analyzer] Look through all casts when trying to track constraints. by Jordan Rose · 12 years ago
  55. 6853799 [analyzer] When a symbol is null, we should track its constraints. by Jordan Rose · 12 years ago
  56. b0e1bad [analyzer] Flatten path diagnostics for text output like we do for HTML. by Jordan Rose · 12 years ago
  57. 20165e7 [analyzer] FindLastStoreBRVisitor was not actually finding stores. by Jordan Rose · 12 years ago
  58. 11abcec Refine analyzer diagnostics by adding an expression "cone-of-influence" to reverse track interesting by Ted Kremenek · 12 years ago
  59. 907344e [analyzer] Change warding in a path diagnostic: by Anna Zaks · 12 years ago
  60. 76aadc3 [analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions. by Ted Kremenek · 12 years ago
  61. c89f4b0 [analyzer diagnostics] start prototyping stripping PathDiagnostics of unnecessary cruft caused by path inlining. by Ted Kremenek · 13 years ago
  62. 2042fc1 Reapply r151317, but when computing the PathDiagnostic profile and size keep into account the nested structure. Also fix a problem with how by Ted Kremenek · 13 years ago
  63. 68fbb3e Revert r151317 - Rework PathDiagnostics creation.. - to appease buildbots. by Chad Rosier · 13 years ago
  64. 4970ef8 Rework PathDiagnostic creation so that call stacks are captured by a nested PathDiagnosticCallPiece. by Ted Kremenek · 13 years ago
  65. 5a0917d [analyzer] Diagnostics: Ensure that the default end of diagnostic path by Anna Zaks · 13 years ago
  66. a59d20b Print NamedDecls directly to a raw_ostream where possible. by Benjamin Kramer · 13 years ago
  67. a6215b9 Create PathDiagnosticCallEnter and PathDiagnosticCallExit, to remark calls in PathDiagnostics from other events. This will by Ted Kremenek · 13 years ago
  68. b9201d2 Quote name of function in path diagnostics. by Ted Kremenek · 13 years ago
  69. 0cf3d47 Add basic BugReporter support for CallEnter/CallExit. WIP. by Ted Kremenek · 13 years ago
  70. f7ccbad Basic: import SmallString<> into clang namespace by Dylan Noblesmith · 13 years ago
  71. 8fe83e1 Move a method from IdentifierTable.h out of line and remove the SmallString include. by Benjamin Kramer · 13 years ago
  72. 8bef823 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 13 years ago
  73. d2e7090 Post open source analyzer build checker-259. by Ted Kremenek · 13 years ago
  74. 5eca482 [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from by Ted Kremenek · 13 years ago
  75. d1247c5 Extend ConditionBRVisitor to handle condition variable assignments. by Ted Kremenek · 13 years ago
  76. 6ae3257 Fix inversion of static analyzer path diagnostics for path conditions. by Ted Kremenek · 13 years ago
  77. b8989f2 Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. by Benjamin Kramer · 13 years ago
  78. b459cf3 Address PR10616. The crash has already been fixed by Ted in r140725, so just refactor to use existing API + test case. by Anna Zaks · 13 years ago
  79. f79d90e Check for empty predecessors for walking them. by Ted Kremenek · 13 years ago
  80. 1531bb0 [analyzer] Use more create methods in the PathDiagnostic, cleanup. by Anna Zaks · 13 years ago
  81. 0cd5948 [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 5 of ?): by Anna Zaks · 13 years ago
  82. 4fdf97b [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 2 of ?): by Anna Zaks · 13 years ago
  83. 220ac8c [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 2 of ?): by Anna Zaks · 13 years ago
  84. 7a75646 [analyzer] Fix a failure encountered while analyzing bind (radar://10105448). by Anna Zaks · 13 years ago
  85. 23f395e Static Analyzer Diagnostics: Move the responsibility for generating the endOfPath diagnostic piece from BugReport to BugReporterVisitor. Switch CFRefCount to use visitors in order to generate the endOfPath piece. by Anna Zaks · 13 years ago
  86. 50bbc16 Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). by Anna Zaks · 13 years ago
  87. 8e6431a Static Analyzer Diagnostics: Move custom diagnostic visitors from BugReporterContext to BugReport. by Anna Zaks · 13 years ago
  88. 3b9e8e4 [analyzer] Enhance ConditionVisitor to handle arbitrary ValueDecls in binary expressions, and also handle inverting the order of comparison when the named decl appears on the RHS. by Ted Kremenek · 13 years ago
  89. 4ee7c9c [analyzer] fix operation inversion calculation in ConditionVisitor. by Ted Kremenek · 13 years ago
  90. 681bc11 [analyzer] Enhance ConditionVisitor to understand eagerly evaluated (simple) binary conditions, and teach it to only focus on constraint changes. by Ted Kremenek · 13 years ago
  91. 18c66fd Rename GRState to ProgramState, and cleanup some code formatting along the way. by Ted Kremenek · 13 years ago
  92. 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
  93. 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
  94. 993124e [analyzer] Start sketching out a new BugReporterVisitor that inspects branches and other expressions to generate interesting path events in diagnostics. by Ted Kremenek · 13 years ago
  95. 8829989 [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to be linearized only when used by the static analyzer. This required a rewrite of LiveVariables, and exposed a ton of subtle bugs. by Ted Kremenek · 13 years ago
  96. 9b66371 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 14 years ago
  97. 811d75e [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core. by Argyrios Kyrtzidis · 14 years ago[Renamed from lib/StaticAnalyzer/BugReporterVisitors.cpp]
  98. 2114258 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 14 years ago[Renamed (97%) from lib/EntoSA/BugReporterVisitors.cpp]
  99. 3a8f40e Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 14 years ago[Renamed (98%) from lib/GR/BugReporterVisitors.cpp]
  100. 9ef6537 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 14 years ago