From a3fadfcce5911742801a302cac82d4fe54d5c682 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Thu, 14 Feb 2008 22:54:53 +0000 Subject: [PATCH] When visualizing ExplodedNodes created by GRExprEngine, color nodes with null-dereferences or bad control-flow red. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47140 91177308-0d34-0410-b5e6-96231b3b80d8 --- Analysis/GRExprEngine.cpp | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/Analysis/GRExprEngine.cpp b/Analysis/GRExprEngine.cpp index 4418afddb6..15f1aa2e37 100644 --- a/Analysis/GRExprEngine.cpp +++ b/Analysis/GRExprEngine.cpp @@ -1114,7 +1114,16 @@ struct VISIBILITY_HIDDEN DOTGraphTraits : Out << (*J)->toString(); } } - } + } + + static std::string getNodeAttributes(const GRExprEngine::NodeTy* N, void*) { + + if (GraphPrintCheckerState->isImplicitNullDeref(N) || + GraphPrintCheckerState->isExplicitNullDeref(N)) + return "color=\"red\",style=\"filled\""; + + return ""; + } static std::string getNodeLabel(const GRExprEngine::NodeTy* N, void*) { std::ostringstream Out; -- 2.50.1