SVF::SrcSnkSolver< GraphType, DPIm > Class Template Reference

#include <SrcSnkSolver.h>

Public Types
typedef SVF::GenericGraphTraits< GraphType >	GTraits
	Define the GTraits and node iterator.
typedef GTraits::NodeType	GNODE
typedef GTraits::EdgeType	GEDGE
typedef GTraits::nodes_iterator	node_iterator
typedef GTraits::ChildIteratorType	child_iterator
typedef SVF::GenericGraphTraits< SVF::Inverse< GNODE * > >	InvGTraits
	Define inverse GTraits and note iterator.
typedef InvGTraits::ChildIteratorType	inv_child_iterator
typedef FIFOWorkList< DPIm >	WorkList
	Define worklist.

Protected Member Functions
	SrcSnkSolver ()
	Constructor.
virtual	~SrcSnkSolver ()
	Destructor.
const GraphType	graph () const
	Get/Set graph methods.
void	setGraph (GraphType g)
GNODE *	getNode (NodeID id) const
virtual NodeID	getNodeIDFromItem (const DPIm &item) const
virtual void	forwardTraverse (DPIm &it)
	CFL forward traverse solve.
virtual void	backwardTraverse (DPIm &it)
	CFL forward traverse solve.
virtual void	FWProcessCurNode (const DPIm &)
	Process the DP item.
virtual void	BWProcessCurNode (const DPIm &)
virtual void	FWProcessOutgoingEdge (const DPIm &item, GEDGE *edge)
	Propagation for the solving, to be implemented in the child class.
virtual void	BWProcessIncomingEdge (const DPIm &item, GEDGE *edge)
DPIm	popFromWorklist ()
	Worklist operations.
bool	pushIntoWorklist (DPIm &item)
bool	isWorklistEmpty ()
bool	isInWorklist (DPIm &item)

Private Attributes
GraphType	_graph
	Graph.
WorkList	worklist
	Worklist for resolution.

Detailed Description

template<class GraphType, class DPIm = DPItem>
class SVF::SrcSnkSolver< GraphType, DPIm >

Definition at line 44 of file SrcSnkSolver.h.

Member Typedef Documentation

child_iterator

template<class GraphType , class DPIm = DPItem>

typedef GTraits::ChildIteratorType SVF::SrcSnkSolver< GraphType, DPIm >::child_iterator

Definition at line 53 of file SrcSnkSolver.h.

GEDGE

template<class GraphType , class DPIm = DPItem>

typedef GTraits::EdgeType SVF::SrcSnkSolver< GraphType, DPIm >::GEDGE

Definition at line 51 of file SrcSnkSolver.h.

GNODE

template<class GraphType , class DPIm = DPItem>

typedef GTraits::NodeType SVF::SrcSnkSolver< GraphType, DPIm >::GNODE

Definition at line 50 of file SrcSnkSolver.h.

GTraits

template<class GraphType , class DPIm = DPItem>

typedef SVF::GenericGraphTraits<GraphType> SVF::SrcSnkSolver< GraphType, DPIm >::GTraits

Define the GTraits and node iterator.

Definition at line 49 of file SrcSnkSolver.h.

inv_child_iterator

template<class GraphType , class DPIm = DPItem>

typedef InvGTraits::ChildIteratorType SVF::SrcSnkSolver< GraphType, DPIm >::inv_child_iterator

Definition at line 57 of file SrcSnkSolver.h.

InvGTraits

template<class GraphType , class DPIm = DPItem>

typedef SVF::GenericGraphTraits<SVF::Inverse<GNODE *> > SVF::SrcSnkSolver< GraphType, DPIm >::InvGTraits

Define inverse GTraits and note iterator.

Definition at line 56 of file SrcSnkSolver.h.

node_iterator

template<class GraphType , class DPIm = DPItem>

typedef GTraits::nodes_iterator SVF::SrcSnkSolver< GraphType, DPIm >::node_iterator

Definition at line 52 of file SrcSnkSolver.h.

WorkList

template<class GraphType , class DPIm = DPItem>

typedef FIFOWorkList<DPIm> SVF::SrcSnkSolver< GraphType, DPIm >::WorkList

Define worklist.

Definition at line 60 of file SrcSnkSolver.h.

Constructor & Destructor Documentation

SrcSnkSolver()

template<class GraphType , class DPIm = DPItem>

SVF::SrcSnkSolver< GraphType, DPIm >::SrcSnkSolver ( )

inlineprotected

Constructor.

Definition at line 65 of file SrcSnkSolver.h.

                  : _graph(nullptr)
    {
    }

~SrcSnkSolver()

template<class GraphType , class DPIm = DPItem>

virtual SVF::SrcSnkSolver< GraphType, DPIm >::~SrcSnkSolver ( )

inlineprotectedvirtual

Destructor.

Definition at line 69 of file SrcSnkSolver.h.

    {
    }

Member Function Documentation

backwardTraverse()

template<class GraphType , class DPIm = DPItem>

virtual void SVF::SrcSnkSolver< GraphType, DPIm >::backwardTraverse ( DPIm &  it )

inlineprotectedvirtual

CFL forward traverse solve.

Definition at line 112 of file SrcSnkSolver.h.

    {
        pushIntoWorklist(it);
 
        while (!isWorklistEmpty())
        {
            DPIm item = popFromWorklist();
            BWProcessCurNode(item);
 
            GNODE* v = getNode(getNodeIDFromItem(item));
            inv_child_iterator EI = InvGTraits::child_begin(v);
            inv_child_iterator EE = InvGTraits::child_end(v);
            for (; EI != EE; ++EI)
            {
                BWProcessIncomingEdge(item,*(EI.getCurrent()) );
            }
        }
    }

BWProcessCurNode()

template<class GraphType , class DPIm = DPItem>

virtual void SVF::SrcSnkSolver< GraphType, DPIm >::BWProcessCurNode ( const DPIm &  )

inlineprotectedvirtual

Definition at line 135 of file SrcSnkSolver.h.

    {
    }

BWProcessIncomingEdge()

template<class GraphType , class DPIm = DPItem>

virtual void SVF::SrcSnkSolver< GraphType, DPIm >::BWProcessIncomingEdge ( const DPIm &  item, GEDGE *  edge  )

inlineprotectedvirtual

Definition at line 147 of file SrcSnkSolver.h.

    {
        DPIm newItem(item);
        newItem.setCurNodeID(edge->getSrcID());
        pushIntoWorklist(newItem);
    }

forwardTraverse()

template<class GraphType , class DPIm = DPItem>

virtual void SVF::SrcSnkSolver< GraphType, DPIm >::forwardTraverse ( DPIm &  it )

inlineprotectedvirtual

CFL forward traverse solve.

Definition at line 93 of file SrcSnkSolver.h.

    {
        pushIntoWorklist(it);
 
        while (!isWorklistEmpty())
        {
            DPIm item = popFromWorklist();
            FWProcessCurNode(item);
 
            GNODE* v = getNode(getNodeIDFromItem(item));
            child_iterator EI = GTraits::child_begin(v);
            child_iterator EE = GTraits::child_end(v);
            for (; EI != EE; ++EI)
            {
                FWProcessOutgoingEdge(item,*(EI.getCurrent()) );
            }
        }
    }

FWProcessCurNode()

template<class GraphType , class DPIm = DPItem>

virtual void SVF::SrcSnkSolver< GraphType, DPIm >::FWProcessCurNode ( const DPIm &  )

inlineprotectedvirtual

Process the DP item.

Definition at line 132 of file SrcSnkSolver.h.

    {
    }

FWProcessOutgoingEdge()

template<class GraphType , class DPIm = DPItem>

virtual void SVF::SrcSnkSolver< GraphType, DPIm >::FWProcessOutgoingEdge ( const DPIm &  item, GEDGE *  edge  )

inlineprotectedvirtual

Propagation for the solving, to be implemented in the child class.

Definition at line 141 of file SrcSnkSolver.h.

    {
        DPIm newItem(item);
        newItem.setCurNodeID(edge->getDstID());
        pushIntoWorklist(newItem);
    }

getNode()

template<class GraphType , class DPIm = DPItem>

GNODE * SVF::SrcSnkSolver< GraphType, DPIm >::getNode ( NodeID  id ) const

inlineprotected

Definition at line 84 of file SrcSnkSolver.h.

    {
        return _graph->getGNode(id);
    }

getNodeIDFromItem()

template<class GraphType , class DPIm = DPItem>

virtual NodeID SVF::SrcSnkSolver< GraphType, DPIm >::getNodeIDFromItem ( const DPIm &  item ) const

inlineprotectedvirtual

Definition at line 88 of file SrcSnkSolver.h.

    {
        return item.getCurNodeID();
    }

graph()

template<class GraphType , class DPIm = DPItem>

const GraphType SVF::SrcSnkSolver< GraphType, DPIm >::graph ( ) const

inlineprotected

Get/Set graph methods.

Definition at line 74 of file SrcSnkSolver.h.

    {
        return _graph;
    }

isInWorklist()

template<class GraphType , class DPIm = DPItem>

bool SVF::SrcSnkSolver< GraphType, DPIm >::isInWorklist ( DPIm &  item )

inlineprotected

Definition at line 168 of file SrcSnkSolver.h.

    {
        return worklist.find(item);
    }

isWorklistEmpty()

template<class GraphType , class DPIm = DPItem>

bool SVF::SrcSnkSolver< GraphType, DPIm >::isWorklistEmpty ( )

inlineprotected

Definition at line 164 of file SrcSnkSolver.h.

    {
        return worklist.empty();
    }

popFromWorklist()

template<class GraphType , class DPIm = DPItem>

DPIm SVF::SrcSnkSolver< GraphType, DPIm >::popFromWorklist ( )

inlineprotected

Worklist operations.

Definition at line 156 of file SrcSnkSolver.h.

    {
        return worklist.pop();
    }

pushIntoWorklist()

template<class GraphType , class DPIm = DPItem>

bool SVF::SrcSnkSolver< GraphType, DPIm >::pushIntoWorklist ( DPIm &  item )

inlineprotected

Definition at line 160 of file SrcSnkSolver.h.

    {
        return worklist.push(item);
    }

setGraph()

template<class GraphType , class DPIm = DPItem>

void SVF::SrcSnkSolver< GraphType, DPIm >::setGraph ( GraphType  g )

inlineprotected

Definition at line 78 of file SrcSnkSolver.h.

    {
        _graph = g;
    }

Member Data Documentation

_graph

template<class GraphType , class DPIm = DPItem>

GraphType SVF::SrcSnkSolver< GraphType, DPIm >::_graph

private

Graph.

Definition at line 177 of file SrcSnkSolver.h.

worklist

template<class GraphType , class DPIm = DPItem>

WorkList SVF::SrcSnkSolver< GraphType, DPIm >::worklist

private

Worklist for resolution.

Definition at line 180 of file SrcSnkSolver.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/SABER/SrcSnkSolver.h