package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
type load = ([ `Mem ], string, Libterm.Sexpr.Memory.t) Binsec.Term.t
type t = {
  1. mutable constraints : Libterm.Sexpr.Expr.t list;
  2. mutable conjunction : Libterm.Sexpr.Expr.t;
  3. secrets : Libterm.Sexpr.Expr.t Libterm.Sexpr.BvTbl.t;
  4. mirror_e : Libterm.Sexpr.Expr.t Libterm.Sexpr.BvTbl.t;
  5. mirror_m : Libterm.Sexpr.Memory.t Libterm.Sexpr.AxTbl.t;
  6. mutable loads : load list;
  7. roots : Libterm.Sexpr.Memory.t Libterm.Sexpr.AxTbl.t;
  8. mutable models : (int * Libterm.Sexpr.Model.t) list;
}
val empty : unit -> t
val fork : t -> t
val mirror : Libterm.Sexpr.Expr.t -> t -> unit
val is_tainted : Libterm.Sexpr.Expr.t -> t -> bool
val is_tainted_memory : Libterm.Sexpr.Memory.t -> t -> bool
val make_mirror_e : Libterm.Sexpr.Expr.t -> t -> Libterm.Sexpr.Expr.t
val make_context : Libterm.Sexpr.Expr.t list -> t -> unit