Static Value-Flow Analysis
Public Types | Public Member Functions | Static Public Member Functions | List of all members
SVF::DOTGraphTraits< SVFG * > Struct Reference
Inheritance diagram for SVF::DOTGraphTraits< SVFG * >:
SVF::DOTGraphTraits< SVFIR * > SVF::DefaultDOTGraphTraits

Public Types

typedef SVFGNode NodeType
 

Public Member Functions

 DOTGraphTraits (bool isSimple=false)
 
std::string getNodeLabel (NodeType *node, SVFG *graph)
 
- Public Member Functions inherited from SVF::DOTGraphTraits< SVFIR * >
 DOTGraphTraits (bool simple=false)
 
- Public Member Functions inherited from SVF::DefaultDOTGraphTraits
 DefaultDOTGraphTraits (bool simple=false)
 
template<typename GraphType >
std::string getNodeLabel (const void *, const GraphType &)
 

Static Public Member Functions

static std::string getGraphName (SVFG *)
 Return name of the graph. More...
 
static bool isNodeHidden (SVFGNode *node, SVFG *)
 
static std::string getSimpleNodeLabel (NodeType *node, SVFG *)
 Return label of a VFG node without MemSSA information. More...
 
static std::string getCompleteNodeLabel (NodeType *node, SVFG *)
 Return label of a VFG node with MemSSA information. More...
 
static std::string getNodeAttributes (NodeType *node, SVFG *graph)
 
template<class EdgeIter >
static std::string getEdgeAttributes (NodeType *, EdgeIter EI, SVFG *)
 
template<class EdgeIter >
static std::string getEdgeSourceLabel (NodeType *, EdgeIter EI)
 
- Static Public Member Functions inherited from SVF::DefaultDOTGraphTraits
template<typename GraphType >
static std::string getGraphName (const GraphType &)
 
template<typename GraphType >
static std::string getGraphProperties (const GraphType &)
 
static bool renderGraphFromBottomUp ()
 
template<typename GraphType >
static bool isNodeHidden (const void *, const GraphType &)
 
template<typename GraphType >
static std::string getNodeIdentifierLabel (const void *, const GraphType &)
 
template<typename GraphType >
static std::string getNodeDescription (const void *, const GraphType &)
 
template<typename GraphType >
static std::string getNodeAttributes (const void *, const GraphType &)
 
template<typename EdgeIter , typename GraphType >
static std::string getEdgeAttributes (const void *, EdgeIter, const GraphType &)
 
template<typename EdgeIter >
static std::string getEdgeSourceLabel (const void *, EdgeIter)
 
template<typename EdgeIter >
static bool edgeTargetsEdgeSource (const void *, EdgeIter)
 
template<typename EdgeIter >
static EdgeIter getEdgeTarget (const void *, EdgeIter I)
 
static bool hasEdgeDestLabels ()
 
static unsigned numEdgeDestLabels (const void *)
 
static std::string getEdgeDestLabel (const void *, unsigned)
 
template<typename GraphType , typename GraphWriter >
static void addCustomGraphFeatures (const GraphType &, GraphWriter &)
 

Additional Inherited Members

- Protected Member Functions inherited from SVF::DefaultDOTGraphTraits
bool isSimple ()
 

Detailed Description

Definition at line 769 of file SVFG.cpp.

Member Typedef Documentation

◆ NodeType

typedef SVFGNode SVF::DOTGraphTraits< SVFG * >::NodeType

Definition at line 772 of file SVFG.cpp.

Constructor & Destructor Documentation

◆ DOTGraphTraits()

SVF::DOTGraphTraits< SVFG * >::DOTGraphTraits ( bool  isSimple = false)
inline

Definition at line 773 of file SVFG.cpp.

773  :
774  DOTGraphTraits<SVFIR*>(isSimple)
775  {
776  }

Member Function Documentation

◆ getCompleteNodeLabel()

static std::string SVF::DOTGraphTraits< SVFG * >::getCompleteNodeLabel ( NodeType *  node,
SVFG *   
)
inlinestatic

Return label of a VFG node with MemSSA information.

Definition at line 872 of file SVFG.cpp.

873  {
874 
875  std::string str;
876  std::stringstream rawstr(str);
877  if(StmtSVFGNode* stmtNode = SVFUtil::dyn_cast<StmtSVFGNode>(node))
878  {
879  rawstr << stmtNode->toString();
880  }
881  else if(BinaryOPVFGNode* bop = SVFUtil::dyn_cast<BinaryOPVFGNode>(node))
882  {
883  rawstr << bop->toString();
884  }
885  else if(UnaryOPVFGNode* uop = SVFUtil::dyn_cast<UnaryOPVFGNode>(node))
886  {
887  rawstr << uop->toString();
888  }
889  else if(CmpVFGNode* cmp = SVFUtil::dyn_cast<CmpVFGNode>(node))
890  {
891  rawstr << cmp->toString();
892  }
893  else if(MSSAPHISVFGNode* mphi = SVFUtil::dyn_cast<MSSAPHISVFGNode>(node))
894  {
895  rawstr << mphi->toString();
896  }
897  else if(PHISVFGNode* tphi = SVFUtil::dyn_cast<PHISVFGNode>(node))
898  {
899  rawstr << tphi->toString();
900  }
901  else if(FormalINSVFGNode* fi = SVFUtil::dyn_cast<FormalINSVFGNode>(node))
902  {
903  rawstr << fi->toString();
904  }
905  else if(FormalOUTSVFGNode* fo = SVFUtil::dyn_cast<FormalOUTSVFGNode>(node))
906  {
907  rawstr << fo->toString();
908  }
909  else if(FormalParmSVFGNode* fp = SVFUtil::dyn_cast<FormalParmSVFGNode>(node))
910  {
911  rawstr << fp->toString();
912  }
913  else if(ActualINSVFGNode* ai = SVFUtil::dyn_cast<ActualINSVFGNode>(node))
914  {
915  rawstr << ai->toString();
916  }
917  else if(ActualOUTSVFGNode* ao = SVFUtil::dyn_cast<ActualOUTSVFGNode>(node))
918  {
919  rawstr << ao->toString();
920  }
921  else if(ActualParmSVFGNode* ap = SVFUtil::dyn_cast<ActualParmSVFGNode>(node))
922  {
923  rawstr << ap->toString();
924  }
925  else if(NullPtrSVFGNode* nptr = SVFUtil::dyn_cast<NullPtrSVFGNode>(node))
926  {
927  rawstr << nptr->toString();
928  }
929  else if (ActualRetSVFGNode* ar = SVFUtil::dyn_cast<ActualRetSVFGNode>(node))
930  {
931  rawstr << ar->toString();
932  }
933  else if (FormalRetSVFGNode* fr = SVFUtil::dyn_cast<FormalRetSVFGNode>(node))
934  {
935  rawstr << fr->toString();
936  }
937  else if (BranchVFGNode* br = SVFUtil::dyn_cast<BranchVFGNode>(node))
938  {
939  rawstr << br->toString();
940  }
941  else
942  assert(false && "what else kinds of nodes do we have??");
943 
944  return rawstr.str();
945  }
string
const char *const string
Definition: cJSON.h:172

◆ getEdgeAttributes()

template<class EdgeIter >
static std::string SVF::DOTGraphTraits< SVFG * >::getEdgeAttributes ( NodeType *  ,
EdgeIter  EI,
SVFG *   
)
inlinestatic

Definition at line 1070 of file SVFG.cpp.

1071  {
1072  SVFGEdge* edge = *(EI.getCurrent());
1073  assert(edge && "No edge found!!");
1074  if (SVFUtil::isa<DirectSVFGEdge>(edge))
1075  {
1076  if (SVFUtil::isa<CallDirSVFGEdge>(edge))
1077  return "style=solid,color=red";
1078  else if (SVFUtil::isa<RetDirSVFGEdge>(edge))
1079  return "style=solid,color=blue";
1080  else
1081  return "style=solid";
1082  }
1083  else if (SVFUtil::isa<IndirectSVFGEdge>(edge))
1084  {
1085  if (SVFUtil::isa<CallIndSVFGEdge>(edge))
1086  return "style=dashed,color=red";
1087  else if (SVFUtil::isa<RetIndSVFGEdge>(edge))
1088  return "style=dashed,color=blue";
1089  else
1090  return "style=dashed";
1091  }
1092  return "";
1093  }

◆ getEdgeSourceLabel()

template<class EdgeIter >
static std::string SVF::DOTGraphTraits< SVFG * >::getEdgeSourceLabel ( NodeType *  ,
EdgeIter  EI 
)
inlinestatic

Definition at line 1096 of file SVFG.cpp.

1097  {
1098  SVFGEdge* edge = *(EI.getCurrent());
1099  assert(edge && "No edge found!!");
1100 
1101  std::string str;
1102  std::stringstream rawstr(str);
1103  if (CallDirSVFGEdge* dirCall = SVFUtil::dyn_cast<CallDirSVFGEdge>(edge))
1104  rawstr << dirCall->getCallSiteId();
1105  else if (RetDirSVFGEdge* dirRet = SVFUtil::dyn_cast<RetDirSVFGEdge>(edge))
1106  rawstr << dirRet->getCallSiteId();
1107  else if (CallIndSVFGEdge* indCall = SVFUtil::dyn_cast<CallIndSVFGEdge>(edge))
1108  rawstr << indCall->getCallSiteId();
1109  else if (RetIndSVFGEdge* indRet = SVFUtil::dyn_cast<RetIndSVFGEdge>(edge))
1110  rawstr << indRet->getCallSiteId();
1111 
1112  return rawstr.str();
1113  }

◆ getGraphName()

static std::string SVF::DOTGraphTraits< SVFG * >::getGraphName ( SVFG *  )
inlinestatic

Return name of the graph.

Definition at line 779 of file SVFG.cpp.

780  {
781  return "SVFG";
782  }

◆ getNodeAttributes()

static std::string SVF::DOTGraphTraits< SVFG * >::getNodeAttributes ( NodeType *  node,
SVFG *  graph 
)
inlinestatic

dump slice information

Definition at line 947 of file SVFG.cpp.

948  {
949  std::string str;
950  std::stringstream rawstr(str);
951 
952  if(StmtSVFGNode* stmtNode = SVFUtil::dyn_cast<StmtSVFGNode>(node))
953  {
954  const PAGEdge* edge = stmtNode->getPAGEdge();
955  if (SVFUtil::isa<AddrStmt>(edge))
956  {
957  rawstr << "color=green";
958  }
959  else if (SVFUtil::isa<CopyStmt>(edge))
960  {
961  rawstr << "color=black";
962  }
963  else if (SVFUtil::isa<RetPE>(edge))
964  {
965  rawstr << "color=black,style=dotted";
966  }
967  else if (SVFUtil::isa<GepStmt>(edge))
968  {
969  rawstr << "color=purple";
970  }
971  else if (SVFUtil::isa<StoreStmt>(edge))
972  {
973  rawstr << "color=blue";
974  }
975  else if (SVFUtil::isa<LoadStmt>(edge))
976  {
977  rawstr << "color=red";
978  }
979  else
980  {
981  assert(0 && "No such kind edge!!");
982  }
983  rawstr << "";
984  }
985  else if(SVFUtil::isa<MSSAPHISVFGNode>(node))
986  {
987  rawstr << "color=black";
988  }
989  else if(SVFUtil::isa<PHISVFGNode>(node))
990  {
991  rawstr << "color=black";
992  }
993  else if(SVFUtil::isa<NullPtrSVFGNode>(node))
994  {
995  rawstr << "color=grey";
996  }
997  else if(SVFUtil::isa<FormalINSVFGNode>(node))
998  {
999  rawstr << "color=yellow,penwidth=2";
1000  }
1001  else if(SVFUtil::isa<FormalOUTSVFGNode>(node))
1002  {
1003  rawstr << "color=yellow,penwidth=2";
1004  }
1005  else if(SVFUtil::isa<FormalParmSVFGNode>(node))
1006  {
1007  rawstr << "color=yellow,penwidth=2";
1008  }
1009  else if(SVFUtil::isa<ActualINSVFGNode>(node))
1010  {
1011  rawstr << "color=yellow,penwidth=2";
1012  }
1013  else if(SVFUtil::isa<ActualOUTSVFGNode>(node))
1014  {
1015  rawstr << "color=yellow,penwidth=2";
1016  }
1017  else if(SVFUtil::isa<ActualParmSVFGNode>(node))
1018  {
1019  rawstr << "color=yellow,penwidth=2";
1020  }
1021  else if (SVFUtil::isa<ActualRetSVFGNode>(node))
1022  {
1023  rawstr << "color=yellow,penwidth=2";
1024  }
1025  else if (SVFUtil::isa<FormalRetSVFGNode>(node))
1026  {
1027  rawstr << "color=yellow,penwidth=2";
1028  }
1029  else if (SVFUtil::isa<BinaryOPVFGNode>(node))
1030  {
1031  rawstr << "color=black,penwidth=2";
1032  }
1033  else if (SVFUtil::isa<CmpVFGNode>(node))
1034  {
1035  rawstr << "color=black,penwidth=2";
1036  }
1037  else if (SVFUtil::isa<UnaryOPVFGNode>(node))
1038  {
1039  rawstr << "color=black,penwidth=2";
1040  }
1041  else if (SVFUtil::isa<BranchVFGNode>(node))
1042  {
1043  rawstr << "color=gold,penwidth=2";
1044  }
1045  else
1046  assert(false && "no such kind of node!!");
1047 
1049  if(graph->getStat()->isSource(node))
1050  {
1051  rawstr << ",style=filled, fillcolor=red";
1052  }
1053  else if(graph->getStat()->isSink(node))
1054  {
1055  rawstr << ",style=filled, fillcolor=blue";
1056  }
1057  else if(graph->getStat()->inBackwardSlice(node))
1058  {
1059  rawstr << ",style=filled, fillcolor=yellow";
1060  }
1061  else if(graph->getStat()->inForwardSlice(node))
1062  rawstr << ",style=filled, fillcolor=gray";
1063 
1064  rawstr << "";
1065 
1066  return rawstr.str();
1067  }
SVF::SVFGStat::inBackwardSlice
bool inBackwardSlice(const SVFGNode *node) const
Definition: SVFGStat.h:257
SVF::SVFGStat::isSource
bool isSource(const SVFGNode *node) const
Definition: SVFGStat.h:261
SVF::SVFGStat::inForwardSlice
bool inForwardSlice(const SVFGNode *node) const
Definition: SVFGStat.h:253
SVF::SVFGStat::isSink
bool isSink(const SVFGNode *node) const
Definition: SVFGStat.h:265
SVF::SVFG::getStat
SVFGStat * getStat() const
Return statistics.
Definition: SVFG.h:126

◆ getNodeLabel()

std::string SVF::DOTGraphTraits< SVFG * >::getNodeLabel ( NodeType *  node,
SVFG *  graph 
)
inline

Definition at line 792 of file SVFG.cpp.

793  {
794  if (isSimple())
795  return getSimpleNodeLabel(node, graph);
796  else
797  return getCompleteNodeLabel(node, graph);
798  }
SVF::DOTGraphTraits< SVFG * >::getSimpleNodeLabel
static std::string getSimpleNodeLabel(NodeType *node, SVFG *)
Return label of a VFG node without MemSSA information.
Definition: SVFG.cpp:801
SVF::DOTGraphTraits< SVFG * >::getCompleteNodeLabel
static std::string getCompleteNodeLabel(NodeType *node, SVFG *)
Return label of a VFG node with MemSSA information.
Definition: SVFG.cpp:872

◆ getSimpleNodeLabel()

static std::string SVF::DOTGraphTraits< SVFG * >::getSimpleNodeLabel ( NodeType *  node,
SVFG *   
)
inlinestatic

Return label of a VFG node without MemSSA information.

Definition at line 801 of file SVFG.cpp.

802  {
803  std::string str;
804  std::stringstream rawstr(str);
805  if(StmtSVFGNode* stmtNode = SVFUtil::dyn_cast<StmtSVFGNode>(node))
806  {
807  rawstr << stmtNode->toString();
808  }
809  else if(PHISVFGNode* tphi = SVFUtil::dyn_cast<PHISVFGNode>(node))
810  {
811  rawstr << tphi->toString();
812  }
813  else if(FormalParmSVFGNode* fp = SVFUtil::dyn_cast<FormalParmSVFGNode>(node))
814  {
815  rawstr << fp->toString();
816  }
817  else if(ActualParmSVFGNode* ap = SVFUtil::dyn_cast<ActualParmSVFGNode>(node))
818  {
819  rawstr << ap->toString();
820  }
821  else if (ActualRetSVFGNode* ar = SVFUtil::dyn_cast<ActualRetSVFGNode>(node))
822  {
823  rawstr << ar->toString();
824  }
825  else if (FormalRetSVFGNode* fr = SVFUtil::dyn_cast<FormalRetSVFGNode>(node))
826  {
827  rawstr << fr->toString();
828  }
829  else if(FormalINSVFGNode* fi = SVFUtil::dyn_cast<FormalINSVFGNode>(node))
830  {
831  rawstr << fi->toString();
832  }
833  else if(FormalOUTSVFGNode* fo = SVFUtil::dyn_cast<FormalOUTSVFGNode>(node))
834  {
835  rawstr << fo->toString();
836  }
837  else if(ActualINSVFGNode* ai = SVFUtil::dyn_cast<ActualINSVFGNode>(node))
838  {
839  rawstr << ai->toString();
840  }
841  else if(ActualOUTSVFGNode* ao = SVFUtil::dyn_cast<ActualOUTSVFGNode>(node))
842  {
843  rawstr << ao->toString();
844  }
845  else if(MSSAPHISVFGNode* mphi = SVFUtil::dyn_cast<MSSAPHISVFGNode>(node))
846  {
847  rawstr << mphi->toString();
848  }
849  else if(SVFUtil::isa<NullPtrSVFGNode>(node))
850  {
851  rawstr << "NullPtr";
852  }
853  else if(BinaryOPVFGNode* bop = SVFUtil::dyn_cast<BinaryOPVFGNode>(node))
854  {
855  rawstr << bop->toString();
856  }
857  else if(UnaryOPVFGNode* uop = SVFUtil::dyn_cast<UnaryOPVFGNode>(node))
858  {
859  rawstr << uop->toString();
860  }
861  else if(CmpVFGNode* cmp = SVFUtil::dyn_cast<CmpVFGNode>(node))
862  {
863  rawstr << cmp->toString();
864  }
865  else
866  assert(false && "what else kinds of nodes do we have??");
867 
868  return rawstr.str();
869  }

◆ isNodeHidden()

static bool SVF::DOTGraphTraits< SVFG * >::isNodeHidden ( SVFGNode *  node,
SVFG *   
)
inlinestatic

isNodeHidden - If the function returns true, the given node is not displayed in the graph

Definition at line 786 of file SVFG.cpp.

787  {
788  if (Options::ShowHiddenNode()) return false;
789  else return node->getInEdges().empty() && node->getOutEdges().empty();
790  }
SVF::GenericNode::getOutEdges
const GEdgeSetTy & getOutEdges() const
Definition: GenericGraph.h:430
SVF::GenericNode::getInEdges
const GEdgeSetTy & getInEdges() const
Definition: GenericGraph.h:434
SVF::Options::ShowHiddenNode
static const Option< bool > ShowHiddenNode
Definition: Options.h:228
The documentation for this struct was generated from the following file:
Generated by doxygen 1.9.1