1. b3b56c6 Adjust method calls to reflect name changes in by Ted Kremenek · 15 years ago
  2. 5819196 Refactored BugReporter to refer to EndNode as ErrorNode. We currently make the assumption that EndNode == ErrorNode, but upcoming changes will break this. by Tom Care · 15 years ago
  3. 2cd7a78 Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patch by Zhongxing Xu · 15 years ago
  4. ff3a4ff Use FindReportInEquivalenceClass to identify all the nodes used for the trimmed graph (in BugReporter). This fixes a problem where a leak that happened to occur on both an exit() path and a non-exit() path was getting reported with the exit() path (which users don't care about). by Ted Kremenek · 15 years ago
  5. e302792 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 15 years ago
  6. 2a2a468 zap dead code. by Chris Lattner · 15 years ago
  7. edb77fe Constify all references to Stmt* and CFGBlock* in libChecker. by Zhongxing Xu · 15 years ago
  8. 568bc84 Remove Decl::getCompoundBody(). by Argyrios Kyrtzidis · 15 years ago
  9. bf81ed1 ExplodedGraph never uses ASTContext, remove it. by Zhongxing Xu · 15 years ago
  10. b11416d Add raw_ostream operators to NamedDecl for convenience. Switch over all users of getNameAsString on a stream. by Benjamin Kramer · 16 years ago
  11. 0f290ec Fix PR 6725. It looks like the copy constructor gets elided during inlining. by Zhongxing Xu · 16 years ago
  12. c048322 Checker: random include cleanup. by Benjamin Kramer · 16 years ago
  13. 7fffbcc merge line. by Zhongxing Xu · 16 years ago
  14. bf1dbf3 Delete the new visitor if an old one already exists. by Ted Kremenek · 16 years ago
  15. 3460b53 Reapply r99024 (but with the memory issue now fixed). by Ted Kremenek · 16 years ago
  16. 92713e7 Check if a BugReporterVisitor has already been added to a BugReporterContext. by Ted Kremenek · 16 years ago
  17. 4e3e099 Revert r99024, "Augment path diagnostics to include displaying when a message by Daniel Dunbar · 16 years ago
  18. 8a8e3e6 Augment path diagnostics to include displaying when a message expression by Ted Kremenek · 16 years ago
  19. 57f0989 Revert 95541. by Ted Kremenek · 16 years ago
  20. 500f49f Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 16 years ago
  21. fe0fc40 Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter' by Ted Kremenek · 16 years ago
  22. d6b8708 Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (99%) from clang/lib/Analysis/BugReporter.cpp]
  23. d74cc39 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 · 16 years ago
  24. 959990b Convert a few more uses of std::string& to llvm::StringRef. by Ted Kremenek · 16 years ago
  25. ed2246a Teach 'ExecutionContinues' (part of BugReporter's diagnostic generation) about BlockDecls. by Ted Kremenek · 16 years ago
  26. 6341553 Port BugReporter and BugType to StringRef. by Benjamin Kramer · 16 years ago
  27. 65c6566 lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  28. c3661de 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 · 16 years ago
  29. 0ccd06c Re-introduce diagnostic caching in BugReporter that was originally added in by Ted Kremenek · 16 years ago
  30. e3d209f Revert most of r82198, which was causing a large number of crashes by Ted Kremenek · 16 years ago
  31. 82f7f9c Introduce caching of diagnostics in BugReporter. This provides extra by Ted Kremenek · 16 years ago
  32. 3413f27 Fix typo in comment. by Ted Kremenek · 16 years ago
  33. 4112969 Fix: <rdar://problem/5905851> do not report a leak when post-dominated by a call by Ted Kremenek · 16 years ago
  34. 37a1185 Implement FIXME: free up BugReportEquivClass objects when deleting BugTypes. by Ted Kremenek · 16 years ago
  35. 7020eae Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 16 years ago
  36. 7e3431b Make AnalysisManager stateless. Now other analyzer components only depends on by Zhongxing Xu · 16 years ago
  37. 11289f4 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
  38. d7674a4 Do not call FlushReports() in GRBugReporter's dtor. We already call it in by Zhongxing Xu · 16 years ago
  39. 342950e Remove CodeDecl and CFG from GRExprEngine and GRStateManager. by Zhongxing Xu · 16 years ago
  40. 94ec649 Remove Decl and CFG from ExplodedGraph. This leads to a series small changes. by Zhongxing Xu · 16 years ago
  41. 068928b Rename: ProgramPoint::getContext() => ProgramPoint::getLocationContext(). by Zhongxing Xu · 16 years ago
  42. 080fa05 Get the Decl from the current ExplodedNode. Eventually the diagnostic client by Zhongxing Xu · 16 years ago
  43. 7864b9ea Remove unused parameter BugReporter due to previous patch. by Zhongxing Xu · 16 years ago
  44. 4c76dbc Now we can get the CFG from the ProgramPoint. No need to pass in the by Zhongxing Xu · 16 years ago
  45. 9b2c79d Enhance static analyzer diagnostics by introducing a new 'EnhancedBugReporter' by Ted Kremenek · 16 years ago
  46. c90a0c2 Core analysis engine template cleanup step 2: by Zhongxing Xu · 16 years ago
  47. 20227f7 As GRState seems general enough, it is time to merge some template classes by Zhongxing Xu · 16 years ago
  48. c2394f0 add a fixme by Zhongxing Xu · 16 years ago
  49. 4c9f161 Fix helper function GetNextStmt() to look for the first statement that has a by Ted Kremenek · 16 years ago
  50. bfd28fd Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. by Ted Kremenek · 16 years ago
  51. 6796fbd Move the source-level CFG from libAST to libAnalysis. by Ted Kremenek · 16 years ago
  52. ddcd132 Remove the ASTContext parameter from the getBody() methods of Decl and subclasses. by Argyrios Kyrtzidis · 16 years ago
  53. 1642bda Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 16 years ago
  54. ae01dc7 API cleanup: move more methods from GRStateManager to GRState. by Ted Kremenek · 16 years ago
  55. 095f1a9 Move clients over from using GRStateManager::BindXXX and friends to by Ted Kremenek · 16 years ago
  56. a28565a 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 · 16 years ago
  57. 7377705 BugReporter (extensive diagnostics): Do not include the range of target '}' by Ted Kremenek · 16 years ago
  58. cfe7d02 BugReporter (extensive diagnostics): Add control-flow piece to '}' in by Ted Kremenek · 16 years ago
  59. 5fb7847 BugReport::getEndPath() - Only add a Stmt's range to the constructed PathDiagnosticEventPiece if the BugReport contained no explicit ranges. by Ted Kremenek · 16 years ago
  60. 2ee73b8 EdgeBuilder: DeclStmts and BinaryOperators are not the enclosing location context when they are used as initialization code for loops. by Ted Kremenek · 16 years ago
  61. c0b879b EdgeBuilder::cleanUpLocation() should used the PathDiagnosticLocation constructor for a single point, not a range. by Ted Kremenek · 16 years ago
  62. c14b594 BugReporter (extensive diagnostics): Add EdgeBuilder::cleanUpLocation for canonicalization locations and use this in both popLocation and rawAddEdge. by Ted Kremenek · 16 years ago
  63. 3978f79 analyzer: by Ted Kremenek · 16 years ago
  64. 9abe474 Add preliminary support for enhancing null-pointer dereference diagnostics. by Ted Kremenek · 17 years ago
  65. bb8d546 Refactor BugReporter interface to have a new 'BugReporterContext' and by Ted Kremenek · 17 years ago
  66. a8106ef BugReporter (extensive diagnostics): improve location context generation for the by Ted Kremenek · 17 years ago
  67. 9801705 BugReporter (extensive diagnostics): Fix getEnclosingStmtLocation to reason by Ted Kremenek · 17 years ago
  68. e396f72 BugReporter (extensive diagnostics): don't mark location contexts that are by Ted Kremenek · 17 years ago
  69. afbff15 BugReporter (extensive diagnostics): introduce the notion of a "dead" by Ted Kremenek · 17 years ago
  70. 29d0880 Remove #if 0'ed code. by Ted Kremenek · 17 years ago
  71. 9f08b84 Fix null dereference. by Ted Kremenek · 17 years ago
  72. 47187c6 BugReporter/PathDiagnostics: by Ted Kremenek · 17 years ago
  73. 9bea0dc Extensive diagnostics: Do not add a location context for do...while statements. by Ted Kremenek · 17 years ago
  74. 61114bc BugReporter (extensive diagnostics): Clean up do...while control-flow edges, and by Ted Kremenek · 17 years ago
  75. a7b98a7 Implement function-try-blocks. However, there's a very subtle bug that I can't track down. by Sebastian Redl · 17 years ago
  76. 5cdb8cc Minor code cleanup. by Eli Friedman · 17 years ago
  77. f0b64d7 split ObjC and C++ Statements out into their own headers. by Chris Lattner · 17 years ago
  78. 3ebc505 BugReporter (extensive diagnostics): Recursively adjust the referred expression by Ted Kremenek · 17 years ago
  79. e60809c BugReporter (extensive diagnostics): Ignore parentheses when added control-flow by Ted Kremenek · 17 years ago
  80. 48b7875 BugReporter (extensive diagnostics): Use correct location for location contexts. by Ted Kremenek · 17 years ago
  81. fb05406 BugReporter (extensive diagnostics): always add an edge if there is no location by Ted Kremenek · 17 years ago
  82. 6c867a1 BugReporter (extensive diagnostics): by Ted Kremenek · 17 years ago
  83. 0752a5d BugReporter (extensive diagnostic algorithm): The initial control-flow edge now by Ted Kremenek · 17 years ago
  84. e3dcb2d FunctionDecl::getBody() is getting an ASTContext argument for use in by Douglas Gregor · 17 years ago
  85. 3cb8a84 Removed some commented code. by Ted Kremenek · 17 years ago
  86. 86d52c4 PathDiagnostic generation: experiment with avoiding generation of control-flow by Ted Kremenek · 17 years ago
  87. d7c1aaa Don't overguard to adding a control-flow piece when "alwaysAdd" is true. by Ted Kremenek · 17 years ago
  88. c4c9ed0 Rewrite control-flow diagnostic generation "extensive" algorithm using "edge by Ted Kremenek · 17 years ago
  89. a2a735e Add another null pointer check. Simplify condition. by Ted Kremenek · 17 years ago
  90. 5d6d7d8 Add null pointer check. by Ted Kremenek · 17 years ago
  91. afb066d BugReporter, extensive path-diagnostics: add an extra control-flow edge to the by Ted Kremenek · 17 years ago
  92. 95af35e Fix comment. by Ted Kremenek · 17 years ago
  93. ed47d79 BugReporter: for extensive path diagnostics: by Ted Kremenek · 17 years ago
  94. 9ce1324 BugReporter: for extensive PathDiagnostic generation, add control-flow from the by Ted Kremenek · 17 years ago
  95. 45a75f7 BugReporter: For the "extensive" PathDiagnostic generation algorithm, elide most by Ted Kremenek · 17 years ago
  96. 0bb0909 - Changed PathDiagnosticPiece::getLocation() to return a PathDiagnosticLocation by Ted Kremenek · 17 years ago
  97. 7062c50 More code reshuffling. No functionality change. by Ted Kremenek · 17 years ago
  98. 4e81c3c Allow two codepaths for PathDiagnostic generation. This patch mainly consists of by Ted Kremenek · 17 years ago
  99. ac50898 Simplify more code by using SVal::getAsSymbol(). by Ted Kremenek · 17 years ago
  100. a53eb7f Convert use of loc::SymbolVal and nonloc::SymbolVal to V.getAsSymbol(). This by Ted Kremenek · 17 years ago