package bap-microx

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type policy = [

| `Random
| `Fixed of int64
| `Interval of int64 * int64

]

val sexp_of_policy : policy -> Ppx_sexp_conv_lib.Sexp.t

class 'a main : ?memory:(Bap.Std.addr ->
  Bap.Std.word option) -> ?lookup:(Bap.Std.var ->
  Bap.Std.word option) -> ?random_seed:int -> ?reg_policy:policy -> ?mem_policy:
  policy -> unit -> 'a Bap.Std.expi

expression interpreter that never halts due to an unknown value.