package owi

  1. Overview
  2. Docs
type t = {
  1. choices : int;
  2. mutable symbol_set : Smtml.Symbol.t list;
  3. pc : Symbolic_value.vbool list;
  4. memories : Symbolic_memory.collection;
  5. tables : Symbolic_table.collection;
  6. globals : Symbolic_global.collection;
    (*

    Breadcrumbs represent the list of choices that were made so far. They identify one given symbolic execution trace.

    *)
  7. breadcrumbs : int32 list;
}
val pc : t -> Symbolic_value.vbool list
val memories : t -> Symbolic_memory.collection
val globals : t -> Symbolic_global.collection
val breadcrumbs : t -> int32 list
val create : unit -> t
val clone : t -> t
OCaml

Innovation. Community. Security.