You can search for identifiers within the package.
in-package search v0.2.0
execution context.
The context defines the state of execution.
the maximum number of steps, that should be taken in a single path.
the maximum number of loop iterations (note only loops inner to a function are detected, so recursive loops may stall the interpreter.
inherit Bap.Std.Biri.context
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