bap-microx 1.6.0 · OCaml Package

constraint 'b = Bap.Std.Expi.context

method division_by_zero : unit -> 'b Bap.Std.Expi.r

method empty : Bap.Std.Bil.storage

method eval_binop : Bap.Std.binop ->
  Bap.Std.exp ->
  Bap.Std.exp ->
  (Bap.Std.Bil.result, 'b) Bap.Std.Eval.T2(Bap.Std.Expi.M).m

method eval_cast : Bap.Std.cast ->
  int ->
  Bap.Std.exp ->
  (Bap.Std.Bil.result, 'b) Bap.Std.Eval.T2(Bap.Std.Expi.M).m

method eval_concat : Bap.Std.exp ->
  Bap.Std.exp ->
  (Bap.Std.Bil.result, 'b) Bap.Std.Eval.T2(Bap.Std.Expi.M).m

method eval_exp : Bap.Std.exp ->
  (Bap.Std.Bil.result, 'b) Bap.Std.Eval.T2(Bap.Std.Expi.M).m

method eval_extract : int ->
  int ->
  Bap.Std.exp ->
  (Bap.Std.Bil.result, 'b) Bap.Std.Eval.T2(Bap.Std.Expi.M).m

method eval_int : Bap.Std.word ->
  (Bap.Std.Bil.result, 'b) Bap.Std.Eval.T2(Bap.Std.Expi.M).m

method eval_ite : cond:Bap.Std.exp ->
  yes:Bap.Std.exp ->
  no:Bap.Std.exp ->
  (Bap.Std.Bil.result, 'b) Bap.Std.Eval.T2(Bap.Std.Expi.M).m

method eval_let : Bap.Std.var ->
  Bap.Std.exp ->
  Bap.Std.exp ->
  (Bap.Std.Bil.result, 'b) Bap.Std.Eval.T2(Bap.Std.Expi.M).m

method eval_load : mem:Bap.Std.exp ->
  addr:Bap.Std.exp ->
  Bap.Std.endian ->
  Bap.Std.size ->
  (Bap.Std.Bil.result, 'b) Bap.Std.Eval.T2(Bap.Std.Expi.M).m

method eval_store : mem:Bap.Std.exp ->
  addr:Bap.Std.exp ->
  Bap.Std.exp ->
  Bap.Std.endian ->
  Bap.Std.size ->
  (Bap.Std.Bil.result, 'b) Bap.Std.Eval.T2(Bap.Std.Expi.M).m

method eval_unknown : string ->
  Bap.Std.typ ->
  (Bap.Std.Bil.result, 'b) Bap.Std.Eval.T2(Bap.Std.Expi.M).m

method eval_unop : Bap.Std.unop ->
  Bap.Std.exp ->
  (Bap.Std.Bil.result, 'b) Bap.Std.Eval.T2(Bap.Std.Expi.M).m

method eval_var : Bap.Std.var ->
  (Bap.Std.Bil.result, 'b) Bap.Std.Eval.T2(Bap.Std.Expi.M).m

method load : Bap.Std.Bil.storage -> Bap.Std.addr -> 'b Bap.Std.Expi.r

method lookup : Bap.Std.var -> 'b Bap.Std.Expi.r

method store : Bap.Std.Bil.storage ->
  Bap.Std.addr ->
  Bap.Std.word ->
  'b Bap.Std.Expi.r

method type_error : Bap.Std.type_error -> 'b Bap.Std.Expi.r

method undefined_addr : Bap.Std.addr -> 'b Bap.Std.Expi.r

method undefined_var : Bap.Std.var -> 'b Bap.Std.Expi.r

method update : Bap.Std.var -> Bap.Std.Bil.result -> 'b Bap.Std.Expi.u

package bap-microx