SVF APIs

SVFUtil

Members	Meanings
SVF::SVFUtil::outs	output stream similar to std::outs
SVF::SVFUtil::isa	instance of a class

ICFGNode

Members	Meanings
ICFGNode::toString	return the content of this ICFGNode in the form of a string consisting of the nodeID, llvm instructions ...
SVF::ICFGNode::getSVFStmts	return a list of program statements residing in this ICFGNode
SVF::CallICFGNode::getCallSite	return the LLVM callsite
SVF::RetICFGNode::getCallSite	return the LLVM callsite
SVF::CallICFGNode::getRetICFGNode	Given a CallICFGNode, return its corresponding RetICFGNode
SVF::RetICFGNode::getActualRet	Get the return variable (SVFVar) of this RetICFGNode
SVF::CallICFGNode::getActualParms	Get all the actual parameters of this CallICFGNode

ICFGEdge

Members	Meanings
SVF::ICFGEdge::isIntraCFGEdge	return true if it is an intra-procedural edge
SVF::ICFGEdge::isCallCFGEdge	return true if it is a call edge
SVF::ICFGEdge::isRetCFGEdge	return true if it is a return edge
SVF::CallCFGEdge::getCallSite	return its corresponding llvm call instruction
SVF::RetCFGEdge::getCallSite	return its corresponding llvm call instruction

SVFIR

Members	Meanings

---

SVF::SVFUtil::outs()

• Output the content of a node on ICFG

  For example,

   ICFGNode *inode = ...;  // subclass object CallICFGNode : %call = call i32 (...) @source(),
   SVFUtil::outs() << inode->toString() << "\n"
  

  The output is IntraICFGNode 21 : %call = call i32 (...) @source()

---

ICFGNode::toString()

• return the content of this ICFGNode in the form of a string consisting of the nodeID, llvm instructions and its containing function

  Output Sample: NodeID: 15\nIntraICFGNode ID: 15 store i32 1, i32* %a, align 4 \{fun: main\}}

---