Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 87aa2fbc75a897e7c4a4082374aaba3f50db6f0f / lib / StaticAnalyzer / Core / BugReporterVisitors.cpp
  1. 87aa2fb Remove duplicate includes. by Roman Divacky · 12 years ago
  2. 55fc873 Sort all of Clang's files under 'lib', and fix up the broken headers uncovered. by Chandler Carruth · 12 years ago
  3. a93d0f2 Include pruning and general cleanup. by Benjamin Kramer · 12 years ago
  4. 6a329ee [analyzer] New option to not suppress null return paths if an argument is null. by Jordan Rose · 12 years ago
  5. 09f7bf1 [analyzer] Use the CallEnter node to get a value for tracked null arguments. by Jordan Rose · 12 years ago
  6. b85cce0 TrackConstraintBRVisitor and ConditionBRVisitor can emit similar by Ted Kremenek · 12 years ago
  7. b9d4e5e [analyzer] Suppress bugs whose paths go through the return of a null pointer. by Jordan Rose · 12 years ago
  8. 53221da [analyzer] Track a null value back through FindLastStoreBRVisitor. by Jordan Rose · 12 years ago
  9. 6686b66 [analyzer] Look through OpaqueValueExprs when tracking a nil value. by Jordan Rose · 12 years ago
  10. 85e9937 [analyzer] Better path notes for null pointers passed as arguments. by Jordan Rose · 12 years ago
  11. 991bcb4 [analyzer] Check that an ObjCIvarRefExpr's base is non-null even as an lvalue. by Jordan Rose · 12 years ago
  12. 522fc21 [analyzer] Teach UndefOrNullArgVisitor to track parent regions. by Anna Zaks · 12 years ago
  13. 22505ef Fix bug in BugReporter::RemoveUneededCalls() where "prunable" by Ted Kremenek · 12 years ago
  14. c47dc1b Fix bug in ConditionBRVisitor where for C++ (and not C) we were not ignoring by Ted Kremenek · 12 years ago
  15. 9b925ac [analyzer] Enhance the member expr tracking to account for references. by Anna Zaks · 12 years ago
  16. d91696e [analyzer] NullOrUndef diagnostics: track symbols binded to regions. by Anna Zaks · 12 years ago
  17. 0caa2d4 Rename AnalyzerOptions 'EagerlyAssume' to 'eagerlyAssumeBinOpBifurcation'. by Ted Kremenek · 12 years ago
  18. 28694c1 [analyzer] Fixup 162863. by Anna Zaks · 12 years ago
  19. 80de487 [analyzer] Improved diagnostic pruning for calls initializing values. by Anna Zaks · 12 years ago
  20. a1f81bb [analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue. by Jordan Rose · 12 years ago
  21. 166b7bd [analyzer] Refactor FindLastStoreBRVisitor to not find the store ahead of time. by Jordan Rose · 12 years ago
  22. 7aba117 [analyzer] If the last store into a region came from a function, step into it. by Jordan Rose · 12 years ago
  23. 364b9f9 [analyzer] Look through casts when trying to track a null pointer dereference. by Jordan Rose · 12 years ago
  24. 3682f1e [analyzer] Use the common evalBind infrastructure for initializers. by Jordan Rose · 12 years ago
  25. 23df243 [analyzer] If we dereference a NULL that came from a function, show the return. by Jordan Rose · 12 years ago
  26. e6cd054 [analyzer] Look through all casts when trying to track constraints. by Jordan Rose · 12 years ago
  27. 6853799 [analyzer] When a symbol is null, we should track its constraints. by Jordan Rose · 12 years ago
  28. b0e1bad [analyzer] Flatten path diagnostics for text output like we do for HTML. by Jordan Rose · 12 years ago
  29. 20165e7 [analyzer] FindLastStoreBRVisitor was not actually finding stores. by Jordan Rose · 12 years ago
  30. 11abcec Refine analyzer diagnostics by adding an expression "cone-of-influence" to reverse track interesting by Ted Kremenek · 12 years ago
  31. 907344e [analyzer] Change warding in a path diagnostic: by Anna Zaks · 12 years ago
  32. 76aadc3 [analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions. by Ted Kremenek · 12 years ago
  33. c89f4b0 [analyzer diagnostics] start prototyping stripping PathDiagnostics of unnecessary cruft caused by path inlining. by Ted Kremenek · 12 years ago
  34. 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 · 12 years ago
  35. 68fbb3e Revert r151317 - Rework PathDiagnostics creation.. - to appease buildbots. by Chad Rosier · 12 years ago
  36. 4970ef8 Rework PathDiagnostic creation so that call stacks are captured by a nested PathDiagnosticCallPiece. by Ted Kremenek · 12 years ago
  37. 5a0917d [analyzer] Diagnostics: Ensure that the default end of diagnostic path by Anna Zaks · 12 years ago
  38. a59d20b Print NamedDecls directly to a raw_ostream where possible. by Benjamin Kramer · 12 years ago
  39. a6215b9 Create PathDiagnosticCallEnter and PathDiagnosticCallExit, to remark calls in PathDiagnostics from other events. This will by Ted Kremenek · 12 years ago
  40. b9201d2 Quote name of function in path diagnostics. by Ted Kremenek · 12 years ago
  41. 0cf3d47 Add basic BugReporter support for CallEnter/CallExit. WIP. by Ted Kremenek · 12 years ago
  42. f7ccbad Basic: import SmallString<> into clang namespace by Dylan Noblesmith · 12 years ago
  43. 8fe83e1 Move a method from IdentifierTable.h out of line and remove the SmallString include. by Benjamin Kramer · 12 years ago
  44. 8bef823 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 12 years ago
  45. d2e7090 Post open source analyzer build checker-259. by Ted Kremenek · 12 years ago
  46. 5eca482 [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from by Ted Kremenek · 13 years ago
  47. d1247c5 Extend ConditionBRVisitor to handle condition variable assignments. by Ted Kremenek · 13 years ago
  48. 6ae3257 Fix inversion of static analyzer path diagnostics for path conditions. by Ted Kremenek · 13 years ago
  49. b8989f2 Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. by Benjamin Kramer · 13 years ago
  50. 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
  51. f79d90e Check for empty predecessors for walking them. by Ted Kremenek · 13 years ago
  52. 1531bb0 [analyzer] Use more create methods in the PathDiagnostic, cleanup. by Anna Zaks · 13 years ago
  53. 0cd5948 [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 5 of ?): by Anna Zaks · 13 years ago
  54. 4fdf97b [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 2 of ?): by Anna Zaks · 13 years ago
  55. 220ac8c [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 2 of ?): by Anna Zaks · 13 years ago
  56. 7a75646 [analyzer] Fix a failure encountered while analyzing bind (radar://10105448). by Anna Zaks · 13 years ago
  57. 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
  58. 50bbc16 Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). by Anna Zaks · 13 years ago
  59. 8e6431a Static Analyzer Diagnostics: Move custom diagnostic visitors from BugReporterContext to BugReport. by Anna Zaks · 13 years ago
  60. 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
  61. 4ee7c9c [analyzer] fix operation inversion calculation in ConditionVisitor. by Ted Kremenek · 13 years ago
  62. 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
  63. 18c66fd Rename GRState to ProgramState, and cleanup some code formatting along the way. by Ted Kremenek · 13 years ago
  64. 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
  65. 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
  66. 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
  67. 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
  68. 9b66371 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 13 years ago
  69. 811d75e [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core. by Argyrios Kyrtzidis · 13 years ago[Renamed from lib/StaticAnalyzer/BugReporterVisitors.cpp]
  70. 2114258 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 14 years ago[Renamed (97%) from lib/EntoSA/BugReporterVisitors.cpp]
  71. 3a8f40e Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 14 years ago[Renamed (98%) from lib/GR/BugReporterVisitors.cpp]
  72. 9ef6537 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 14 years ago
  73. 5a4f98f [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 14 years ago
  74. bce30c5 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 14 years ago[Renamed from lib/Checker/BugReporterVisitors.cpp]
  75. 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 14 years ago
  76. 892697d Start migration of static analyzer to using the by Ted Kremenek · 14 years ago
  77. 28f47b9 Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'. by Ted Kremenek · 14 years ago
  78. 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
  79. 066d660 Reverting 112850 and 112839 due to test failures on some systems by Tom Care · 14 years ago
  80. 3f0ce9c Improved error reporting in IdempotentOperationChecker by Tom Care · 14 years ago
  81. 2de56d1 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 14 years ago
  82. 018220c MemRegion can refer to ASTContext without external help. by Zhongxing Xu · 14 years ago
  83. 03509ae Constify all references to Stmt* and CFGBlock* in libChecker. by Zhongxing Xu · 14 years ago
  84. 04badcf Overhaul the AST representation of Objective-C message send by Douglas Gregor · 14 years ago
  85. 900fc63 Add raw_ostream operators to NamedDecl for convenience. Switch over all users of getNameAsString on a stream. by Benjamin Kramer · 14 years ago
  86. 5e2d2c2 Checker: random include cleanup. by Benjamin Kramer · 14 years ago
  87. ff7f736 Reapply r99024 (but with the memory issue now fixed). by Ted Kremenek · 14 years ago
  88. 1b43102 Check if a BugReporterVisitor has already been added to a BugReporterContext. by Ted Kremenek · 14 years ago
  89. 0f2c907 Revert r99024, "Augment path diagnostics to include displaying when a message by Daniel Dunbar · 14 years ago
  90. 2d46f4d Augment path diagnostics to include displaying when a message expression by Ted Kremenek · 14 years ago
  91. 94fd0b8 Add simpler checker to check if variables captured by a block are uninitialized. by Ted Kremenek · 14 years ago
  92. 1397663 Revert 95541. by Ted Kremenek · 14 years ago
  93. 6f8c430 Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 14 years ago
  94. 6b67630 Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter' by Ted Kremenek · 14 years ago
  95. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 14 years ago[Renamed (98%) from lib/Analysis/BugReporterVisitors.cpp]
  96. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
  97. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
  98. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  99. 6403b57 Refactor the check for bad divide into a checker. by Zhongxing Xu · 15 years ago
  100. d99f361 Refactor bad callee check into a Checker. by Zhongxing Xu · 15 years ago