Module `Create.Make`

Parameters

module Reg : Arch_settings.Registers with module Domain = Domain

Signature

module State : StateS with module Domain = Domain

val expr : 
  Binsec.Dba.Expr.t Syntax_tree.located ->
  State.t ->
  (Domain.binary * State.t) option

Analyse a DBA instruction starting from a state. idx is the position of the expression, and is used to precisely track the location in the source code.

val instr : 
  State.t ->
  Binsec.Dba.Instr.t Syntax_tree.located ->
  (jump_target * State.t) list

Analyse a DBA instruction starting from a state. idx is the index of the DBA instruction in the dhunk, and is used to precisely track the location in the source code.

Module Create.Make

Parameters

Signature

Module `Create.Make`