Description
Dispatches instructions through the RISC layer.
The dispatcher is the instruction semantics entity that translates a high-level architecture-dependent instruction into a sequence of RISC operators whose interface is defined by ROSE. These classes are the key in ROSE's ability to connect a variety of instruction set architectures to a variety of semantic domains.
Each dispatcher contains a table indexed by the machine instruction "kind" (e.g., SgAsmMipsInstruction::get_kind()). The table stores functors derived from the abstract InsnProcessor class. (FIXME: The functors are not currently reference counted; they are owned by the dispatcher and deleted when the dispatcher is destroyed. [Robb Matzke 2013-03-04])
Dispatcher objects are allocated on the heap and reference counted. The BaseSemantics::Dispatcher is an abstract class that defines the interface. See the Rose::BinaryAnalysis::InstructionSemantics2 namespace for an overview of how the parts fit together.
Definition at line 2244 of file BaseSemantics2.h.
#include <BaseSemantics2.h>
Public Types | |
| typedef DispatcherPtr | Ptr |
| Shared-ownership pointer for a Dispatcher object. More... | |
Public Member Functions | |
| virtual DispatcherPtr | create (const RiscOperatorsPtr &ops, size_t addrWidth=0, const RegisterDictionary *regs=NULL) const =0 |
| Virtual constructor. More... | |
| virtual void | processInstruction (SgAsmInstruction *insn) |
| Process a single instruction. More... | |
| virtual InsnProcessor * | iproc_lookup (SgAsmInstruction *insn) |
| Lookup the processor for an instruction. More... | |
| virtual void | iproc_replace (SgAsmInstruction *insn, InsnProcessor *iproc) |
| Replace an instruction processor with another. More... | |
| virtual int | iproc_key (SgAsmInstruction *) const =0 |
| Given an instruction, return the InsnProcessor key that can be used as an index into the iproc_table. More... | |
| virtual void | iproc_set (int key, InsnProcessor *iproc) |
| Set an iproc table entry to the specified value. More... | |
| virtual InsnProcessor * | iproc_get (int key) |
| Obtain an iproc table entry for the specified key. More... | |
| virtual RiscOperatorsPtr | get_operators () const |
| Get a pointer to the RISC operators object. More... | |
| virtual StatePtr | currentState () const |
| Get a pointer to the state object. More... | |
| virtual StatePtr | get_state () const ROSE_DEPRECATED("use currentState instead") |
| virtual SValuePtr | protoval () const |
| Return the prototypical value. More... | |
| virtual SValuePtr | get_protoval () const ROSE_DEPRECATED("use protoval instead") |
| virtual SgAsmInstruction * | currentInstruction () const |
| Returns the instruction that is being processed. More... | |
| virtual SgAsmInstruction * | get_insn () const ROSE_DEPRECATED("use currentInstruction instead") |
| virtual SValuePtr | undefined_ (size_t nbits) const |
| Return a new undefined semantic value. More... | |
| virtual SValuePtr | unspecified_ (size_t nbits) const |
| virtual SValuePtr | number_ (size_t nbits, uint64_t number) const |
| Return a semantic value representing a number. More... | |
| virtual RegisterDescriptor | findRegister (const std::string ®name, size_t nbits=0, bool allowMissing=false) const |
| Lookup a register by name. More... | |
| virtual RegisterDescriptor | instructionPointerRegister () const =0 |
| Returns the instruction pointer register. More... | |
| virtual RegisterDescriptor | stackPointerRegister () const =0 |
| Returns the stack pointer register. More... | |
| virtual void | advanceInstructionPointer (SgAsmInstruction *) |
| Update the instruction pointer register. More... | |
| virtual RegisterDescriptor | segmentRegister (SgAsmMemoryReferenceExpression *) |
| Returns a register descriptor for the segment part of a memory reference expression. More... | |
| virtual void | incrementRegisters (SgAsmExpression *) |
| Increment all auto-increment registers in the expression. More... | |
| virtual void | decrementRegisters (SgAsmExpression *) |
| Decrement all auto-decrement registers in the expression. More... | |
| virtual SValuePtr | effectiveAddress (SgAsmExpression *, size_t nbits=0) |
| Returns a memory address by evaluating the address expression. More... | |
| virtual SValuePtr | read (SgAsmExpression *, size_t value_nbits=0, size_t addr_nbits=0) |
| Reads an R-value expression. More... | |
| virtual void | write (SgAsmExpression *, const SValuePtr &value, size_t addr_nbits=0) |
| Writes to an L-value expression. More... | |
| virtual const RegisterDictionary * | get_register_dictionary () const |
| Access the register dictionary. More... | |
| virtual void | set_register_dictionary (const RegisterDictionary *regdict) |
| Access the register dictionary. More... | |
| size_t | addressWidth () const |
| Property: Width of memory addresses. More... | |
| void | addressWidth (size_t nbits) |
| Property: Width of memory addresses. More... | |
| bool | autoResetInstructionPointer () const |
| Property: Reset instruction pointer register for each instruction. More... | |
| void | autoResetInstructionPointer (bool b) |
| Property: Reset instruction pointer register for each instruction. More... | |
Protected Types | |
| typedef std::vector< InsnProcessor * > | InsnProcessors |
Protected Member Functions | |
| Dispatcher (size_t addrWidth, const RegisterDictionary *regs) | |
| Dispatcher (const RiscOperatorsPtr &ops, size_t addrWidth, const RegisterDictionary *regs) | |
Protected Attributes | |
| RiscOperatorsPtr | operators |
| const RegisterDictionary * | regdict |
| See set_register_dictionary(). More... | |
| size_t | addrWidth_ |
| Width of memory addresses in bits. More... | |
| bool | autoResetInstructionPointer_ |
| Reset instruction pointer register for each instruction. More... | |
| InsnProcessors | iproc_table |
Member Typedef Documentation
Shared-ownership pointer for a Dispatcher object.
See Shared ownership.
Definition at line 2288 of file BaseSemantics2.h.
Member Function Documentation
|
pure virtual |
Virtual constructor.
Implemented in Rose::BinaryAnalysis::InstructionSemantics2::DispatcherX86, Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k, and Rose::BinaryAnalysis::InstructionSemantics2::DispatcherPowerpc.
|
virtual |
Process a single instruction.
|
virtual |
Lookup the processor for an instruction.
Looks up the functor that has been registered to process the given instruction. Returns the null pointer if the instruction cannot be processed. Instruction processor objects are managed by the caller; the instruction itself is only used for the duration of this call.
|
virtual |
Replace an instruction processor with another.
The processor for the specified instruction is replaced with the specified processor, which may be the null pointer. Instruction processor objects are managed by the caller; the instruction itself is only used for the duration of this call.
|
pure virtual |
Given an instruction, return the InsnProcessor key that can be used as an index into the iproc_table.
Implemented in Rose::BinaryAnalysis::InstructionSemantics2::DispatcherX86, Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k, and Rose::BinaryAnalysis::InstructionSemantics2::DispatcherPowerpc.
|
virtual |
Set an iproc table entry to the specified value.
The iproc object will become owned by this dispatcher and deleted when this dispatcher is destroyed.
|
virtual |
Obtain an iproc table entry for the specified key.
|
inlinevirtual |
Get a pointer to the RISC operators object.
Definition at line 2340 of file BaseSemantics2.h.
|
inlinevirtual |
Get a pointer to the state object.
The state is stored in the RISC operators object, so this is just here for convenience.
Definition at line 2344 of file BaseSemantics2.h.
|
inlinevirtual |
Return the prototypical value.
The prototypical value comes from the RISC operators object.
Definition at line 2352 of file BaseSemantics2.h.
|
inlinevirtual |
Returns the instruction that is being processed.
The instruction comes from the currentInstruction method of the RiscOperators object.
Definition at line 2363 of file BaseSemantics2.h.
|
inlinevirtual |
Return a new undefined semantic value.
Definition at line 2373 of file BaseSemantics2.h.
|
inlinevirtual |
Return a semantic value representing a number.
Definition at line 2383 of file BaseSemantics2.h.
|
inlinevirtual |
Access the register dictionary.
The register dictionary defines the set of registers over which the RISC operators may operate. This should be same registers (or superset thereof) whose values are stored in the machine state(s). This dictionary is used by the Dispatcher class to translate register names to register descriptors. For instance, to read from the "eax" register, the dispatcher will look up "eax" in its register dictionary and then pass that descriptor to the RiscOperators::readRegister operation. Register descriptors are also stored in instructions when the instruction is disassembled, so the dispatcher should probably be using the same registers as the disassembler, or a superset thereof.
The register dictionary should not be changed after a dispatcher is instantiated because the dispatcher's constructor may query the dictionary and cache the resultant register descriptors.
Definition at line 2402 of file BaseSemantics2.h.
References Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RegisterState::regdict.
Referenced by Rose::BinaryAnalysis::InstructionSemantics2::DispatcherPowerpc::create(), Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::create(), and Rose::BinaryAnalysis::InstructionSemantics2::DispatcherX86::create().
|
inlinevirtual |
Access the register dictionary.
The register dictionary defines the set of registers over which the RISC operators may operate. This should be same registers (or superset thereof) whose values are stored in the machine state(s). This dictionary is used by the Dispatcher class to translate register names to register descriptors. For instance, to read from the "eax" register, the dispatcher will look up "eax" in its register dictionary and then pass that descriptor to the RiscOperators::readRegister operation. Register descriptors are also stored in instructions when the instruction is disassembled, so the dispatcher should probably be using the same registers as the disassembler, or a superset thereof.
The register dictionary should not be changed after a dispatcher is instantiated because the dispatcher's constructor may query the dictionary and cache the resultant register descriptors.
Reimplemented in Rose::BinaryAnalysis::InstructionSemantics2::DispatcherX86, Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k, and Rose::BinaryAnalysis::InstructionSemantics2::DispatcherPowerpc.
Definition at line 2405 of file BaseSemantics2.h.
References Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::RegisterState::regdict.
|
virtual |
Lookup a register by name.
This dispatcher's register dictionary is consulted and the specified register is located by name. If a bit width is specified (nbits) then it must match the size of register that was found. If a valid register cannot be found then either an exception is thrown or an invalid register is returned depending on whether allowMissing is false or true, respectively.
|
inline |
Property: Width of memory addresses.
This property defines the width of memory addresses. All memory reads and writes (and any other defined memory operations) should pass address expressions that are this width. The address width cannot be changed once it's set.
Definition at line 2422 of file BaseSemantics2.h.
Referenced by Rose::BinaryAnalysis::InstructionSemantics2::DispatcherPowerpc::create(), Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::create(), and Rose::BinaryAnalysis::InstructionSemantics2::DispatcherX86::create().
| void Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Dispatcher::addressWidth | ( | size_t | nbits | ) |
Property: Width of memory addresses.
This property defines the width of memory addresses. All memory reads and writes (and any other defined memory operations) should pass address expressions that are this width. The address width cannot be changed once it's set.
|
pure virtual |
Returns the instruction pointer register.
Implemented in Rose::BinaryAnalysis::InstructionSemantics2::DispatcherX86, Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k, and Rose::BinaryAnalysis::InstructionSemantics2::DispatcherPowerpc.
|
pure virtual |
Returns the stack pointer register.
Implemented in Rose::BinaryAnalysis::InstructionSemantics2::DispatcherX86, Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k, and Rose::BinaryAnalysis::InstructionSemantics2::DispatcherPowerpc.
|
inline |
Property: Reset instruction pointer register for each instruction.
If this property is set, then each time an instruction is processed, the first thing that happens is that the instruction pointer register is reset to the concrete address of the instruction.
Definition at line 2438 of file BaseSemantics2.h.
|
inline |
Property: Reset instruction pointer register for each instruction.
If this property is set, then each time an instruction is processed, the first thing that happens is that the instruction pointer register is reset to the concrete address of the instruction.
Definition at line 2439 of file BaseSemantics2.h.
|
virtual |
Update the instruction pointer register.
Causes the instruction pointer register to point to the address following the specified instruction. Since every instruction has a concrete address, we could simply set the instruction pointer to that concrete address. However, some analyses depend on having an instruction pointer value that's built up by processing one instruction after another. Therefore, if we can recognize the register state implementation and determine that the instruction pointer registers' value is already stored, we'll increment that value, which might result in a concrete value depending on the semantic domain. Otherwise we just explicitly assign a new concrete value to that register.
|
virtual |
Returns a register descriptor for the segment part of a memory reference expression.
Many architectures don't use segment registers (they have a flat virtual address space), in which case the returned register descriptor's is_valid() method returns false.
|
virtual |
Increment all auto-increment registers in the expression.
This method traverses the expression and increments each the register of each register reference expression that has a positive adjustment value. If the same register is encountered multiple times then it is incremented multiple times.
|
virtual |
Decrement all auto-decrement registers in the expression.
This method traverses the expression and increments each the register of each register reference expression that has a negative adjustment value. If the same register is encountered multiple times then it is decremented multiple times.
|
virtual |
Returns a memory address by evaluating the address expression.
The address expression can be either a constant or an expression containing operators and constants. If nbits is non-zero then the result is sign extended or truncated to the specified width, otherwise the returned SValue is the natural width of the expression.
|
virtual |
Reads an R-value expression.
The expression can be a constant, register reference, or memory reference. The width of the returned value is specified by the value_nbits argument, and if this argument is zero then the width of the expression type is used. The width of the address passed to lower-level memory access functions is specified by addr_nbits. If addr_nbits is zero then the natural width of the effective address is passed to lower level functions.
Reimplemented in Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k.
|
virtual |
Writes to an L-value expression.
The expression can be a register or memory reference. The width of the address passed to lower-level memory access functions is specified by addr_nbits. If addr_nbits is zero then the natural width of the effective address is passed to lower level functions.
Reimplemented in Rose::BinaryAnalysis::InstructionSemantics2::DispatcherX86.
Member Data Documentation
|
protected |
See set_register_dictionary().
Definition at line 2247 of file BaseSemantics2.h.
|
protected |
Width of memory addresses in bits.
Definition at line 2248 of file BaseSemantics2.h.
|
protected |
Reset instruction pointer register for each instruction.
Definition at line 2249 of file BaseSemantics2.h.
The documentation for this class was generated from the following file:
