aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/BugReporter.cpp
AgeCommit message (Expand)Author
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
2008-10-17This patch did the following renaming. There should be no functional changes.Zhongxing Xu
2008-10-06Use DeclStmt::decl_iterator instead of using Decl::getDecl(). Soon DeclStmts...Ted Kremenek
2008-10-04This is a big patch, but the functionality change is small and the rest of th...Ted Kremenek
2008-09-20Add "category" to BugTypes, allowing bugs to be grouped.Ted Kremenek
2008-09-16ProgramPoint now takes the space of two pointers instead of one. This change wasTed Kremenek
2008-09-12Add missing spaces in path diagnostics.Ted Kremenek
2008-08-23adjust to changes in various APIs from LLVM. We can't printChris Lattner
2008-08-17various updates to match r54873 on mainline.Chris Lattner
2008-08-13Rename ValueState -> GRState.Ted Kremenek
2008-07-14Refactor Dead Stores error reporting to use the simplified BugReporter::EmitB...Ted Kremenek
2008-07-14Added method "EmitBasicReport" to BugReporter to simplify the emission of sim...Ted Kremenek
2008-07-10Refactored most of the "Store" piece of ValueState into a Store type. TheTed Kremenek
2008-07-03Have BugReporter::getCFG and BugReporter::getLiveVariables returns pointers i...Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-02 12:14:57 +0000