bap-microx

A micro execution framework
method visited : int Bap.Std.Tid.Map.t
method add_checkpoint : Bap.Std.tid -> 's
method checkpoints : 's Bap.Std.Tid.Map.t Bap.Std.Tid.Map.t
method backtrack : 's option
method merge : 's -> 's
method return : 's
method store_return : Bap.Std.tid -> 's
method visit_term : Bap.Std.tid -> 's
method enter_sub : Bap.Std.sub Bap.Std.term -> 's
method leave_sub : Bap.Std.sub Bap.Std.term -> 's
method enter_blk : Bap.Std.blk Bap.Std.term -> 's
method blk : Bap.Std.blk Bap.Std.term option
method step : 's option
method will_loop : Bap.Std.tid -> bool
method will_return : Bap.Std.tid -> bool