SVF::ICFGIWTO Class Reference

#include <ICFGWTO.h>

Inheritance diagram for SVF::ICFGIWTO:

Public Types
typedef ICFGWTO	Base
typedef WTOComponentVisitor< ICFG >::WTONodeT	ICFGWTONode
Public Types inherited from SVF::ICFGWTO
typedef WTO< ICFG >	Base
typedef WTOComponentVisitor< ICFG >::WTONodeT	ICFGWTONode
Public Types inherited from SVF::WTO< ICFG >
typedef GraphT::NodeType	NodeT
typedef GraphT::EdgeType	EdgeT
typedef WTOCycleDepth< ICFG >	GraphTWTOCycleDepth
typedef WTOComponent< ICFG >	WTOComponentT
typedef WTONode< ICFG >	WTONodeT
typedef WTOCycle< ICFG >	WTOCycleT
typedef Set< const NodeT * >	NodeRefList
typedef WTOComponentRefList::const_iterator	Iterator
	Iterator over the components.

Public Member Functions
	ICFGIWTO (ICFG *graph, const ICFGNode *node, NodeBS &funcPar, CallGraph *cg)
virtual	~ICFGIWTO ()
void	forEachSuccessor (const ICFGNode *node, std::function< void(const ICFGNode *)> func) const override
Public Member Functions inherited from SVF::ICFGWTO
	ICFGWTO (ICFG *graph, const ICFGNode *node)
virtual	~ICFGWTO ()
void	forEachSuccessor (const ICFGNode *node, std::function< void(const ICFGNode *)> func) const override
Public Member Functions inherited from SVF::WTO< ICFG >
	WTO (ICFG *graph, const NodeT *entry)
	Compute the weak topological order of the given graph.
	WTO (const WTO &other)=default
	No copy constructor.
	WTO (WTO &&other)=default
	Move constructor.
WTO &	operator= (const WTO &other)=default
	No copy assignment operator.
WTO &	operator= (WTO &&other)=default
	Move assignment operator.
	~WTO ()
	Destructor.
const WTOComponentRefList &	getWTOComponents () const
	Get all wto components in WTO.
Iterator	begin () const
	Begin iterator over the components.
Iterator	end () const
	End iterator over the components.
bool	isHead (const NodeT *node) const
NodeRefToWTOCycleMap::const_iterator	headBegin () const
NodeRefToWTOCycleMap::const_iterator	headEnd () const
	End iterator over the components.
const GraphTWTOCycleDepth &	cycleDepth (const NodeT *n) const
	Return the cycleDepth of the given node.
bool	in_cycleDepth_table (const NodeT *n) const
	Return the cycleDepth of the given node.
void	accept (WTOComponentVisitor< ICFG > &v)
	Accept the given visitor.
std::string	toString () const
	Dump the order, for debugging purpose.
void	init ()

Public Attributes
NodeBS &	funcPar
CallGraph *	cg

Additional Inherited Members
Protected Types inherited from SVF::WTO< ICFG >
typedef const WTOComponentT *	WTOComponentPtr
typedef std::list< WTOComponentPtr >	WTOComponentRefList
typedef Set< WTOComponentPtr >	WTOComponentRefSet
typedef Map< const NodeT *, const WTOCycleT * >	NodeRefToWTOCycleMap
typedef Map< const NodeT *, NodeRefList >	NodeRefTONodeRefListMap
typedef u32_t	CycleDepthNumber
typedef Map< const NodeT *, CycleDepthNumber >	NodeRefToCycleDepthNumber
typedef std::vector< const NodeT * >	Stack
typedef std::shared_ptr< GraphTWTOCycleDepth >	WTOCycleDepthPtr
typedef Map< const NodeT *, WTOCycleDepthPtr >	NodeRefToWTOCycleDepthPtr
Protected Member Functions inherited from SVF::WTO< ICFG >
virtual void	forEachSuccessor (const NodeT *node, std::function< void(const NodeT *)> func) const
CycleDepthNumber	getCDN (const NodeT *n) const
	Return the depth-first number of the given node.
void	setCDN (const NodeT *n, const CycleDepthNumber &dfn)
	Set the depth-first number of the given node.
const NodeT *	pop ()
	Pop a node from the stack.
void	push (const NodeT *n)
	Push a node on the stack.
const WTONodeT *	newNode (const NodeT *node)
const WTOCycleT *	newCycle (const WTONodeT *node, const WTOComponentRefList &partition)
virtual const WTOCycleT *	component (const NodeT *node)
	Create the cycle component for the given node.
virtual CycleDepthNumber	visit (const NodeT *node, WTOComponentRefList &partition)
void	buildNodeToDepth ()
	Build the node to WTO cycle depth table.
Protected Attributes inherited from SVF::WTO< ICFG >
WTOComponentRefList	_components
WTOComponentRefSet	_allComponents
NodeRefToWTOCycleMap	headRefToCycle
NodeRefToWTOCycleDepthPtr	_nodeToDepth
NodeRefToCycleDepthNumber	_nodeToCDN
CycleDepthNumber	_num
Stack	_stack
ICFG *	_graph
const NodeT *	_entry

Detailed Description

Definition at line 83 of file ICFGWTO.h.

Member Typedef Documentation

Base

typedef ICFGWTO SVF::ICFGIWTO::Base

Definition at line 86 of file ICFGWTO.h.

ICFGWTONode

typedef WTOComponentVisitor<ICFG>::WTONodeT SVF::ICFGIWTO::ICFGWTONode

Definition at line 87 of file ICFGWTO.h.

Constructor & Destructor Documentation

ICFGIWTO()

SVF::ICFGIWTO::ICFGIWTO ( ICFG *  graph, const ICFGNode *  node, NodeBS &  funcPar, CallGraph *  cg  )

inlineexplicit

Definition at line 91 of file ICFGWTO.h.

                                                                                          :
        Base(graph, node), funcPar(funcPar), cg(cg) {}

~ICFGIWTO()

virtual SVF::ICFGIWTO::~ICFGIWTO ( )

inlinevirtual

Definition at line 94 of file ICFGWTO.h.

    {
    }

Member Function Documentation

forEachSuccessor()

void SVF::ICFGIWTO::forEachSuccessor ( const ICFGNode *  node, std::function< void(const ICFGNode *)>  func  ) const

inlineoverride

Definition at line 98 of file ICFGWTO.h.

    {
        if (const auto* callNode = SVFUtil::dyn_cast<CallICFGNode>(node))
        {
 
            for (const auto &e : callNode->getOutEdges())
            {
                ICFGNode *calleeEntryICFGNode = e->getDstNode();
                CallGraphNode * calleeCGNode = cg->getCallGraphNode(calleeEntryICFGNode->getFun());
 
                const ICFGNode* succ = nullptr;
                if (funcPar.test(calleeCGNode->getId()))
                    succ = calleeEntryICFGNode;
                else
                    succ = callNode->getRetICFGNode();
 
                func(succ);
            }
        }
        else
        {
            for (const auto& e : node->getOutEdges())
            {
                ICFGNode *succ = e->getDstNode();
                CallGraphNode *succCGNode = cg->getCallGraphNode(succ->getFun());
                if (!funcPar.test(succCGNode->getId()))
                    continue;
                func(succ);
            }
        }
    }

Member Data Documentation

cg

CallGraph* SVF::ICFGIWTO::cg

Definition at line 89 of file ICFGWTO.h.

funcPar

NodeBS& SVF::ICFGIWTO::funcPar

Definition at line 88 of file ICFGWTO.h.

---

The documentation for this class was generated from the following file:

• /home/runner/work/SVF/SVF/svf/include/AE/Core/ICFGWTO.h