#include <ICFGWTO.h>

Inheritance diagram for SVF::ICFGWTO:

Public Types
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
	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 ()

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 47 of file ICFGWTO.h.

Member Typedef Documentation

◆ Base

typedef WTO<ICFG> SVF::ICFGWTO::Base

Definition at line 50 of file ICFGWTO.h.

◆ ICFGWTONode

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

Definition at line 51 of file ICFGWTO.h.

Constructor & Destructor Documentation

◆ ICFGWTO()

SVF::ICFGWTO::ICFGWTO	(	ICFG *	graph,
		const ICFGNode *	node
	)

inlineexplicit

Definition at line 53 of file ICFGWTO.h.

53: Base(graph, node) {}

SVF::ICFGWTO::Base

WTO< ICFG > Base

Definition ICFGWTO.h:50

◆ ~ICFGWTO()

virtual SVF::ICFGWTO::~ICFGWTO ( )

inlinevirtual

Definition at line 55 of file ICFGWTO.h.

56 {

57 }

Member Function Documentation

◆ forEachSuccessor()

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

inlineoverride

Definition at line 59 of file ICFGWTO.h.

    {
        if (const auto* callNode = SVFUtil::dyn_cast<CallICFGNode>(node))
        {
            const ICFGNode* succ = callNode->getRetICFGNode();
            func(succ);
        }
        else
        {
            for (const auto& e : node->getOutEdges())
            {
                if (!e->isIntraCFGEdge() ||
                        node->getFun() != e->getDstNode()->getFun())
                    continue;
                func(e->getDstNode());
            }
        }
    }

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

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

Public Types

Public Member Functions

Additional Inherited Members