Binsec_kernel_isa.InstructionSourceCanonical representation of an instruction
type t = private {address : Binsec_base.Virtual_address.t;size : Binsec_base.Size.Byte.t;opcode : Binsec_base.Binstream.t;mnemonic : Binsec_base.Mnemonic.t;dba_block : Binsec_kernel_dba.Dhunk.t;}Accessors
val create :
Binsec_base.Virtual_address.t ->
Binsec_base.Size.Byte.t ->
Binsec_base.Binstream.t ->
Binsec_base.Mnemonic.t ->
Binsec_kernel_dba.Dhunk.t ->
tval unsupported :
Binsec_base.Virtual_address.t ->
Binsec_base.Size.Byte.t ->
Binsec_base.Binstream.t ->
Binsec_base.Mnemonic.t ->
tCreate an instruction without supporting DBA semantics.
This function should not be used when the menmonic is supported. It will fail in that case.
val of_generic_instruction :
Binsec_base.Virtual_address.t ->
Generic.t ->
Binsec_kernel_dba.Dhunk.t ->
tval of_dba_block :
?mnemonic:Binsec_base.Mnemonic.t ->
Binsec_base.Virtual_address.t ->
Binsec_kernel_dba.Dhunk.t ->
tinclude Binsec_base.Sigs.PRINTABLE with type t := t