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