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