Module Instruction_stubs

module Instruction_stubs: sig .. end
Instruction stubs (DSE)


This module provides logical stubs for not decoded instruction. Indeed, while it might be hard to provide an exact semantic decoding of an instruction it might be handy to provided a stub to concretize a given value or to approximate it by injecting a new symbol into.
val opcode_to_mnemonic : string -> Instruction_piqi.instr_ident
convert the binary string of the opcode to a variant of type Instruction_piqi.instr_ident
val dispatch_instruction : Instruction_piqi.instr_pol list ->
Trace_type.trace_inst -> Path_pred_env.t -> unit
Dispatch an instruction ident to the right symbolic stub