package salto-analyzer

  1. Overview
  2. No Docs
Salto static analyzer for OCaml programs

Install 

dune-project
 Dependency

salto.gitlabpages.inria.fr Edit opam file Versions (2)

Authors

  1. P
    Pierre Lermusiaux <pierre.lermusiaux@inria.fr>
  2. B
    Benoît Montagu <benoit.montagu@inria.fr>

Maintainers

  1. P
    Pierre Lermusiaux <pierre.lermusiaux@inria.fr>
  2. B
    Benoît Montagu <benoit.montagu@inria.fr>

Sources

salto-analyzer-0.2.tbz
sha256=e69d884bbd9a13a71345a295098fb7ae36dfc8aaa7f7197c02a0dbc87450ecc6
sha512=02662eb4d015e3ab5d802ce11c62e1bcf8624e455b9229f958fe678c73ab91c20b1a5e4cab532b7377e472826ff0d49a9a753592af9a79e4c8ba438e04d5e867

Description

Static analyzer for OCaml programs, that infers possible output values for every part of a program, as well as exceptions that might be raised. It is based on the theory of abstract interpretation.

Published: 23 Nov 2025

Dependencies (19)

  1. ez_dune_describe >= "0.1"
  2. csexp >= "1.5.2"
  3. zarith_stubs_js >= "v0.16.1"
  4. js_of_ocaml-tyxml >= "5.4.0"
  5. js_of_ocaml-ppx build & >= "5.4.0"
  6. js_of_ocaml >= "5.4.0" & <= "5.9.1"
  7. ezjs_ace >= "0.1.1"
  8. zarith >= "1.13"
  9. ptset >= "1.0.1"
  10. ppx_expect >= "v0.16.0"
  11. ppx_deriving build & >= "5.2.1"
  12. ppx_import build & >= "1.9.0"
  13. hashset >= "1.0.0"
  14. hashcons >= "1.3"
  15. dmap >= "0.5"
  16. cmdliner >= "1.2.0"
  17. base >= "v0.16.3"
  18. saltoIL >= "0.2.0" & < "0.3"
  19. dune >= "3.18"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None