symexversion Documentation on ocaml.org
Primitives to write symbolic execution engines
Symex is a library providing efficient primitives to write symbolic execution engines. It provides an efficient path condition and a monad for exploring paths.
| Tags | symbolic execution path condition monad solver |
|---|---|
| Authors | redianthus <leo@ocaml.pro>, Pierre Chambart <pierre.chambart@ocamlpro.com>, Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>, Arthur Carcano <arthur.carcano@ocamlpro.com> and Basile Clément <basile.clement@ocamlpro.com |
| License | AGPL-3.0-or-later |
| Published | |
| Homepage | https://github.com/ocamlpro/symex |
| Issue Tracker | https://github.com/ocamlpro/symex/issues |
| Maintainer | redianthus <leo@ocaml.pro> |
| Dependencies |
|
| Source [http] | https://github.com/ocamlpro/symex/archive/refs/tags/0.2.tar.gz sha256=2a49c457524639c7713f5222c3d6477dd2413741297e0cb0eac20371f7d583a5 sha512=48f44ec30c6652e9f33eacc04e127ffab10d7a66386d8af090e98d8ac7768eaa330c65ff560876f4e8ae858d1fba6a19cee519ae84329d5c012868b79c44d8c5 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/symex/symex.0.2/opam |
No package is dependent
