package soteria

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Soteria is a toolkit for writing symbolic bug-finding tools

Install

dune-project

Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

Maintainers

Sources

v0.1.0.tar.gz

md5=8f15271b81e34caa12a39e3b7a63313a

sha512=5f6987cf362bc06402d9bed324c7b060384d7ef02479e2a614ca4b4122cc65082f6afc892c398c6562b0eb42fc13d6cc77e76c2518221590576215aaa00ee5bd

doc/soteria/Soteria/Sym_states/Pmap/Make_patricia_tree/index.html

Module `Pmap.Make_patricia_tree`

Parameters

module Symex : Symex.Base

module Key : Key(Symex).S_patricia_tree

module Codom : Sym_states.Base.M(Symex).S

Signature

include Sym_states.Base.M(Symex).S with type syn = Key.syn * Codom.syn

type t

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

val show : t -> Ppx_deriving_runtime.string

module SM : 
  Sym_states.State_monad.S
    with module Symex = Symex
     and module Value = Symex.Value
     and type st = t option

type syn = Key.syn * Codom.syn

val pp_syn : 
  Ppx_deriving_runtime.Format.formatter ->
  syn ->
  Ppx_deriving_runtime.unit

val show_syn : syn -> Ppx_deriving_runtime.string

val to_syn : t -> syn list

val ins_outs : syn -> Symex.Value.Expr.t list * Symex.Value.Expr.t list

val produce : syn -> t option -> t option Symex.Producer.t

val consume : syn -> t option -> (t option, syn list) Symex.Consumer.t

type ('a, 'err) res := ('a, 'err, syn list) SM.Result.t

type ('a, 'err) codom_res :=
  Codom.t option ->
  (('a, 'err, Codom.syn list) Soteria.Soteria_std.Compo_res.t * Codom.t option)
    Symex.t

val empty : t

val syntactic_bindings : t -> (Key.t * Codom.t) Soteria.Soteria_std.Seq.t

val syntactic_mem : Key.t -> t -> bool

val pp' : 
  ?codom:(Format.formatter -> Codom.t -> unit) ->
  ?key:(Format.formatter -> Key.t -> unit) ->
  ?ignore:((Key.t * Codom.t) -> bool) ->
  Format.formatter ->
  t ->
  unit

val of_opt : t option -> t

val to_opt : t -> t option

val alloc : new_codom:Codom.t -> (Key.t, 'err) res

val allocs : 
  fn:('a -> Key.t -> ('k * Codom.t) Symex.t) ->
  els:'a list ->
  ('k list, 'err) res

val wrap : Key.t -> ('a, 'err) codom_res -> ('a, 'err) res

val fold : 
  ('acc -> (Key.t * Codom.t) -> 'acc Symex.t) ->
  'acc ->
  t option ->
  'acc Symex.t