bap-microx 1.6.0 · OCaml Package

constraint 'b = Conqueror.context

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

method empty : Bap.Std.Bil.storage

method enter_term : 't 'p. ('p, 't) Bap.Std.cls ->
  't Bap.Std.term ->
  'b Bap.Std.Biri.u

method eval : 't 'p. ('p, 't) Bap.Std.cls ->
  't Bap.Std.term ->
  'b Bap.Std.Biri.u

method eval_arg : Bap.Std.arg Bap.Std.term -> 'b Bap.Std.Biri.u

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

method eval_blk : Bap.Std.blk Bap.Std.term -> 'b Bap.Std.Biri.u

method eval_call : Bap.Std.call -> 'b Bap.Std.Biri.u

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

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

method eval_def : Bap.Std.def Bap.Std.term -> 'b Bap.Std.Biri.u

method eval_direct : Bap.Std.tid -> 'b Bap.Std.Biri.u

method eval_exn : int -> Bap.Std.tid -> 'b Bap.Std.Biri.u

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

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

method eval_goto : Bap.Std.label -> 'b Bap.Std.Biri.u

method eval_indirect : Bap.Std.exp -> 'b Bap.Std.Biri.u

method eval_int : Bap.Std.word ->
  (Bap.Std.Bil.result, 'b) Bap.Std.Eval.T2(Bap.Std.Biri.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.Biri.Expi.M).m

method eval_jmp : Bap.Std.jmp Bap.Std.term -> 'b Bap.Std.Biri.u

method eval_let : Bap.Std.var ->
  Bap.Std.exp ->
  Bap.Std.exp ->
  (Bap.Std.Bil.result, 'b) Bap.Std.Eval.T2(Bap.Std.Biri.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.Biri.Expi.M).m

method eval_phi : Bap.Std.phi Bap.Std.term -> 'b Bap.Std.Biri.u

method eval_ret : Bap.Std.label -> 'b Bap.Std.Biri.u

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.Biri.Expi.M).m

method eval_sub : Bap.Std.sub Bap.Std.term -> 'b Bap.Std.Biri.u

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

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

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

method leave_term : 't 'p. ('p, 't) Bap.Std.cls ->
  't Bap.Std.term ->
  'b Bap.Std.Biri.u

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

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

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

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

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

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

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

package bap-microx