Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / ba5fb5a955c896815c439289fc51c03cf0635129 / lib / Analysis / BugReporter.cpp
  1. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
  2. 5fe4d9d Change ExplodedNode to have its NodeGroups all BumpPtrAllocated, avoiding malloc() traffic when adding successors/predecessors to a node. This was done by introducing BumpVector, which is essentially SmallVector with all memory being BumpPtrAllocated (this can certainly be cleaned up or moved into llvm/ADT). by Ted Kremenek · 15 years ago
  3. e0a5807 Re-introduce diagnostic caching in BugReporter that was originally added in by Ted Kremenek · 15 years ago
  4. 7f473c5 Revert most of r82198, which was causing a large number of crashes by Ted Kremenek · 15 years ago
  5. 6a19832 Introduce caching of diagnostics in BugReporter. This provides extra by Ted Kremenek · 15 years ago
  6. 6b0c6eb Fix typo in comment. by Ted Kremenek · 15 years ago
  7. 06c9cb4 Fix: <rdar://problem/5905851> do not report a leak when post-dominated by a call by Ted Kremenek · 15 years ago
  8. 90b6acf Implement FIXME: free up BugReportEquivClass objects when deleting BugTypes. by Ted Kremenek · 15 years ago
  9. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
  10. b317f8f Make AnalysisManager stateless. Now other analyzer components only depends on by Zhongxing Xu · 15 years ago
  11. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  12. a2f4ec0 Do not call FlushReports() in GRBugReporter's dtor. We already call it in by Zhongxing Xu · 15 years ago
  13. 5032ffe Remove CodeDecl and CFG from GRExprEngine and GRStateManager. by Zhongxing Xu · 15 years ago
  14. cc02553 Remove Decl and CFG from ExplodedGraph. This leads to a series small changes. by Zhongxing Xu · 15 years ago
  15. fafd383 Rename: ProgramPoint::getContext() => ProgramPoint::getLocationContext(). by Zhongxing Xu · 15 years ago
  16. f7a50a4 Get the Decl from the current ExplodedNode. Eventually the diagnostic client by Zhongxing Xu · 15 years ago
  17. 292a5c0 Remove unused parameter BugReporter due to previous patch. by Zhongxing Xu · 15 years ago
  18. 50d5bc4 Now we can get the CFG from the ProgramPoint. No need to pass in the by Zhongxing Xu · 15 years ago
  19. 592362b Enhance static analyzer diagnostics by introducing a new 'EnhancedBugReporter' by Ted Kremenek · 15 years ago
  20. 38b02b9 Core analysis engine template cleanup step 2: by Zhongxing Xu · 15 years ago
  21. c5619d9 As GRState seems general enough, it is time to merge some template classes by Zhongxing Xu · 15 years ago
  22. d9b401c add a fixme by Zhongxing Xu · 15 years ago
  23. b7c5152 Fix helper function GetNextStmt() to look for the first statement that has a by Ted Kremenek · 15 years ago
  24. 5f85e17 Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. by Ted Kremenek · 15 years ago
  25. e41611a Move the source-level CFG from libAST to libAnalysis. by Ted Kremenek · 15 years ago
  26. 6fb0aee Remove the ASTContext parameter from the getBody() methods of Decl and subclasses. by Argyrios Kyrtzidis · 15 years ago
  27. 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 15 years ago
  28. dbc2afc API cleanup: move more methods from GRStateManager to GRState. by Ted Kremenek · 15 years ago
  29. 23ec48c Move clients over from using GRStateManager::BindXXX and friends to by Ted Kremenek · 15 years ago
  30. 938332c Fix another bug in BugReporter where we wouldn't always select the bug report in a bug equivalence class with the shortest path. by Ted Kremenek · 15 years ago
  31. 07c015c BugReporter (extensive diagnostics): Do not include the range of target '}' by Ted Kremenek · 15 years ago
  32. ddb7bab BugReporter (extensive diagnostics): Add control-flow piece to '}' in by Ted Kremenek · 15 years ago
  33. 3ef538d BugReport::getEndPath() - Only add a Stmt's range to the constructed PathDiagnosticEventPiece if the BugReport contained no explicit ranges. by Ted Kremenek · 15 years ago
  34. e88a170 EdgeBuilder: DeclStmts and BinaryOperators are not the enclosing location context when they are used as initialization code for loops. by Ted Kremenek · 15 years ago
  35. 9650cf3 EdgeBuilder::cleanUpLocation() should used the PathDiagnosticLocation constructor for a single point, not a range. by Ted Kremenek · 15 years ago
  36. 8c8b0ad BugReporter (extensive diagnostics): Add EdgeBuilder::cleanUpLocation for canonicalization locations and use this in both popLocation and rawAddEdge. by Ted Kremenek · 15 years ago
  37. eaedfea analyzer: by Ted Kremenek · 15 years ago
  38. dd986cc Add preliminary support for enhancing null-pointer dereference diagnostics. by Ted Kremenek · 15 years ago
  39. 8966bc1 Refactor BugReporter interface to have a new 'BugReporterContext' and by Ted Kremenek · 15 years ago
  40. e1baed3 BugReporter (extensive diagnostics): improve location context generation for the by Ted Kremenek · 15 years ago
  41. c42e07e BugReporter (extensive diagnostics): Fix getEnclosingStmtLocation to reason by Ted Kremenek · 15 years ago
  42. 4c6f8d3 BugReporter (extensive diagnostics): don't mark location contexts that are by Ted Kremenek · 15 years ago
  43. 8f9b1b3 BugReporter (extensive diagnostics): introduce the notion of a "dead" by Ted Kremenek · 15 years ago
  44. d1e1c40 Remove #if 0'ed code. by Ted Kremenek · 15 years ago
  45. da0e842 Fix null dereference. by Ted Kremenek · 15 years ago
  46. d49967f BugReporter/PathDiagnostics: by Ted Kremenek · 15 years ago
  47. a902d55 Extensive diagnostics: Do not add a location context for do...while statements. by Ted Kremenek · 15 years ago
  48. 8bd4d03 BugReporter (extensive diagnostics): Clean up do...while control-flow edges, and by Ted Kremenek · 15 years ago
  49. d3a413d Implement function-try-blocks. However, there's a very subtle bug that I can't track down. by Sebastian Redl · 15 years ago
  50. 9ec64d6 Minor code cleanup. by Eli Friedman · 15 years ago
  51. 16f0049 split ObjC and C++ Statements out into their own headers. by Chris Lattner · 15 years ago
  52. 6f13235 BugReporter (extensive diagnostics): Recursively adjust the referred expression by Ted Kremenek · 15 years ago
  53. c2924d0 BugReporter (extensive diagnostics): Ignore parentheses when added control-flow by Ted Kremenek · 15 years ago
  54. 4f5be3b BugReporter (extensive diagnostics): Use correct location for location contexts. by Ted Kremenek · 15 years ago
  55. 5c7168c BugReporter (extensive diagnostics): always add an edge if there is no location by Ted Kremenek · 15 years ago
  56. 404dd7a BugReporter (extensive diagnostics): by Ted Kremenek · 15 years ago
  57. a301a67 BugReporter (extensive diagnostic algorithm): The initial control-flow edge now by Ted Kremenek · 15 years ago
  58. 7297134 FunctionDecl::getBody() is getting an ASTContext argument for use in by Douglas Gregor · 15 years ago
  59. 581329c Removed some commented code. by Ted Kremenek · 16 years ago
  60. bfd7c9e PathDiagnostic generation: experiment with avoiding generation of control-flow by Ted Kremenek · 16 years ago
  61. e97386f Don't overguard to adding a control-flow piece when "alwaysAdd" is true. by Ted Kremenek · 16 years ago
  62. 14856d7 Rewrite control-flow diagnostic generation "extensive" algorithm using "edge by Ted Kremenek · 16 years ago
  63. 0ddaff3 Add another null pointer check. Simplify condition. by Ted Kremenek · 16 years ago
  64. 28de78b Add null pointer check. by Ted Kremenek · 16 years ago
  65. 9e2d98d BugReporter, extensive path-diagnostics: add an extra control-flow edge to the by Ted Kremenek · 16 years ago
  66. 0dc65be Fix comment. by Ted Kremenek · 16 years ago
  67. a42c4c9 BugReporter: for extensive path diagnostics: by Ted Kremenek · 16 years ago
  68. 51a735c BugReporter: for extensive PathDiagnostic generation, add control-flow from the by Ted Kremenek · 16 years ago
  69. c3f83ad BugReporter: For the "extensive" PathDiagnostic generation algorithm, elide most by Ted Kremenek · 16 years ago
  70. 5fb5dfb - Changed PathDiagnosticPiece::getLocation() to return a PathDiagnosticLocation by Ted Kremenek · 16 years ago
  71. 3106198 More code reshuffling. No functionality change. by Ted Kremenek · 16 years ago
  72. 7dc8664 Allow two codepaths for PathDiagnostic generation. This patch mainly consists of by Ted Kremenek · 16 years ago
  73. 93e7145 Simplify more code by using SVal::getAsSymbol(). by Ted Kremenek · 16 years ago
  74. 0297ee0 Convert use of loc::SymbolVal and nonloc::SymbolVal to V.getAsSymbol(). This by Ted Kremenek · 16 years ago
  75. f5ab8e6 Adjust control-flow endpoints for '&&' and '||'. by Ted Kremenek · 16 years ago
  76. 1d9a23a Text PathDiagnosticBuilder::getEnclosingStmt() about '?' by Ted Kremenek · 16 years ago
  77. af3e3d5 Teach PathDiagnosticBuilder::getEnclosingStmtLocation() about while/if/do/for, by Ted Kremenek · 16 years ago
  78. d8c938b BugReporter: For control-flow edges from 'if', 'for', 'do', 'while' to by Ted Kremenek · 16 years ago
  79. 00605e0 BugReporter: PathDiagnosticBuilder::ExecutionContinues now returns a by Ted Kremenek · 16 years ago
  80. babdd7b BugReporter: by Ted Kremenek · 16 years ago
  81. 6f00204 - Add class PathDiagosticLocationPair. by Ted Kremenek · 16 years ago
  82. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
  83. 10aa554 Use the correct data structures! by Ted Kremenek · 16 years ago
  84. 082cb8d PathDiagnostics: by Ted Kremenek · 16 years ago
  85. 0e5c8d4 BugReporter: by Ted Kremenek · 16 years ago
  86. 1fbfd5b Create PathDiagnosticPiece subclasses PathDiagnosticEventPiece and by Ted Kremenek · 16 years ago
  87. be91224 BasicStore: by Ted Kremenek · 16 years ago
  88. 94c9698 Rework use of loc::SymbolVal in the retain/release checker to use the new method by Ted Kremenek · 16 years ago
  89. 025fedc BugReporter: Construct path-related PathDiagnosticPieces with kind "ControlFlow". by Ted Kremenek · 16 years ago
  90. 9b5e505 When retrieving the location of a Node, for MemberExprs use the location of the by Ted Kremenek · 16 years ago
  91. 3daea0a Use Loc::IsLocType() instead of isPointerType() and isReferenceType(). by Ted Kremenek · 16 years ago
  92. 24a9f6e Drop uses of isPointerLikeType. - No functionality change. by Daniel Dunbar · 16 years ago
  93. b479dad Tidy up 'ExecutionContinues' to distinguish between jumping to the end of a 'method' or 'funciton'. by Ted Kremenek · 16 years ago
  94. b697b10 Tidy up the path diagnostic generation logic in BugReporter and remove a case where an "Execution continues..." diagnostic could result in an empty message bubble. by Ted Kremenek · 16 years ago
  95. fe9e543 Hooked up the necessary machinery to allow the retain/release checker reference by Ted Kremenek · 16 years ago
  96. 297308e BugReporter: Use llvm::raw_string_stream instead of std::ostringstream. by Ted Kremenek · 16 years ago
  97. d90e708 Use BugReport::getDescription() for the compiler warning text. by Ted Kremenek · 16 years ago
  98. cf118d4 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 16 years ago
  99. a26ddab PathDiagnostics: by Ted Kremenek · 16 years ago
  100. 3148eb4 More hacking on static analyzer diagnostics. When emitting summary diagnostics the code paths for diagnostics involving paths or single locations are now unified. This patch also constifies many arguments/methods that are touched by this logic, leading to a nice overall code cleanup. by Ted Kremenek · 16 years ago