package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module S : Libsolver.S

Signature

type bl = S.Bl.t
type bv = S.Bv.t
type ax = S.Ax.t
val addr_space : int
val visit_bl : Expr.t -> bl
val visit_bv : Expr.t -> bv
val visit_ax : Memory.t -> ax
val iter_free_variables : (string -> Expr.t -> unit) -> unit
val iter_free_arrays : (string -> Memory.t -> unit) -> unit
val get : Expr.t -> bv
OCaml

Innovation. Community. Security.