package symex

  1. Overview
  2. Docs
Primitives to write symbolic execution engines

Install 

dune-project
 Dependency

github.com Readme Changelog AGPL-3.0-or-later License Edit opam file Versions (1)

Authors

  1. R
    redianthus <leo@ocaml.pro>
  2. P
    Pierre Chambart <pierre.chambart@ocamlpro.com>
  3. F
    Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
  4. A
    Arthur Carcano <arthur.carcano@ocamlpro.com>
  5. B
    Basile Clément <basile.clement@ocamlpro.com

Maintainers

  1. R
    redianthus <leo@ocaml.pro>

Sources

0.1.tar.gz
sha256=728871ec7bd00df126770b80d933a70418f7aa4bc8bd44a8a355e4e70449dd5d
sha512=f9eb1f27a2d9348161c5f8c6f8d84d325726c31365e218feb686700018fddfed86a1d210bd5f4d9e6e35d0fc4aaaf9ced91465bfad0c325348509a40ae78ff05

doc/README.html

Symex