Description

Definition at line 106 of file dataflow.h.

Inheritance diagram for IntraUnitDataflow:

[legend]

Collaboration diagram for IntraUnitDataflow:

Public Member Functions
virtual bool	transfer (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo)=0

virtual boost::shared_ptr< IntraDFTransferVisitor >	getTransferVisitor (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo)

Public Member Functions inherited from IntraProceduralDataflow
virtual void	genInitState (const Function &func, const DataflowNode &n, const NodeState &state, std::vector< Lattice * > &initLattices, std::vector< NodeFact * > &initFacts)=0

void	setInterAnalysis (InterProceduralDataflow *interDataflowAnalysis)

void	setInterAnalysis (IntraProceduralDataflow *intraDFAnalysis)

virtual bool	runAnalysis (const Function &func, NodeState *state, bool analyzeDueToCallers, std::set< Function > calleesUpdated)=0

bool	runAnalysis (const Function &func, NodeState *state)

InterProceduralDataflow *	getInterAnalysis () const

Public Member Functions inherited from IntraProceduralAnalysis
void	setInterAnalysis (InterProceduralAnalysis *interAnalysis)

Public Member Functions inherited from Analysis
	Analysis (bool(*f)(CFGNode)=defaultFilter)

Additional Inherited Members
Public Attributes inherited from IntraProceduralDataflow
std::set< Function >	visited

Public Attributes inherited from Analysis
bool(*	filter )(CFGNode cfgn)

Protected Attributes inherited from IntraProceduralAnalysis
InterProceduralAnalysis *	interAnalysis

Member Function Documentation

virtual bool IntraUnitDataflow::transfer	(	const Function &	func,
		const DataflowNode &	n,
		NodeState &	state,
		const std::vector< Lattice * > &	dfInfo
	)

pure virtual

Implemented in TaintAnalysis.

virtual boost::shared_ptr< IntraDFTransferVisitor > IntraUnitDataflow::getTransferVisitor	(	const Function &	func,
		const DataflowNode &	n,
		NodeState &	state,
		const std::vector< Lattice * > &	dfInfo
	)

inlinevirtual

Definition at line 149 of file dataflow.h.

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