package binsec

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

Module Native_solver.SolverSource

Parameters

Signature

Sourcetype result =
  1. | Sat
  2. | Unsat
  3. | Unknown
Sourcetype term
Sourcetype value
Sourcetype memory
Sourcetype access =
  1. | Select of term * int
  2. | Store of term
Sourceval put : Smt.Suid.t -> Sexpr.Expr.t list -> unit
Sourceval set_memory : addr:Z.t -> Z.t -> unit
Sourceval neq : term -> Z.t -> unit
Sourceval check_sat : unit -> result
Sourceval get_memory : unit -> memory * access Queue.t
Sourceval get_value : term -> value
Sourceval assignment : value -> Z.t
Sourceval get_at : memory -> value -> Z.t
Sourceval succ : value -> value
Sourceval close : unit -> unit
OCaml

Innovation. Community. Security.