bap-microx

A micro execution framework
Module Microx . Std
module Concretizer = Microx_concretizer
module Conqueror = Microx_conqueror
class +'a concretizer : ?memory:( Bap.Std.addr -> Bap.Std.word option ) -> ?lookup:( Bap.Std.var -> Bap.Std.word option ) -> ?random_seed:int -> ?reg_policy:Concretizer.policy -> ?mem_policy: Concretizer.policy -> unit -> object ... end
class +'a conqueror : ?deterministic:bool -> Bap.Std.program Bap.Std.term -> object ... end