package soteria

  1. Overview
  2. Docs
Soteria is a toolkit for writing symbolic bug-finding tools

Install 

dune-project
 Dependency

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

Authors

  1. S
    Sacha-Élie Ayoun <s.ayoun17@imperial.ac.uk>
  2. O
    Opale Sjöstedt <opale.sjostedt23@imperial.ac.uk>

Maintainers

  1. S
    Sacha-Élie Ayoun <s.ayoun17@imperial.ac.uk>
  2. O
    Opale Sjöstedt <opale.sjostedt23@imperial.ac.uk>

Sources

v0.2.3.tar.gz
md5=22e0fc3f97555ac35b96fae10817a887
sha512=10457c9d1302e3f3018dca652cdf81f0cdfd461a79eca1a8a8b754e964a47f7f35c10a8c07aff8f5193ee7e794440635d788d91925ce75fb8280b60b4f0d6663

doc/soteria/Soteria/index.html

Module SoteriaSource

module Bv_values : sig ... end

Extensible bit-vector based values, with floating point support. Suitable for low-level languages.

module Config : sig ... end

Global configuration module.

module Data : sig ... end

Symbolic abstractions over common data structures.

module Logic : sig ... end

Separation logic assertions

module Logs : sig ... end

Logging facilities for symbolic execution.

module Profiling : sig ... end
module Smt : sig ... end

Performance-focused SMT-LIB s-expression and solver interface.

module Solvers : sig ... end

Low-level solver manipulation and utilities.

module Soteria_std : sig ... end

Standard library extensions and utilities for Soteria.

module Stats : sig ... end

Tracking of statistics across symbolic execution.

module Sym_states : sig ... end

Separation-logic ready state modules.

module Symex : sig ... end

The core of Soteria symbolic execution.

module Terminal : sig ... end

Utilities for displaying messages to the user.

module Tiny_values : sig ... end

Minimal natural integer based values. Suitable for toy examples.

Sourcemodule Version : sig ... end