Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / dd986cc9989f665370cef0917ba8ba3b4871e3e6 / lib / Analysis / BugReporter.cpp
  1. dd986cc Add preliminary support for enhancing null-pointer dereference diagnostics. by Ted Kremenek · 15 years ago
  2. 8966bc1 Refactor BugReporter interface to have a new 'BugReporterContext' and by Ted Kremenek · 15 years ago
  3. e1baed3 BugReporter (extensive diagnostics): improve location context generation for the by Ted Kremenek · 15 years ago
  4. c42e07e BugReporter (extensive diagnostics): Fix getEnclosingStmtLocation to reason by Ted Kremenek · 15 years ago
  5. 4c6f8d3 BugReporter (extensive diagnostics): don't mark location contexts that are by Ted Kremenek · 15 years ago
  6. 8f9b1b3 BugReporter (extensive diagnostics): introduce the notion of a "dead" by Ted Kremenek · 15 years ago
  7. d1e1c40 Remove #if 0'ed code. by Ted Kremenek · 15 years ago
  8. da0e842 Fix null dereference. by Ted Kremenek · 15 years ago
  9. d49967f BugReporter/PathDiagnostics: by Ted Kremenek · 15 years ago
  10. a902d55 Extensive diagnostics: Do not add a location context for do...while statements. by Ted Kremenek · 15 years ago
  11. 8bd4d03 BugReporter (extensive diagnostics): Clean up do...while control-flow edges, and by Ted Kremenek · 15 years ago
  12. d3a413d Implement function-try-blocks. However, there's a very subtle bug that I can't track down. by Sebastian Redl · 15 years ago
  13. 9ec64d6 Minor code cleanup. by Eli Friedman · 15 years ago
  14. 16f0049 split ObjC and C++ Statements out into their own headers. by Chris Lattner · 15 years ago
  15. 6f13235 BugReporter (extensive diagnostics): Recursively adjust the referred expression by Ted Kremenek · 15 years ago
  16. c2924d0 BugReporter (extensive diagnostics): Ignore parentheses when added control-flow by Ted Kremenek · 15 years ago
  17. 4f5be3b BugReporter (extensive diagnostics): Use correct location for location contexts. by Ted Kremenek · 15 years ago
  18. 5c7168c BugReporter (extensive diagnostics): always add an edge if there is no location by Ted Kremenek · 15 years ago
  19. 404dd7a BugReporter (extensive diagnostics): by Ted Kremenek · 15 years ago
  20. a301a67 BugReporter (extensive diagnostic algorithm): The initial control-flow edge now by Ted Kremenek · 15 years ago
  21. 7297134 FunctionDecl::getBody() is getting an ASTContext argument for use in by Douglas Gregor · 15 years ago
  22. 581329c Removed some commented code. by Ted Kremenek · 15 years ago
  23. bfd7c9e PathDiagnostic generation: experiment with avoiding generation of control-flow by Ted Kremenek · 15 years ago
  24. e97386f Don't overguard to adding a control-flow piece when "alwaysAdd" is true. by Ted Kremenek · 15 years ago
  25. 14856d7 Rewrite control-flow diagnostic generation "extensive" algorithm using "edge by Ted Kremenek · 15 years ago
  26. 0ddaff3 Add another null pointer check. Simplify condition. by Ted Kremenek · 15 years ago
  27. 28de78b Add null pointer check. by Ted Kremenek · 15 years ago
  28. 9e2d98d BugReporter, extensive path-diagnostics: add an extra control-flow edge to the by Ted Kremenek · 15 years ago
  29. 0dc65be Fix comment. by Ted Kremenek · 15 years ago
  30. a42c4c9 BugReporter: for extensive path diagnostics: by Ted Kremenek · 15 years ago
  31. 51a735c BugReporter: for extensive PathDiagnostic generation, add control-flow from the by Ted Kremenek · 15 years ago
  32. c3f83ad BugReporter: For the "extensive" PathDiagnostic generation algorithm, elide most by Ted Kremenek · 15 years ago
  33. 5fb5dfb - Changed PathDiagnosticPiece::getLocation() to return a PathDiagnosticLocation by Ted Kremenek · 15 years ago
  34. 3106198 More code reshuffling. No functionality change. by Ted Kremenek · 15 years ago
  35. 7dc8664 Allow two codepaths for PathDiagnostic generation. This patch mainly consists of by Ted Kremenek · 15 years ago
  36. 93e7145 Simplify more code by using SVal::getAsSymbol(). by Ted Kremenek · 15 years ago
  37. 0297ee0 Convert use of loc::SymbolVal and nonloc::SymbolVal to V.getAsSymbol(). This by Ted Kremenek · 15 years ago
  38. f5ab8e6 Adjust control-flow endpoints for '&&' and '||'. by Ted Kremenek · 15 years ago
  39. 1d9a23a Text PathDiagnosticBuilder::getEnclosingStmt() about '?' by Ted Kremenek · 15 years ago
  40. af3e3d5 Teach PathDiagnosticBuilder::getEnclosingStmtLocation() about while/if/do/for, by Ted Kremenek · 15 years ago
  41. d8c938b BugReporter: For control-flow edges from 'if', 'for', 'do', 'while' to by Ted Kremenek · 15 years ago
  42. 00605e0 BugReporter: PathDiagnosticBuilder::ExecutionContinues now returns a by Ted Kremenek · 15 years ago
  43. babdd7b BugReporter: by Ted Kremenek · 15 years ago
  44. 6f00204 - Add class PathDiagosticLocationPair. by Ted Kremenek · 15 years ago
  45. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 15 years ago
  46. 10aa554 Use the correct data structures! by Ted Kremenek · 15 years ago
  47. 082cb8d PathDiagnostics: by Ted Kremenek · 15 years ago
  48. 0e5c8d4 BugReporter: by Ted Kremenek · 15 years ago
  49. 1fbfd5b Create PathDiagnosticPiece subclasses PathDiagnosticEventPiece and by Ted Kremenek · 15 years ago
  50. be91224 BasicStore: by Ted Kremenek · 15 years ago
  51. 94c9698 Rework use of loc::SymbolVal in the retain/release checker to use the new method by Ted Kremenek · 15 years ago
  52. 025fedc BugReporter: Construct path-related PathDiagnosticPieces with kind "ControlFlow". by Ted Kremenek · 15 years ago
  53. 9b5e505 When retrieving the location of a Node, for MemberExprs use the location of the by Ted Kremenek · 15 years ago
  54. 3daea0a Use Loc::IsLocType() instead of isPointerType() and isReferenceType(). by Ted Kremenek · 15 years ago
  55. 24a9f6e Drop uses of isPointerLikeType. - No functionality change. by Daniel Dunbar · 15 years ago
  56. b479dad Tidy up 'ExecutionContinues' to distinguish between jumping to the end of a 'method' or 'funciton'. by Ted Kremenek · 15 years ago
  57. 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 · 15 years ago
  58. fe9e543 Hooked up the necessary machinery to allow the retain/release checker reference by Ted Kremenek · 16 years ago
  59. 297308e BugReporter: Use llvm::raw_string_stream instead of std::ostringstream. by Ted Kremenek · 16 years ago
  60. d90e708 Use BugReport::getDescription() for the compiler warning text. by Ted Kremenek · 16 years ago
  61. cf118d4 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 16 years ago
  62. a26ddab PathDiagnostics: by Ted Kremenek · 16 years ago
  63. 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
  64. 36a32eb Output summary diagnostic for each bug report. by Ted Kremenek · 16 years ago
  65. 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
  66. f7cf85b more SourceLocation lexicon change: instead of referring to the by Chris Lattner · 16 years ago
  67. 3ddc4d5 Fix <rdar://problem/6454568>: BugReporter should correctly handle switch statements with no default case. by Ted Kremenek · 16 years ago
  68. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
  69. d9d22dd Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of by Chris Lattner · 16 years ago
  70. 0a14eee This reworks some of the Diagnostic interfaces a bit to change how diagnostics by Chris Lattner · 16 years ago
  71. 470e5fc eliminate dependence of strange "Diagnostic::Report" method, by Chris Lattner · 16 years ago
  72. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
  73. f21a4b4 Use DeclStmt::decl_iterator instead of using Decl::getDecl(). Soon DeclStmts will wrap group of Decls. by Ted Kremenek · 16 years ago
  74. 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
  75. 8c036c7 Add "category" to BugTypes, allowing bugs to be grouped. by Ted Kremenek · 16 years ago
  76. d452758 ProgramPoint now takes the space of two pointers instead of one. This change was by Ted Kremenek · 16 years ago
  77. c3517eb Add missing spaces in path diagnostics. by Ted Kremenek · 16 years ago
  78. 405674c adjust to changes in various APIs from LLVM. We can't print by Chris Lattner · 16 years ago
  79. 9aa77f1 various updates to match r54873 on mainline. by Chris Lattner · 16 years ago
  80. 4adc81e Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 16 years ago
  81. 8f26986 Refactor Dead Stores error reporting to use the simplified BugReporter::EmitBasicReport interface. by Ted Kremenek · 16 years ago
  82. 5720207 Added method "EmitBasicReport" to BugReporter to simplify the emission of simple bug diagnostics. by Ted Kremenek · 16 years ago
  83. 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
  84. 7032f46 Have BugReporter::getCFG and BugReporter::getLiveVariables returns pointers instead of references, because they can both fail by Ted Kremenek · 16 years ago
  85. 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
  86. 1a654b6 Modified the dead stores checker to... by Ted Kremenek · 16 years ago
  87. 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
  88. c1da441 Fix non-termination bug reported by Thomas Clement! by Ted Kremenek · 16 years ago
  89. 1aa44c7 Prototyped support in the BugReporter to emit diagnostics of the form "p now aliases q". by Ted Kremenek · 16 years ago
  90. 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
  91. 143ca22 More refactorings in GeneratePathDiagnostic: use ExecutionContinues to display by Ted Kremenek · 16 years ago
  92. 200ed92 Rename member variable. by Ted Kremenek · 16 years ago
  93. c9fa2f7 Added line number diagnostics to indicate the allocation site of the leaked object. by Ted Kremenek · 16 years ago
  94. bb77e9b Do not highlight bogus ranges for leaks. by Ted Kremenek · 16 years ago
  95. 072192b added preliminary diagnostics in scan-build results to denote whether by Ted Kremenek · 16 years ago
  96. 2673c9f Fix bug in BugReporter where we didn't handle emitting diagnostics for by Ted Kremenek · 16 years ago
  97. 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
  98. 910e999 Do a better job at computing dead symbols. by Ted Kremenek · 16 years ago
  99. 5a42995 For case statements involving enums, BugReporter now generates PathDiagnostics by Ted Kremenek · 16 years ago
  100. 6aaca9c Fix minor regression in bug report generation. by Ted Kremenek · 16 years ago