| Approximation enum name | Rose::BinaryAnalysis::TaintedFlow | |
| approximation() const | Rose::BinaryAnalysis::TaintedFlow | inline |
| approximation(Approximation a) | Rose::BinaryAnalysis::TaintedFlow | inline |
| BOTTOM enum value (defined in Rose::BinaryAnalysis::TaintedFlow) | Rose::BinaryAnalysis::TaintedFlow | |
| computeFlowGraphs(const CFG &cfg, size_t cfgStartVertex) | Rose::BinaryAnalysis::TaintedFlow | inline |
| getFinalState(size_t cfgVertexId) const | Rose::BinaryAnalysis::TaintedFlow | inline |
| initDiagnostics() | Rose::BinaryAnalysis::TaintedFlow | static |
| merge(Taintedness, Taintedness) | Rose::BinaryAnalysis::TaintedFlow | static |
| 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::TaintedFlow | inline |
| smtSolver() const | Rose::BinaryAnalysis::TaintedFlow | inline |
| smtSolver(const SmtSolverPtr &solver) | Rose::BinaryAnalysis::TaintedFlow | inline |
| stateInstance(Taintedness taint) const | Rose::BinaryAnalysis::TaintedFlow | inline |
| StatePtr typedef | Rose::BinaryAnalysis::TaintedFlow | |
| TAINTED enum value (defined in Rose::BinaryAnalysis::TaintedFlow) | Rose::BinaryAnalysis::TaintedFlow | |
| TaintedFlow(const InstructionSemantics::BaseSemantics::DispatcherPtr &userDispatcher) | Rose::BinaryAnalysis::TaintedFlow | inlineexplicit |
| Taintedness enum name | Rose::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::TaintedFlow | inline |
| VariableTaint typedef | Rose::BinaryAnalysis::TaintedFlow | |
| vertexFlowGraphs() const | Rose::BinaryAnalysis::TaintedFlow | inline |
| vertexFlowGraphs(const DataFlow::VertexFlowGraphs &graphMap) | Rose::BinaryAnalysis::TaintedFlow | inline |
