aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/BugReporter.h
AgeCommit message (Expand)Author
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
2010-01-15Convert a few more uses of std::string& to llvm::StringRef.Ted Kremenek
2010-01-11Avoid use of deprecated functions (CStrInCStrNoCase and StringsEqualNoCase).Benjamin Kramer
2009-12-23Add assertion to check for valid source ranges.Ted Kremenek
2009-11-29Port BugReporter and BugType to StringRef.Benjamin Kramer
2009-11-14Change *BugReport constructors to take StringRefs.Benjamin Kramer
2009-10-29Move NullDeref and UndefDeref into their own checker. Zhongxing Xu
2009-09-14Fix: <rdar://problem/5905851> do not report a leak when post-dominated by a callTed Kremenek
2009-09-10Make AnalysisManager stateless. Now other analyzer components only depends onZhongxing Xu
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-25Remove CodeDecl and CFG from GRExprEngine and GRStateManager.Zhongxing Xu
2009-08-18Remove unused parameter BugReporter due to previous patch.Zhongxing Xu
2009-08-18Now we can get the CFG from the ProgramPoint. No need to pass in the Zhongxing Xu
2009-08-18Enhance static analyzer diagnostics by introducing a new 'EnhancedBugReporter'Ted Kremenek
2009-08-06Core analysis engine template cleanup step 2: Zhongxing Xu
2009-08-06As GRState seems general enough, it is time to merge some template classes Zhongxing Xu
2009-07-29delete an undefined method.Zhongxing Xu
2009-07-22Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'.Ted Kremenek
2009-07-22Move bug reporter "visitors" to their own file and make them part of the publicTed Kremenek
2009-05-07Add preliminary support for enhancing null-pointer dereference diagnostics.Ted Kremenek
2009-05-06Refactor BugReporter interface to have a new 'BugReporterContext' andTed Kremenek
2009-04-29BugReporter/PathDiagnostics:Ted Kremenek
2009-03-11Add some iterators to BugReporter.Ted Kremenek
2009-02-18Hooked up the necessary machinery to allow the retain/release checker referenceTed Kremenek
2009-02-07Commit header.Ted Kremenek
2009-02-04Overhaul BugReporter interface and implementation. The new interface cleans upTed Kremenek
2009-01-24More hacking on static analyzer diagnostics. When emitting summary diagnosti...Ted Kremenek
2009-01-23Added virtual method DiagnosticClient::IncludeInDiagnosticCounts(). This is ...Ted Kremenek
2008-12-05Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek
2008-11-23add support for inserting a DeclarationName into a diagnostic directlyChris Lattner
2008-11-23Genericize the qualtype formating callback to support any diag argument.Chris Lattner
2008-11-23Add support for sending QualType's directly into diags and convert twoChris Lattner
2008-11-22Split the DiagnosticInfo class into two disjoint classes:Chris Lattner
2008-11-19Allow sending IdentifierInfo*'s into Diagnostics without turning them into st...Chris Lattner
2008-11-19add direct support for signed and unsigned integer arguments to diagnostics.Chris Lattner
2008-11-19implement a transparent optimization with the diagnostics stuff:Chris Lattner
2008-11-18Fix 80-col violation.Zhongxing Xu
2008-11-18This reworks some of the Diagnostic interfaces a bit to change how diagnosticsChris Lattner
2008-11-18Change the diagnostics interface to take an array of pointers to Chris Lattner
2008-11-18cleanups.Chris Lattner
2008-09-21Add a bug category for NSError** checks.Ted Kremenek
2008-09-20Add "category" to BugTypes, allowing bugs to be grouped.Ted Kremenek
2008-09-18Change implementation of NSError** coding-style check to be invoked at the en...Ted Kremenek
2008-09-16ProgramPoint now takes the space of two pointers instead of one. This change wasTed Kremenek
2008-08-13Rename ValueState -> GRState.Ted Kremenek
2008-07-31Enhanced path-sensitive return-of-stack-address check to print out the name o...Ted Kremenek
2008-07-22Added path-sensitive checking for null pointer values passed to function argu...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-03Have BugReporter::getCFG and BugReporter::getLiveVariables returns pointers i...Ted Kremenek