ROSE  0.11.54.0
Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks Member List

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

attachModelCheckerSolver(const InstructionSemantics2::BaseSemantics::RiscOperatorsPtr &, const SmtSolver::Ptr &)Rose::BinaryAnalysis::ModelChecker::SemanticCallbacksinlinevirtual
createDispatcher(const InstructionSemantics2::BaseSemantics::RiscOperatorsPtr &)=0Rose::BinaryAnalysis::ModelChecker::SemanticCallbackspure virtual
createInitialMemory()=0Rose::BinaryAnalysis::ModelChecker::SemanticCallbackspure virtual
createInitialRegisters()=0Rose::BinaryAnalysis::ModelChecker::SemanticCallbackspure virtual
createInitialState()Rose::BinaryAnalysis::ModelChecker::SemanticCallbacksvirtual
createRiscOperators()=0Rose::BinaryAnalysis::ModelChecker::SemanticCallbackspure virtual
createSolver()=0Rose::BinaryAnalysis::ModelChecker::SemanticCallbackspure virtual
initializeState(const InstructionSemantics2::BaseSemantics::RiscOperatorsPtr &)Rose::BinaryAnalysis::ModelChecker::SemanticCallbacksvirtual
instructionPointer(const InstructionSemantics2::BaseSemantics::RiscOperatorsPtr &)=0Rose::BinaryAnalysis::ModelChecker::SemanticCallbackspure virtual
mcSettings() const Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks
nextCodeAddresses(const InstructionSemantics2::BaseSemantics::RiscOperatorsPtr &)Rose::BinaryAnalysis::ModelChecker::SemanticCallbacksvirtual
nextUnits(const PathPtr &, const InstructionSemantics2::BaseSemantics::RiscOperatorsPtr &, const SmtSolver::Ptr &)=0Rose::BinaryAnalysis::ModelChecker::SemanticCallbackspure virtual
postExecute(const ExecutionUnitPtr &, const InstructionSemantics2::BaseSemantics::RiscOperatorsPtr &)Rose::BinaryAnalysis::ModelChecker::SemanticCallbacksvirtual
preExecute(const ExecutionUnitPtr &, const InstructionSemantics2::BaseSemantics::RiscOperatorsPtr &)Rose::BinaryAnalysis::ModelChecker::SemanticCallbacksvirtual
protoval()Rose::BinaryAnalysis::ModelChecker::SemanticCallbacksvirtual
Ptr typedefRose::BinaryAnalysis::ModelChecker::SemanticCallbacks
reset()Rose::BinaryAnalysis::ModelChecker::SemanticCallbacksinlinevirtual
SemanticCallbacks()=delete (defined in Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks)Rose::BinaryAnalysis::ModelChecker::SemanticCallbacksprotected
SemanticCallbacks(const SettingsPtr &) (defined in Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks)Rose::BinaryAnalysis::ModelChecker::SemanticCallbacksexplicitprotected
~SemanticCallbacks() (defined in Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks)Rose::BinaryAnalysis::ModelChecker::SemanticCallbacksvirtual