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.1.tbz sha256=dec936314e9d44dffdf10d9654bf37e631cdf32fa03052c9f4d4aa992c10b247 sha512=6efc54d9ff97fc5654c28a6c8f96d814be44cf53e03d301c907b5b2178813a0f7837e341272891b92417cc98529acc8a66062002e16e705c781a3ec2a3db5f16 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/salto-analyzer/salto-analyzer.0.1/opam |
No package is dependent
