1. 9d1ce8f PathDiagnostics: by Ted Kremenek · 17 years ago
  2. b4947e4 BugReporter: by Ted Kremenek · 17 years ago
  3. b6b7ce4 Create PathDiagnosticPiece subclasses PathDiagnosticEventPiece and by Ted Kremenek · 17 years ago
  4. 2f340d6c BasicStore: by Ted Kremenek · 17 years ago
  5. c9747dd Rework use of loc::SymbolVal in the retain/release checker to use the new method by Ted Kremenek · 17 years ago
  6. c7b6631 BugReporter: Construct path-related PathDiagnosticPieces with kind "ControlFlow". by Ted Kremenek · 17 years ago
  7. cbcc5e8 When retrieving the location of a Node, for MemberExprs use the location of the by Ted Kremenek · 17 years ago
  8. 8b09ad1 Use Loc::IsLocType() instead of isPointerType() and isReferenceType(). by Ted Kremenek · 17 years ago
  9. e2617d9 Drop uses of isPointerLikeType. - No functionality change. by Daniel Dunbar · 17 years ago
  10. 2c2ec42 Tidy up 'ExecutionContinues' to distinguish between jumping to the end of a 'method' or 'funciton'. by Ted Kremenek · 17 years ago
  11. 62b3879 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 · 17 years ago
  12. 48d1645 Hooked up the necessary machinery to allow the retain/release checker reference by Ted Kremenek · 17 years ago
  13. a3d9025 BugReporter: Use llvm::raw_string_stream instead of std::ostringstream. by Ted Kremenek · 17 years ago
  14. 252b90e Use BugReport::getDescription() for the compiler warning text. by Ted Kremenek · 17 years ago
  15. fc5d067 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 17 years ago
  16. a3f462e PathDiagnostics: by Ted Kremenek · 17 years ago
  17. f08ac27 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 · 17 years ago
  18. 864ead2 Output summary diagnostic for each bug report. by Ted Kremenek · 17 years ago
  19. ea06ec1 Added virtual method DiagnosticClient::IncludeInDiagnosticCounts(). This is used by Diagnostics to determine if a diagnostic sent to a given DiagnosticClient should be included in the count of diagnostics. The default implementation of this method returns 'true'. by Ted Kremenek · 17 years ago
  20. 8a42586 more SourceLocation lexicon change: instead of referring to the by Chris Lattner · 17 years ago
  21. 7d002be Fix <rdar://problem/6454568>: BugReporter should correctly handle switch statements with no default case. by Ted Kremenek · 17 years ago
  22. d8242f1 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 17 years ago
  23. f3d3fae Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of by Chris Lattner · 17 years ago
  24. 8488c82 This reworks some of the Diagnostic interfaces a bit to change how diagnostics by Chris Lattner · 17 years ago
  25. 3de5814 eliminate dependence of strange "Diagnostic::Report" method, by Chris Lattner · 17 years ago
  26. 27f1742 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 17 years ago
  27. fae8cb0 Use DeclStmt::decl_iterator instead of using Decl::getDecl(). Soon DeclStmts will wrap group of Decls. by Ted Kremenek · 17 years ago
  28. 5ca90a2 This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes. by Ted Kremenek · 17 years ago
  29. de195e2 Add "category" to BugTypes, allowing bugs to be grouped. by Ted Kremenek · 17 years ago
  30. 0ecb53a ProgramPoint now takes the space of two pointers instead of one. This change was by Ted Kremenek · 17 years ago
  31. ef2b3a7 Add missing spaces in path diagnostics. by Ted Kremenek · 17 years ago
  32. a2e25e5 adjust to changes in various APIs from LLVM. We can't print by Chris Lattner · 17 years ago
  33. 5d1cfa1 various updates to match r54873 on mainline. by Chris Lattner · 17 years ago
  34. 5ab5a1b Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 17 years ago
  35. c18255d Refactor Dead Stores error reporting to use the simplified BugReporter::EmitBasicReport interface. by Ted Kremenek · 17 years ago
  36. 0255531 Added method "EmitBasicReport" to BugReporter to simplify the emission of simple bug diagnostics. by Ted Kremenek · 17 years ago
  37. a7b8ffb Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 17 years ago
  38. 1d3c797 Have BugReporter::getCFG and BugReporter::getLiveVariables returns pointers instead of references, because they can both fail by Ted Kremenek · 17 years ago
  39. b1d0118 Refactored some of the BugReporter interface so that data such as the ASTContext&, PathDiagnosticClient*, can be provided by an external source. by Ted Kremenek · 17 years ago
  40. 34a6917 Modified the dead stores checker to... by Ted Kremenek · 17 years ago
  41. 9a935fb Added a new ProgramPoint: PostPurgeDeadSymbols. This new program point distinguishes between the cases when we just evaluated the transfer function of a Stmt* (PostStmt) or performed a load (PostLoad). This solves a caching bug observed in a recent bug report. by Ted Kremenek · 17 years ago
  42. 3802fed Fix non-termination bug reported by Thomas Clement! by Ted Kremenek · 17 years ago
  43. b91ef1b Prototyped support in the BugReporter to emit diagnostics of the form "p now aliases q". by Ted Kremenek · 18 years ago
  44. 590abd3 Partitioned BugTypeCachedLocation::isCached() into two methods: one that accepts and ExplodedNode, and the other that accepts a ProgramPoint. The default behavior is to cache bug reports by the by Ted Kremenek · 18 years ago
  45. 8bcc1bd More refactorings in GeneratePathDiagnostic: use ExecutionContinues to display by Ted Kremenek · 18 years ago
  46. a5e2df0 Rename member variable. by Ted Kremenek · 18 years ago
  47. 1097b4c Added line number diagnostics to indicate the allocation site of the leaked object. by Ted Kremenek · 18 years ago
  48. fabfb46 Do not highlight bogus ranges for leaks. by Ted Kremenek · 18 years ago
  49. b0f87c4 added preliminary diagnostics in scan-build results to denote whether by Ted Kremenek · 18 years ago
  50. dd38e0b Fix bug in BugReporter where we didn't handle emitting diagnostics for by Ted Kremenek · 18 years ago
  51. 4dd412e Don't emit empty strings for path diagnostics when taking the default branch of a switch statement that has no label. by Ted Kremenek · 18 years ago
  52. ecbdf75 Do a better job at computing dead symbols. by Ted Kremenek · 18 years ago
  53. 21bf600 For case statements involving enums, BugReporter now generates PathDiagnostics by Ted Kremenek · 18 years ago
  54. 05e6267 Fix minor regression in bug report generation. by Ted Kremenek · 18 years ago
  55. f26bc55 When building PathDiagnostics for bug reports, generate a trimmed ExplodedGraph with a single path that BugReport objects can safely walk and introspect. by Ted Kremenek · 18 years ago
  56. 0224ac5 For default branches in switch statements with no default label, print out by Ted Kremenek · 18 years ago
  57. 9718c9e PathDiagnosticClients now retain ownership of passed PathDiagnostics, requiring by Ted Kremenek · 18 years ago
  58. 423edc2 Another bug fix in emitting warnings without a path: construct a unit PathDiagnostic as we did by Ted Kremenek · 18 years ago
  59. bf27dc9 Reenable using the PathDiagnosticClient for BugReports without paths. by Ted Kremenek · 18 years ago
  60. 31484b2 Generalize caching mechanism for bugs reports. Now individual BugTypes by Ted Kremenek · 18 years ago
  61. 396f436 BugReport::VisitNode now takes BugReporter& instead of ASTContext&. by Ted Kremenek · 18 years ago
  62. 89e6a9b Added null check. by Ted Kremenek · 18 years ago
  63. cffe635 Simplified internal logic of BugReporter, consolidating EmitWarning and by Ted Kremenek · 18 years ago
  64. 69049c2 Modified BugReport::getEndPath() to handle the case where end path is at by Ted Kremenek · 18 years ago
  65. bae225d5 Have BugReporter::EmitWarning use the PathDiagnosticClient if it is available. by Ted Kremenek · 18 years ago
  66. 7e15130 Hooked up the dead-store checker to the BugReporter interface. Now dead-store by Ted Kremenek · 18 years ago
  67. 6e38ffa Added "RangedBugReport". by Ted Kremenek · 18 years ago
  68. 42d9db7 When not emitting path diagnostics in BugReporter::EmitWarning(), use the by Ted Kremenek · 18 years ago
  69. 7acc3a3 Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter. by Ted Kremenek · 18 years ago
  70. 3cef454 Added new "BugReporterHelper" class which is used by BugReporter to emit by Ted Kremenek · 18 years ago
  71. e73006e Improve BugReport diagnostics for loops and ? operator. by Ted Kremenek · 18 years ago
  72. 89575b7 Use "getRanges" in default implementation of "getEndPath" to determine by Ted Kremenek · 18 years ago
  73. cb2dc8e Hooked up GRSimpleAPICheck and the simple Objective-C Foundation checks to use by Ted Kremenek · 18 years ago
  74. ca40664 Handle the case when getEndPath() returns NULL. by Ted Kremenek · 18 years ago
  75. e4c029e Add back bug name to PathDiagnostic. by Ted Kremenek · 18 years ago
  76. 4e9cc3f When creating PathDiagnostics, created a trimmed graph first and report the by Ted Kremenek · 18 years ago
  77. 505a36a Created new path-sensitive bug-reporting scheme based on the classes by Ted Kremenek · 18 years ago