ROSE  0.11.50.0
InstructionUnit.h
1 #ifndef ROSE_BinaryAnalysis_ModelChecker_InstructionUnit_H
2 #define ROSE_BinaryAnalysis_ModelChecker_InstructionUnit_H
3 #include <featureTests.h>
4 #ifdef ROSE_ENABLE_BINARY_ANALYSIS
5 
6 #include <Rose/BinaryAnalysis/ModelChecker/ExecutionUnit.h>
7 
8 namespace Rose {
9 namespace BinaryAnalysis {
10 namespace ModelChecker {
11 
16 public:
17  using Ptr = InstructionUnitPtr;
18 
19 private:
20  SgAsmInstruction *insn_;
21 
22 protected:
23  InstructionUnit() = delete;
25 public:
26  ~InstructionUnit();
27 
28 public:
35 
36 public:
44 
45 public:
46  virtual std::string printableName() const override;
47  virtual void printSteps(const SettingsPtr&, std::ostream&, const std::string &prefix,
48  size_t stepOrigin, size_t maxSteps) const override;
49  virtual void toYamlHeader(const SettingsPtr&, std::ostream&, const std::string &prefix) const override;
50  virtual void toYamlSteps(const SettingsPtr&, std::ostream&, const std::string &prefix,
51  size_t stepOrigin, size_t maxSteps) const override;
52  virtual size_t nSteps() const override;
53  virtual Sawyer::Optional<rose_addr_t> address() const override;
54 
55  virtual std::vector<TagPtr>
56  execute(const SettingsPtr&, const SemanticCallbacksPtr&,
58 };
59 
60 } // namespace
61 } // namespace
62 } // namespace
63 
64 #endif
65 #endif
boost::shared_ptr< RiscOperators > RiscOperatorsPtr
Shared-ownership pointer to a RISC operators object.
Information about a source location.
Base class for machine instructions.
An execution unit for a single instruction.
virtual void toYamlSteps(const SettingsPtr &, std::ostream &, const std::string &prefix, size_t stepOrigin, size_t maxSteps) const override
Print the steps for this execution unit in YAML format.
Main namespace for the ROSE library.
virtual Sawyer::Optional< rose_addr_t > address() const override
Property: Address if it has one.
virtual std::string printableName() const override
Property: Printable name.
ExecutionUnitPtr Ptr
Shared ownership pointer for an execution unit.
Definition: ExecutionUnit.h:22
SgAsmInstruction * instruction() const
Property: Instruction.
virtual void printSteps(const SettingsPtr &, std::ostream &, const std::string &prefix, size_t stepOrigin, size_t maxSteps) const override
Print the steps for this execution unit.
virtual void toYamlHeader(const SettingsPtr &, std::ostream &, const std::string &prefix) const override
Print the header information in YAML format.
virtual size_t nSteps() const override
Property: Number of steps required to execute this unit.
static Ptr instance(SgAsmInstruction *, const SourceLocation &)
Allocating constructor.
virtual std::vector< TagPtr > execute(const SettingsPtr &, const SemanticCallbacksPtr &, const InstructionSemantics2::BaseSemantics::RiscOperatorsPtr &) override
Execute the unit to create a new state.