bap-microx

A micro execution framework
Module Microx . Std
constraint 'b = Bap.Std.Expi.context
method division_by_zero : unit -> 'b Bap.Std.Expi.r
method empty : Bap.Std.Bil.storage
method eval_extract : int -> int -> Bap.Std.exp -> ( 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 lookup : Bap.Std.var -> '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