| attachModelCheckerSolver(const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &, const SmtSolver::Ptr &) override | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | virtual |
| createDispatcher(const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &) override | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | virtual |
| createInitialMemory() override | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | virtual |
| createInitialRegisters() override | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | virtual |
| createInitialState() override | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | virtual |
| createRiscOperators() override | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | virtual |
| createSolver() override | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | virtual |
| filterNullDeref(const InstructionSemantics::BaseSemantics::SValuePtr &addr, SgAsmInstruction *, TestMode testMode, IoMode ioMode) | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | virtual |
| filterOobAccess(const InstructionSemantics::BaseSemantics::SValuePtr &addr, const AddressInterval &referencedRegion, const AddressInterval &accessedRegion, SgAsmInstruction *insn, TestMode testMode, IoMode ioMode, const Variables::StackVariable &intendedVariable, const AddressInterval &intendedVariableLocation, const Variables::StackVariable &accessedVariable, const AddressInterval &accessedVariableLocation) | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | virtual |
| filterUninitVar(const InstructionSemantics::BaseSemantics::SValuePtr &addr, const AddressInterval &referencedREgion, const AddressInterval &accessedRegion, SgAsmInstruction *insn, TestMode testMode, const Variables::StackVariable &variable, const AddressInterval &variableLocation) (defined in Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks) | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | virtual |
| followingOnePath() const | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | |
| followingOnePath(bool) | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | |
| followOnePath(const std::list< ExecutionUnitPtr > &) | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | |
| initializeState(const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &) override | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | virtual |
| instance(const ModelChecker::SettingsPtr &, const Settings &, const Partitioner2::Partitioner &) (defined in Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks) | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | static |
| instructionPointer(const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &) override | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | virtual |
| mcSettings() const | Rose::BinaryAnalysis::ModelChecker::SemanticCallbacks | |
| nDuplicateStates() const | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | |
| nextCodeAddresses(const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &) override | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | virtual |
| nextUnits(const PathPtr &, const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &, const SmtSolver::Ptr &) override | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | virtual |
| nSolverFailures() const | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | |
| nUnitsReached() const | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | |
| parsePath(const Yaml::Node &, const std::string &sourceName) override | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | virtual |
| partitioner() const | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | |
| postExecute(const ExecutionUnitPtr &, const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &) override | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | virtual |
| preExecute(const ExecutionUnitPtr &, const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &) override | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | virtual |
| protoval() override | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | virtual |
| Ptr typedef (defined in Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks) | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | |
| reset() override | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | virtual |
| SemanticCallbacks(const ModelChecker::SettingsPtr &, const Settings &, const Partitioner2::Partitioner &) (defined in Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks) | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | protected |
| 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 |
| smtMemoizer() const | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | |
| smtMemoizer(const SmtSolver::Memoizer::Ptr &) | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | |
| UnitCounts typedef (defined in Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks) | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | |
| unitsReached() const | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | |
| ~SemanticCallbacks() (defined in Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks) | Rose::BinaryAnalysis::ModelChecker::P2Model::SemanticCallbacks | virtual |
