- 9d1ce8f PathDiagnostics: by Ted Kremenek · 17 years ago
- b4947e4 BugReporter: by Ted Kremenek · 17 years ago
- b6b7ce4 Create PathDiagnosticPiece subclasses PathDiagnosticEventPiece and by Ted Kremenek · 17 years ago
- 2f340d6c BasicStore: by Ted Kremenek · 17 years ago
- c9747dd Rework use of loc::SymbolVal in the retain/release checker to use the new method by Ted Kremenek · 17 years ago
- c7b6631 BugReporter: Construct path-related PathDiagnosticPieces with kind "ControlFlow". by Ted Kremenek · 17 years ago
- cbcc5e8 When retrieving the location of a Node, for MemberExprs use the location of the by Ted Kremenek · 17 years ago
- 8b09ad1 Use Loc::IsLocType() instead of isPointerType() and isReferenceType(). by Ted Kremenek · 17 years ago
- e2617d9 Drop uses of isPointerLikeType. - No functionality change. by Daniel Dunbar · 17 years ago
- 2c2ec42 Tidy up 'ExecutionContinues' to distinguish between jumping to the end of a 'method' or 'funciton'. by Ted Kremenek · 17 years ago
- 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
- 48d1645 Hooked up the necessary machinery to allow the retain/release checker reference by Ted Kremenek · 17 years ago
- a3d9025 BugReporter: Use llvm::raw_string_stream instead of std::ostringstream. by Ted Kremenek · 17 years ago
- 252b90e Use BugReport::getDescription() for the compiler warning text. by Ted Kremenek · 17 years ago
- fc5d067 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 17 years ago
- a3f462e PathDiagnostics: by Ted Kremenek · 17 years ago
- 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
- 864ead2 Output summary diagnostic for each bug report. by Ted Kremenek · 17 years ago
- 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
- 8a42586 more SourceLocation lexicon change: instead of referring to the by Chris Lattner · 17 years ago
- 7d002be Fix <rdar://problem/6454568>: BugReporter should correctly handle switch statements with no default case. by Ted Kremenek · 17 years ago
- d8242f1 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 17 years ago
- f3d3fae Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of by Chris Lattner · 17 years ago
- 8488c82 This reworks some of the Diagnostic interfaces a bit to change how diagnostics by Chris Lattner · 17 years ago
- 3de5814 eliminate dependence of strange "Diagnostic::Report" method, by Chris Lattner · 17 years ago
- 27f1742 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 17 years ago
- fae8cb0 Use DeclStmt::decl_iterator instead of using Decl::getDecl(). Soon DeclStmts will wrap group of Decls. by Ted Kremenek · 17 years ago
- 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
- de195e2 Add "category" to BugTypes, allowing bugs to be grouped. by Ted Kremenek · 17 years ago
- 0ecb53a ProgramPoint now takes the space of two pointers instead of one. This change was by Ted Kremenek · 17 years ago
- ef2b3a7 Add missing spaces in path diagnostics. by Ted Kremenek · 17 years ago
- a2e25e5 adjust to changes in various APIs from LLVM. We can't print by Chris Lattner · 17 years ago
- 5d1cfa1 various updates to match r54873 on mainline. by Chris Lattner · 17 years ago
- 5ab5a1b Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 17 years ago
- c18255d Refactor Dead Stores error reporting to use the simplified BugReporter::EmitBasicReport interface. by Ted Kremenek · 17 years ago
- 0255531 Added method "EmitBasicReport" to BugReporter to simplify the emission of simple bug diagnostics. by Ted Kremenek · 17 years ago
- a7b8ffb Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 17 years ago
- 1d3c797 Have BugReporter::getCFG and BugReporter::getLiveVariables returns pointers instead of references, because they can both fail by Ted Kremenek · 17 years ago
- 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
- 34a6917 Modified the dead stores checker to... by Ted Kremenek · 17 years ago
- 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
- 3802fed Fix non-termination bug reported by Thomas Clement! by Ted Kremenek · 17 years ago
- b91ef1b Prototyped support in the BugReporter to emit diagnostics of the form "p now aliases q". by Ted Kremenek · 18 years ago
- 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
- 8bcc1bd More refactorings in GeneratePathDiagnostic: use ExecutionContinues to display by Ted Kremenek · 18 years ago
- a5e2df0 Rename member variable. by Ted Kremenek · 18 years ago
- 1097b4c Added line number diagnostics to indicate the allocation site of the leaked object. by Ted Kremenek · 18 years ago
- fabfb46 Do not highlight bogus ranges for leaks. by Ted Kremenek · 18 years ago
- b0f87c4 added preliminary diagnostics in scan-build results to denote whether by Ted Kremenek · 18 years ago
- dd38e0b Fix bug in BugReporter where we didn't handle emitting diagnostics for by Ted Kremenek · 18 years ago
- 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
- ecbdf75 Do a better job at computing dead symbols. by Ted Kremenek · 18 years ago
- 21bf600 For case statements involving enums, BugReporter now generates PathDiagnostics by Ted Kremenek · 18 years ago
- 05e6267 Fix minor regression in bug report generation. by Ted Kremenek · 18 years ago
- 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
- 0224ac5 For default branches in switch statements with no default label, print out by Ted Kremenek · 18 years ago
- 9718c9e PathDiagnosticClients now retain ownership of passed PathDiagnostics, requiring by Ted Kremenek · 18 years ago
- 423edc2 Another bug fix in emitting warnings without a path: construct a unit PathDiagnostic as we did by Ted Kremenek · 18 years ago
- bf27dc9 Reenable using the PathDiagnosticClient for BugReports without paths. by Ted Kremenek · 18 years ago
- 31484b2 Generalize caching mechanism for bugs reports. Now individual BugTypes by Ted Kremenek · 18 years ago
- 396f436 BugReport::VisitNode now takes BugReporter& instead of ASTContext&. by Ted Kremenek · 18 years ago
- 89e6a9b Added null check. by Ted Kremenek · 18 years ago
- cffe635 Simplified internal logic of BugReporter, consolidating EmitWarning and by Ted Kremenek · 18 years ago
- 69049c2 Modified BugReport::getEndPath() to handle the case where end path is at by Ted Kremenek · 18 years ago
- bae225d5 Have BugReporter::EmitWarning use the PathDiagnosticClient if it is available. by Ted Kremenek · 18 years ago
- 7e15130 Hooked up the dead-store checker to the BugReporter interface. Now dead-store by Ted Kremenek · 18 years ago
- 6e38ffa Added "RangedBugReport". by Ted Kremenek · 18 years ago
- 42d9db7 When not emitting path diagnostics in BugReporter::EmitWarning(), use the by Ted Kremenek · 18 years ago
- 7acc3a3 Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter. by Ted Kremenek · 18 years ago
- 3cef454 Added new "BugReporterHelper" class which is used by BugReporter to emit by Ted Kremenek · 18 years ago
- e73006e Improve BugReport diagnostics for loops and ? operator. by Ted Kremenek · 18 years ago
- 89575b7 Use "getRanges" in default implementation of "getEndPath" to determine by Ted Kremenek · 18 years ago
- cb2dc8e Hooked up GRSimpleAPICheck and the simple Objective-C Foundation checks to use by Ted Kremenek · 18 years ago
- ca40664 Handle the case when getEndPath() returns NULL. by Ted Kremenek · 18 years ago
- e4c029e Add back bug name to PathDiagnostic. by Ted Kremenek · 18 years ago
- 4e9cc3f When creating PathDiagnostics, created a trimmed graph first and report the by Ted Kremenek · 18 years ago
- 505a36a Created new path-sensitive bug-reporting scheme based on the classes by Ted Kremenek · 18 years ago