Symex (p.soteria.0.2.3.doc.soteria.Soteria.Symex)

module Approx : sig ... end

module Fuel_gauge : sig ... end

module Solver : sig ... end

module Solver_result : sig ... end

module Value : sig ... end

This module defines the minimal interface that symbolic values must implement to be used in Soteria's symbolic execution engine.

module Var : sig ... end

exception Tool_bug of string

exception Gave_up of string

val tool_bug : string -> 'a

module Or_gave_up : sig ... end

module type Symex_syntax_S = sig ... end

module type Core = sig ... end

module type Base = sig ... end

module type S = sig ... end

module StatKeys : sig ... end

Keys for statistics used in Soteria's symex engine. These are exposed so clients can query statistics if needed; the type with which they are logged is also documented.

module Make_core (Sol : Solver.Mutable_incremental) : sig ... end

module Base_extension (Core : Core) : sig ... end

module Make
  (Sol : Solver.Mutable_incremental) : 
  S with module Value = Sol.Value