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