aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/BugReporter.cpp
AgeCommit message (Expand)Author
2009-04-07Removed some commented code.Ted Kremenek
2009-04-07PathDiagnostic generation: experiment with avoiding generation of control-flowTed Kremenek
2009-04-07Don't overguard to adding a control-flow piece when "alwaysAdd" is true.Ted Kremenek
2009-04-06Rewrite control-flow diagnostic generation "extensive" algorithm using "edgeTed Kremenek
2009-04-02Add another null pointer check. Simplify condition.Ted Kremenek
2009-04-02Add null pointer check.Ted Kremenek
2009-04-01BugReporter, extensive path-diagnostics: add an extra control-flow edge to theTed Kremenek
2009-04-01Fix comment.Ted Kremenek
2009-04-01BugReporter: for extensive path diagnostics:Ted Kremenek
2009-04-01BugReporter: for extensive PathDiagnostic generation, add control-flow from theTed Kremenek
2009-04-01BugReporter: For the "extensive" PathDiagnostic generation algorithm, elide mostTed Kremenek
2009-04-01- Changed PathDiagnosticPiece::getLocation() to return a PathDiagnosticLocationTed Kremenek
2009-03-31More code reshuffling. No functionality change.Ted Kremenek
2009-03-31Allow two codepaths for PathDiagnostic generation. This patch mainly consists ofTed Kremenek
2009-03-30Simplify more code by using SVal::getAsSymbol().Ted Kremenek
2009-03-30Convert use of loc::SymbolVal and nonloc::SymbolVal to V.getAsSymbol(). ThisTed Kremenek
2009-03-28Adjust control-flow endpoints for '&&' and '||'.Ted Kremenek
2009-03-28Text PathDiagnosticBuilder::getEnclosingStmt() about '?'Ted Kremenek
2009-03-28Teach PathDiagnosticBuilder::getEnclosingStmtLocation() about while/if/do/for,Ted Kremenek
2009-03-27BugReporter: For control-flow edges from 'if', 'for', 'do', 'while' toTed Kremenek
2009-03-27BugReporter: PathDiagnosticBuilder::ExecutionContinues now returns aTed Kremenek
2009-03-27BugReporter:Ted Kremenek
2009-03-26- Add class PathDiagosticLocationPair.Ted Kremenek
2009-03-26analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek
2009-03-12Use the correct data structures!Ted Kremenek
2009-03-12PathDiagnostics:Ted Kremenek
2009-03-10BugReporter:Ted Kremenek
2009-03-06Create PathDiagnosticPiece subclasses PathDiagnosticEventPiece andTed Kremenek
2009-03-05BasicStore:Ted Kremenek
2009-03-03Rework use of loc::SymbolVal in the retain/release checker to use the new methodTed Kremenek
2009-03-02BugReporter: Construct path-related PathDiagnosticPieces with kind "ControlFl...Ted Kremenek
2009-02-27When retrieving the location of a Node, for MemberExprs use the location of theTed Kremenek
2009-02-26Use Loc::IsLocType() instead of isPointerType() and isReferenceType().Ted Kremenek
2009-02-26Drop uses of isPointerLikeType.Daniel Dunbar
2009-02-23Tidy up 'ExecutionContinues' to distinguish between jumping to the end of a '...Ted Kremenek
2009-02-23Tidy up the path diagnostic generation logic in BugReporter and remove a case...Ted Kremenek
2009-02-18Hooked up the necessary machinery to allow the retain/release checker referenceTed Kremenek
2009-02-10BugReporter: Use llvm::raw_string_stream instead of std::ostringstream.Ted Kremenek
2009-02-07Use BugReport::getDescription() for the compiler warning text.Ted Kremenek
2009-02-04Overhaul BugReporter interface and implementation. The new interface cleans upTed Kremenek
2009-01-27PathDiagnostics:Ted Kremenek
2009-01-24More hacking on static analyzer diagnostics. When emitting summary diagnosti...Ted Kremenek
2009-01-23Output summary diagnostic for each bug report.Ted Kremenek
2009-01-23Added virtual method DiagnosticClient::IncludeInDiagnosticCounts(). This is ...Ted Kremenek
2009-01-16more SourceLocation lexicon change: instead of referring to theChris Lattner
2008-12-20Fix <rdar://problem/6454568>: BugReporter should correctly handle switch stat...Ted Kremenek
2008-12-05Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek
2008-11-24Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of Chris Lattner
2008-11-18This reworks some of the Diagnostic interfaces a bit to change how diagnosticsChris Lattner
2008-11-18eliminate dependence of strange "Diagnostic::Report" method, Chris Lattner
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-07-16 21:54:32 +0000