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 (3)

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.3.tar.gz
sha256=1092cc9299d70ab2c15956342ab4eac130fcb0db4b9aa6515212d189feed65c8
sha512=135a0d73b6b92837877f7a8cea53b8b79edcb14b3b07ff7c60146594c59af356aa07ad61b317ceafa6f4cef6312d591b594872371376b9907c988692dee6b2ff

doc/README.html

Symex