package symex

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

Install 

dune-project
 Dependency

github.com Edit opam file Versions (2)

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.2.tar.gz
sha256=2a49c457524639c7713f5222c3d6477dd2413741297e0cb0eac20371f7d583a5
sha512=48f44ec30c6652e9f33eacc04e127ffab10d7a66386d8af090e98d8ac7768eaa330c65ff560876f4e8ae858d1fba6a19cee519ae84329d5c012868b79c44d8c5

Description

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

Published: 05 Mar 2026

Dependencies (5)

  1. smtml >= "0.21.0"
  2. prelude >= "0.5"
  3. fmt
  4. ocaml >= "5.3"
  5. dune >= "3.7"

Dev Dependencies (7)

  1. ocb >= "0.1" & with-dev-setup
  2. ocamlformat >= "0.28" & with-dev-setup
  3. landmarks-ppx with-dev-setup
  4. bisect_ppx >= "2.5" & with-dev-setup
  5. alcotest with-test
  6. mdx with-test & >= "2.1"
  7. odoc >= "3.0.0" & with-doc

Used by

None

Conflicts

None