attachModelCheckerSolver(const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &, const SmtSolver::Ptr &) | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | inlinevirtual |
createDispatcher(const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &)=0 | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | pure virtual |
createInitialMemory()=0 | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | pure virtual |
createInitialRegisters()=0 | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | pure virtual |
createInitialState() | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | virtual |
createRiscOperators()=0 | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | pure virtual |
createSolver()=0 | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | pure virtual |
initializeState(const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &) | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | virtual |
instructionPointer(const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &)=0 | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | pure virtual |
mcSettings() const | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | |
nextCodeAddresses(const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &) | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | virtual |
nextUnits(const PathPtr &, const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &, const SmtSolver::Ptr &)=0 | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | pure virtual |
parsePath(const Yaml::Node &, const std::string &sourceName)=0 | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | pure virtual |
postExecute(const ExecutionUnitPtr &, const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &) | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | virtual |
preExecute(const ExecutionUnitPtr &, const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &) | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | virtual |
protoval() | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | virtual |
Ptr typedef | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | |
reset() | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | inlinevirtual |
SemanticCallbacks()=delete (defined in Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks) | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | protected |
SemanticCallbacks(const SettingsPtr &) (defined in Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks) | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | explicitprotected |
~SemanticCallbacks() (defined in Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks) | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | virtual |