summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/BugReporter.cpp
Commit message (Collapse)AuthorAgeFilesLines
...
* Modified BugReport::getEndPath() to handle the case where end path is atTed Kremenek2008-04-171-15/+43
| | | | | | the exit block of the CFG. llvm-svn: 49880
* Have BugReporter::EmitWarning use the PathDiagnosticClient if it is available.Ted Kremenek2008-04-141-10/+22
| | | | llvm-svn: 49668
* Hooked up the dead-store checker to the BugReporter interface. Now dead-storeTed Kremenek2008-04-141-31/+39
| | | | | | warnings are emitted as part of the warnings registered by GRSimpleVals. llvm-svn: 49658
* Added "RangedBugReport".Ted Kremenek2008-04-111-0/+2
| | | | llvm-svn: 49551
* When not emitting path diagnostics in BugReporter::EmitWarning(), use theTed Kremenek2008-04-101-3/+13
| | | | | | BugReport-specific SourceRanges (when available). llvm-svn: 49486
* Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter.Ted Kremenek2008-04-091-40/+36
| | | | | | | | | | | | | | | Bugs are now reported using a combination of "BugType" (previously BugDescription) and Bug "BugReport" objects, which are fed to BugReporter (which generates PathDiagnostics). This provides a far more modular way of registering bug types and plugging in diagnostics. GRExprEngine now owns its copy of GRCoreEngine, and is not owned by the ExplodedGraph. ExplodedGraph is no longer templated on the "checker", but instead on the state contained in the nodes. llvm-svn: 49453
* Added new "BugReporterHelper" class which is used by BugReporter to emitTed Kremenek2008-04-091-8/+24
| | | | | | checker-specific diagnostics. llvm-svn: 49412
* Improve BugReport diagnostics for loops and ? operator.Ted Kremenek2008-04-071-4/+57
| | | | llvm-svn: 49356
* Use "getRanges" in default implementation of "getEndPath" to determineTed Kremenek2008-04-031-2/+12
| | | | | | the ranges of highlighted elements in the source code. llvm-svn: 49181
* Hooked up GRSimpleAPICheck and the simple Objective-C Foundation checks to useTed Kremenek2008-04-031-3/+8
| | | | | | the new BugReporter interface. llvm-svn: 49180
* Handle the case when getEndPath() returns NULL.Ted Kremenek2008-04-031-2/+8
| | | | llvm-svn: 49155
* Add back bug name to PathDiagnostic.Ted Kremenek2008-04-031-2/+1
| | | | llvm-svn: 49139
* When creating PathDiagnostics, created a trimmed graph first and report theTed Kremenek2008-04-031-1/+19
| | | | | | BFS path to the root. This also avoids problems with loops in the ExplodedGraph. llvm-svn: 49133
* Created new path-sensitive bug-reporting scheme based on the classesTed Kremenek2008-04-031-0/+262
"BugReporter" and "BugDescription". BugDescription is used to describe a bug and provide pieces of the PathDiagnostic, and BugReporter creates the actual PathDiagnostic by crawling through the ExplodedGraph. Migrated checks done by GRSimpleVals to be reported using the new BugReporter mechanism. llvm-svn: 49127
OpenPOWER on IntegriCloud