ROSE
0.11.131.0
|
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) |