package bap-microx

  1. Overview
  2. Docs

execution context.

The context defines the state of execution.

  • parameter max_steps

    the maximum number of steps, that should be taken in a single path.

  • parameter max_loop

    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