package bap-microx

  1. Overview
  2. Docs
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