Rose::BinaryAnalysis::TaintedFlow::TransferFunction Class Reference

Description

Definition at line 120 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)

---

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

• TaintedFlow.h