"clang/git@repo.hca.bsc.es:rferrer/llvm-epi-0.8.git" did not exist on "4897349a7999777c75bf2e7f97389b481d3f9777"
- Apr 11, 2008
-
-
Ted Kremenek authored
llvm-svn: 49551
-
- Apr 10, 2008
-
-
Ted Kremenek authored
BugReport-specific SourceRanges (when available). llvm-svn: 49486
-
- Apr 09, 2008
-
-
Ted Kremenek authored
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
-
Ted Kremenek authored
checker-specific diagnostics. llvm-svn: 49412
-
- Apr 08, 2008
-
-
Ted Kremenek authored
llvm-svn: 49356
-
- Apr 03, 2008
-
-
Ted Kremenek authored
the ranges of highlighted elements in the source code. llvm-svn: 49181
-
Ted Kremenek authored
the new BugReporter interface. llvm-svn: 49180
-
Ted Kremenek authored
llvm-svn: 49155
-
Ted Kremenek authored
llvm-svn: 49139
-
Ted Kremenek authored
BFS path to the root. This also avoids problems with loops in the ExplodedGraph. llvm-svn: 49133
-
Ted Kremenek authored
"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
-