ROSE  0.9.10.75
Rose::BinaryAnalysis::TaintedFlow Member List

This is the complete list of members for Rose::BinaryAnalysis::TaintedFlow, including all inherited members.

Approximation enum nameRose::BinaryAnalysis::TaintedFlow
approximation() const Rose::BinaryAnalysis::TaintedFlowinline
approximation(Approximation a)Rose::BinaryAnalysis::TaintedFlowinline
BOTTOM enum value (defined in Rose::BinaryAnalysis::TaintedFlow)Rose::BinaryAnalysis::TaintedFlow
computeFlowGraphs(const CFG &cfg, size_t cfgStartVertex)Rose::BinaryAnalysis::TaintedFlowinline
getFinalState(size_t cfgVertexId) const Rose::BinaryAnalysis::TaintedFlowinline
initDiagnostics()Rose::BinaryAnalysis::TaintedFlowstatic
merge(Taintedness, Taintedness)Rose::BinaryAnalysis::TaintedFlowstatic
NOT_TAINTED enum value (defined in Rose::BinaryAnalysis::TaintedFlow)Rose::BinaryAnalysis::TaintedFlow
OVER_APPROXIMATE enum value (defined in Rose::BinaryAnalysis::TaintedFlow)Rose::BinaryAnalysis::TaintedFlow
runToFixedPoint(const CFG &cfg, size_t cfgStartVertex, const StatePtr &initialState)Rose::BinaryAnalysis::TaintedFlowinline
smtSolver() const Rose::BinaryAnalysis::TaintedFlowinline
smtSolver(const SmtSolverPtr &solver)Rose::BinaryAnalysis::TaintedFlowinline
stateInstance(Taintedness taint) const Rose::BinaryAnalysis::TaintedFlowinline
StatePtr typedefRose::BinaryAnalysis::TaintedFlow
TAINTED enum value (defined in Rose::BinaryAnalysis::TaintedFlow)Rose::BinaryAnalysis::TaintedFlow
TaintedFlow(const InstructionSemantics2::BaseSemantics::DispatcherPtr &userDispatcher)Rose::BinaryAnalysis::TaintedFlowinlineexplicit
Taintedness enum nameRose::BinaryAnalysis::TaintedFlow
TOP enum value (defined in Rose::BinaryAnalysis::TaintedFlow)Rose::BinaryAnalysis::TaintedFlow
UNDER_APPROXIMATE enum value (defined in Rose::BinaryAnalysis::TaintedFlow)Rose::BinaryAnalysis::TaintedFlow
variables() const Rose::BinaryAnalysis::TaintedFlowinline
VariableTaint typedefRose::BinaryAnalysis::TaintedFlow
vertexFlowGraphs() const Rose::BinaryAnalysis::TaintedFlowinline
vertexFlowGraphs(const DataFlow::VertexFlowGraphs &graphMap)Rose::BinaryAnalysis::TaintedFlowinline