ROSE  0.9.9.168
Public Member Functions | List of all members
Rose::BinaryAnalysis::TaintedFlow::TransferFunction Class Reference

Description

Definition at line 119 of file BinaryTaintedFlow.h.

Public Member Functions

 TransferFunction (const DataFlow::VertexFlowGraphs &index, Approximation approx, SmtSolver *solver, Sawyer::Message::Facility &mlog)
 
template<class CFG >
StatePtr operator() (const CFG &cfg, size_t cfgVertex, const StatePtr &in)
 
StatePtr operator() (size_t cfgVertex, const StatePtr &in)
 
std::string printState (const StatePtr &in)
 

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