package bap-microx

  1. Overview
  2. Docs

BIR interpreter, that executes a program in a given context.

  • parameter deterministic

    if is true then only feasible execution path is taken, otherwise, the interpreter, will execute all linearly independent paths.

inherit 'a Bap.Std.biri
constraint 'a = context