diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-08-27 22:31:43 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-08-27 22:31:43 +0000 |
| commit | d461d7ad7e4c417018e80cf0a64bd958722ddc45 (patch) | |
| tree | d3dc7137f6acae4ba1fdaea16bdf0cdab38dce3a /clang/Driver/clang.cpp | |
| parent | 5cc989dad156b1a2ac6bbc1f8947f5adf47ee515 (diff) | |
| download | bcm5719-llvm-d461d7ad7e4c417018e80cf0a64bd958722ddc45.tar.gz bcm5719-llvm-d461d7ad7e4c417018e80cf0a64bd958722ddc45.zip | |
Added Ubigraph visualization for the static analyzer (this is pretty alpha quality).
llvm-svn: 55442
Diffstat (limited to 'clang/Driver/clang.cpp')
| -rw-r--r-- | clang/Driver/clang.cpp | 14 |
1 files changed, 9 insertions, 5 deletions
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<bool> -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<bool> -AnalyzeAll("checker-opt-analyze-headers", +VisualizeEGUbi("analyzer-viz-egraph-ubigraph", + llvm::cl::desc("Display exploded graph using Ubigraph")); + +static llvm::cl::opt<bool> +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); } } |

