package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = Expr.t StTbl.t * Bv.t BvTbl.t * char BiTbl.t * char BiTbl.t StTbl.t * int
val empty : int -> t
val eval : ?symbols:(Expr.t -> Binsec.Bitvector.t) -> ?memory:(Memory.t -> Binsec.Bitvector.t -> char) -> t -> Expr.t -> Bv.t
val pp : Format.formatter -> t -> unit