Software

Tool implementation of the static analysis method from my PPD21 paper

  • source code on github
  • Language : Haskell
  • The tool can be tested online through with the following interface

EZ-Dune-describe

  • Library to retrieve Dune project description information in OCaml
  • source code on gitlab
  • opam package
  • Language : OCaml

Salto Intermediate Language

  • Simplified and desugarred version of the OCaml typedtree, used by the Salto analyser
  • source code on gitlab
  • opam package
  • Language : OCaml

Salto Analyser for OCaml programs