1. 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
  2. 36a32eb Output summary diagnostic for each bug report. by Ted Kremenek · 16 years ago
  3. cabe668 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 · 16 years ago
  4. f7cf85b more SourceLocation lexicon change: instead of referring to the by Chris Lattner · 16 years ago
  5. 3ddc4d5 Fix <rdar://problem/6454568>: BugReporter should correctly handle switch statements with no default case. by Ted Kremenek · 16 years ago
  6. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
  7. d9d22dd Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of by Chris Lattner · 16 years ago
  8. 0a14eee This reworks some of the Diagnostic interfaces a bit to change how diagnostics by Chris Lattner · 16 years ago
  9. 470e5fc eliminate dependence of strange "Diagnostic::Report" method, by Chris Lattner · 16 years ago
  10. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
  11. f21a4b4 Use DeclStmt::decl_iterator instead of using Decl::getDecl(). Soon DeclStmts will wrap group of Decls. by Ted Kremenek · 16 years ago
  12. 9e24049 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 · 16 years ago
  13. 8c036c7 Add "category" to BugTypes, allowing bugs to be grouped. by Ted Kremenek · 16 years ago
  14. d452758 ProgramPoint now takes the space of two pointers instead of one. This change was by Ted Kremenek · 16 years ago
  15. c3517eb Add missing spaces in path diagnostics. by Ted Kremenek · 16 years ago
  16. 405674c adjust to changes in various APIs from LLVM. We can't print by Chris Lattner · 16 years ago
  17. 9aa77f1 various updates to match r54873 on mainline. by Chris Lattner · 16 years ago
  18. 4adc81e Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 16 years ago
  19. 8f26986 Refactor Dead Stores error reporting to use the simplified BugReporter::EmitBasicReport interface. by Ted Kremenek · 16 years ago
  20. 5720207 Added method "EmitBasicReport" to BugReporter to simplify the emission of simple bug diagnostics. by Ted Kremenek · 16 years ago
  21. 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
  22. 7032f46 Have BugReporter::getCFG and BugReporter::getLiveVariables returns pointers instead of references, because they can both fail by Ted Kremenek · 16 years ago
  23. c095997 Refactored some of the BugReporter interface so that data such as the ASTContext&, PathDiagnosticClient*, can be provided by an external source. by Ted Kremenek · 16 years ago
  24. 1a654b6 Modified the dead stores checker to... by Ted Kremenek · 16 years ago
  25. 331b0ac 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 · 16 years ago
  26. c1da441 Fix non-termination bug reported by Thomas Clement! by Ted Kremenek · 16 years ago
  27. 1aa44c7 Prototyped support in the BugReporter to emit diagnostics of the form "p now aliases q". by Ted Kremenek · 16 years ago
  28. 76d90c8 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 · 16 years ago
  29. 143ca22 More refactorings in GeneratePathDiagnostic: use ExecutionContinues to display by Ted Kremenek · 16 years ago
  30. 200ed92 Rename member variable. by Ted Kremenek · 16 years ago
  31. c9fa2f7 Added line number diagnostics to indicate the allocation site of the leaked object. by Ted Kremenek · 16 years ago
  32. bb77e9b Do not highlight bogus ranges for leaks. by Ted Kremenek · 16 years ago
  33. 072192b added preliminary diagnostics in scan-build results to denote whether by Ted Kremenek · 16 years ago
  34. 2673c9f Fix bug in BugReporter where we didn't handle emitting diagnostics for by Ted Kremenek · 16 years ago
  35. 5678392 Don't emit empty strings for path diagnostics when taking the default branch of a switch statement that has no label. by Ted Kremenek · 16 years ago
  36. 910e999 Do a better job at computing dead symbols. by Ted Kremenek · 16 years ago
  37. 5a42995 For case statements involving enums, BugReporter now generates PathDiagnostics by Ted Kremenek · 16 years ago
  38. 6aaca9c Fix minor regression in bug report generation. by Ted Kremenek · 16 years ago
  39. a43a1eb 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 · 16 years ago
  40. 8b90455 For default branches in switch statements with no default label, print out by Ted Kremenek · 16 years ago
  41. 5585114 PathDiagnosticClients now retain ownership of passed PathDiagnostics, requiring by Ted Kremenek · 16 years ago
  42. 2f0e89e Another bug fix in emitting warnings without a path: construct a unit PathDiagnostic as we did by Ted Kremenek · 16 years ago
  43. 27fd586 Reenable using the PathDiagnosticClient for BugReports without paths. by Ted Kremenek · 16 years ago
  44. 95cc1ba Generalize caching mechanism for bugs reports. Now individual BugTypes by Ted Kremenek · 16 years ago
  45. 8dd5646 BugReport::VisitNode now takes BugReporter& instead of ASTContext&. by Ted Kremenek · 16 years ago
  46. 329d2cc Added null check. by Ted Kremenek · 16 years ago
  47. 75840e1 Simplified internal logic of BugReporter, consolidating EmitWarning and by Ted Kremenek · 16 years ago
  48. bd7efa8 Modified BugReport::getEndPath() to handle the case where end path is at by Ted Kremenek · 16 years ago
  49. 5fcca68 Have BugReporter::EmitWarning use the PathDiagnosticClient if it is available. by Ted Kremenek · 16 years ago
  50. d2f642b Hooked up the dead-store checker to the BugReporter interface. Now dead-store by Ted Kremenek · 16 years ago
  51. 5e55cda Added "RangedBugReport". by Ted Kremenek · 16 years ago
  52. 4bb6ac2 When not emitting path diagnostics in BugReporter::EmitWarning(), use the by Ted Kremenek · 16 years ago
  53. 50a6d0c Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter. by Ted Kremenek · 16 years ago
  54. 6837faa Added new "BugReporterHelper" class which is used by BugReporter to emit by Ted Kremenek · 16 years ago
  55. 706e3cf Improve BugReport diagnostics for loops and ? operator. by Ted Kremenek · 16 years ago
  56. de7161f Use "getRanges" in default implementation of "getEndPath" to determine by Ted Kremenek · 16 years ago
  57. f1ae705 Hooked up GRSimpleAPICheck and the simple Objective-C Foundation checks to use by Ted Kremenek · 16 years ago
  58. 70d1722 Handle the case when getEndPath() returns NULL. by Ted Kremenek · 16 years ago
  59. 1c19245 Add back bug name to PathDiagnostic. by Ted Kremenek · 16 years ago
  60. 94826a7 When creating PathDiagnostics, created a trimmed graph first and report the by Ted Kremenek · 16 years ago
  61. 61f3e05 Created new path-sensitive bug-reporting scheme based on the classes by Ted Kremenek · 16 years ago