package soteria

You can search for identifiers within the package.

in-package search v0.2.0

Soteria is a toolkit for writing symbolic bug-finding tools

Install

dune-project

Dependency

md5=8f15271b81e34caa12a39e3b7a63313a

sha512=5f6987cf362bc06402d9bed324c7b060384d7ef02479e2a614ca4b4122cc65082f6afc892c398c6562b0eb42fc13d6cc77e76c2518221590576215aaa00ee5bd

type t

include Codom(Symex).Abstr.S_with_syn with type t := t

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

val show : t -> Ppx_deriving_runtime.string

val fresh : unit -> t Symex.t

type 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

val subst : (Symex.Value.Expr.t -> 'a Symex.Value.t) -> syn -> t

val learn_eq : syn -> t -> (unit, 'a) Symex.Consumer.t

val exprs_syn : syn -> Symex.Value.Expr.t list

include Codom(Symex).Abstr.Sem_eq with type t := t

val sem_eq : t -> t -> Symex.Value.sbool Symex.Value.t