salto-analyzerversion Documentation on ocaml.org
Salto static analyzer for OCaml programs
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.
| Authors | Pierre Lermusiaux <pierre.lermusiaux@inria.fr> and Benoît Montagu <benoit.montagu@inria.fr> |
|---|---|
| License | LGPL-3.0-or-later |
| Published | |
| Homepage | https://salto.gitlabpages.inria.fr/ |
| Issue Tracker | https://gitlab.inria.fr/salto/salto-analyzer/-/issues |
| Maintainers | Pierre Lermusiaux <pierre.lermusiaux@inria.fr> and Benoît Montagu <benoit.montagu@inria.fr> |
| Dependencies |
|
| Source [http] | https://salto.gitlabpages.inria.fr/salto-analyzer/releases/salto-analyzer-0.2.tbz sha256=e69d884bbd9a13a71345a295098fb7ae36dfc8aaa7f7197c02a0dbc87450ecc6 sha512=02662eb4d015e3ab5d802ce11c62e1bcf8624e455b9229f958fe678c73ab91c20b1a5e4cab532b7377e472826ff0d49a9a753592af9a79e4c8ba438e04d5e867 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/salto-analyzer/salto-analyzer.0.2/opam |
No package is dependent
