SDG Namespace Reference

Classes
struct	CDGEdge
class	ControlDependenceGraph
struct	DDGEdge
	Define the edge type of DDG. More...
class	DataDependenceGraph
struct	PDGNode
struct	PDGEdge
	Define the edge type of PDG. More...
class	ProgramDependenceGraph
struct	SDGNode
struct	SDGEdge
class	SystemDependenceGraph

Typedefs
typedef std::vector < SgInitializedName * >	VarName
typedef std::map< SgNode *, std::set< SgNode * > >	DefUseChains
typedef std::map < StaticCFG::ControlFlowGraph::Vertex, std::map < StaticCFG::ControlFlowGraph::Vertex, std::vector < StaticCFG::ControlFlowGraph::Edge > > >	DominanceFrontiersT

Functions
bool	filterCfgNode (const VirtualCFG::CFGNode &cfgNode)
bool	filterCFGNodesByKeepingStmt (const VirtualCFG::CFGNode &cfgNode)
void	generateDefUseChainsFromVariableRenaming (SgProject *, DefUseChains &)
void	generateDefUseChainsFromSSA (SgProject *, DefUseChains &)
DominanceFrontiersT	buildDominanceFrontiers (const StaticCFG::ControlFlowGraph &cfg)
	Build dominance frontiers for all nodes in the given CFG. More...
bool	isParaPassedByRef (SgType *type)
	Check if a parameter of the given type in a function call is passed by reference or not. More...

Typedef Documentation

typedef std::vector< SgInitializedName * > SDG::VarName

Definition at line 15 of file PDG.h.

typedef std::map<SgNode*, std::set<SgNode*> > SDG::DefUseChains

Definition at line 17 of file SDG.h.

typedef std::map< StaticCFG::ControlFlowGraph::Vertex, std::map<StaticCFG::ControlFlowGraph::Vertex, std::vector<StaticCFG::ControlFlowGraph::Edge> > > SDG::DominanceFrontiersT

Definition at line 18 of file util.h.

Function Documentation

bool SDG::filterCfgNode

(

const VirtualCFG::CFGNode &

cfgNode)

bool SDG::filterCFGNodesByKeepingStmt

(

const VirtualCFG::CFGNode &

cfgNode)

void SDG::generateDefUseChainsFromVariableRenaming	(	SgProject *	,
		DefUseChains &
	)

void SDG::generateDefUseChainsFromSSA	(	SgProject *	,
		DefUseChains &
	)

DominanceFrontiersT SDG::buildDominanceFrontiers

(

const StaticCFG::ControlFlowGraph &

cfg)

Build dominance frontiers for all nodes in the given CFG.

bool SDG::isParaPassedByRef

(

SgType *

type)

Check if a parameter of the given type in a function call is passed by reference or not.