Description

Definition at line 119 of file TaintedFlow.h.

Public Member Functions
	TransferFunction (const DataFlow::VertexFlowGraphs &index, Approximation approx, const SmtSolverPtr &solver, Sawyer::Message::Facility &mlog)

template<class CFG >
StatePtr	operator() (const CFG &, size_t cfgVertex, const StatePtr &in)

StatePtr	operator() (size_t cfgVertex, const StatePtr &in)

std::string	toString (const StatePtr &in)

Constructor & Destructor Documentation

Rose::BinaryAnalysis::TaintedFlow::TransferFunction::TransferFunction	(	const DataFlow::VertexFlowGraphs &	index,
		Approximation	approx,
		const SmtSolverPtr &	solver,
		Sawyer::Message::Facility &	mlog
	)

inline

Definition at line 125 of file TaintedFlow.h.

template<class CFG >

StatePtr Rose::BinaryAnalysis::TaintedFlow::TransferFunction::operator()	(	const CFG &	,
		size_t	cfgVertex,
		const StatePtr &	in
	)

inline

Definition at line 130 of file TaintedFlow.h.

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