From d461d7ad7e4c417018e80cf0a64bd958722ddc45 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Wed, 27 Aug 2008 22:31:43 +0000 Subject: Added Ubigraph visualization for the static analyzer (this is pretty alpha quality). llvm-svn: 55442 --- clang/Driver/clang.cpp | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) (limited to 'clang/Driver/clang.cpp') diff --git a/clang/Driver/clang.cpp b/clang/Driver/clang.cpp index fad1624ef2b..8b24474681b 100644 --- a/clang/Driver/clang.cpp +++ b/clang/Driver/clang.cpp @@ -159,11 +159,15 @@ NoCaretDiagnostics("fno-caret-diagnostics", //===----------------------------------------------------------------------===// static llvm::cl::opt -VisualizeEG("visualize-egraph", - llvm::cl::desc("Display static analysis Exploded Graph")); +VisualizeEGDot("analyzer-viz-egraph-graphviz", + llvm::cl::desc("Display exploded graph using GraphViz")); static llvm::cl::opt -AnalyzeAll("checker-opt-analyze-headers", +VisualizeEGUbi("analyzer-viz-egraph-ubigraph", + llvm::cl::desc("Display exploded graph using Ubigraph")); + +static llvm::cl::opt +AnalyzeAll("analyzer-opt-analyze-headers", llvm::cl::desc("Force the static analyzer to analyze " "functions defined in header files")); @@ -964,8 +968,8 @@ static ASTConsumer* CreateASTConsumer(const std::string& InFile, &AnalysisList[0]+AnalysisList.size(), Diag, PP, PPF, LangOpts, AnalyzeSpecificFunction, - OutputFile, VisualizeEG, TrimGraph, - AnalyzeAll); + OutputFile, VisualizeEGDot, VisualizeEGUbi, + TrimGraph, AnalyzeAll); } } -- cgit v1.2.3