aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/BugReporter.cpp
AgeCommit message (Expand)Author
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
2008-07-02Refactored some of the BugReporter interface so that data such as the ASTCont...Ted Kremenek
2008-06-20Modified the dead stores checker to...Ted Kremenek
2008-06-18Added a new ProgramPoint: PostPurgeDeadSymbols. This new program point disti...Ted Kremenek
2008-06-17Fix non-termination bug reported by Thomas Clement!Ted Kremenek
2008-05-22Prototyped support in the BugReporter to emit diagnostics of the form "p now ...Ted Kremenek
2008-05-16Partitioned BugTypeCachedLocation::isCached() into two methods: one that acce...Ted Kremenek
2008-05-06More refactorings in GeneratePathDiagnostic: use ExecutionContinues to displayTed Kremenek
2008-05-02Rename member variable.Ted Kremenek
2008-05-01Added line number diagnostics to indicate the allocation site of the leaked o...Ted Kremenek
2008-05-01Do not highlight bogus ranges for leaks.Ted Kremenek
2008-04-30added preliminary diagnostics in scan-build results to denote whetherTed Kremenek
2008-04-25Fix bug in BugReporter where we didn't handle emitting diagnostics forTed Kremenek
2008-04-25Don't emit empty strings for path diagnostics when taking the default branch ...Ted Kremenek
2008-04-25Do a better job at computing dead symbols.Ted Kremenek
2008-04-23For case statements involving enums, BugReporter now generates PathDiagnosticsTed Kremenek
2008-04-23Fix minor regression in bug report generation.Ted Kremenek
2008-04-23When building PathDiagnostics for bug reports, generate a trimmed ExplodedGra...Ted Kremenek
2008-04-22For default branches in switch statements with no default label, print outTed Kremenek
2008-04-22PathDiagnosticClients now retain ownership of passed PathDiagnostics, requiringTed Kremenek
2008-04-18Another bug fix in emitting warnings without a path: construct a unit PathDia...Ted Kremenek
2008-04-18Reenable using the PathDiagnosticClient for BugReports without paths.Ted Kremenek
2008-04-18Generalize caching mechanism for bugs reports. Now individual BugTypesTed Kremenek
2008-04-18BugReport::VisitNode now takes BugReporter& instead of ASTContext&.Ted Kremenek
2008-04-18Added null check.Ted Kremenek
2008-04-18Simplified internal logic of BugReporter, consolidating EmitWarning andTed Kremenek
2008-04-17Modified BugReport::getEndPath() to handle the case where end path is atTed Kremenek
2008-04-14Have BugReporter::EmitWarning use the PathDiagnosticClient if it is available.Ted Kremenek
2008-04-14Hooked up the dead-store checker to the BugReporter interface. Now dead-storeTed Kremenek
2008-04-11Added "RangedBugReport".Ted Kremenek
2008-04-10When not emitting path diagnostics in BugReporter::EmitWarning(), use theTed Kremenek
2008-04-09Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter.Ted Kremenek
2008-04-09Added new "BugReporterHelper" class which is used by BugReporter to emitTed Kremenek