package salto-analyzer
Salto static analyzer for OCaml programs
Install
Dune Dependency
Authors
Maintainers
Sources
salto-analyzer-0.1.tbz
sha256=dec936314e9d44dffdf10d9654bf37e631cdf32fa03052c9f4d4aa992c10b247
sha512=6efc54d9ff97fc5654c28a6c8f96d814be44cf53e03d301c907b5b2178813a0f7837e341272891b92417cc98529acc8a66062002e16e705c781a3ec2a3db5f16
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: 12 Mar 2025
Dependencies (19)
-
ez_dune_describe
>= "0.1" -
csexp
>= "1.5.2" -
zarith_stubs_js
>= "0.16.1" -
js_of_ocaml-tyxml
>= "5.4.0" -
js_of_ocaml-ppx
build & >= "5.4.0" -
js_of_ocaml
>= "5.4.0" & <= "5.9.1" -
ezjs_ace
>= "0.1.1" -
zarith
>= "1.13" -
ptset
>= "1.0.1" -
ppx_expect
>= "v0.16.0" -
ppx_deriving
build & >= "5.2.1" -
ppx_import
build & >= "1.9.0" -
hashset
>= "1.0.0" -
hashcons
>= "1.3" -
dmap
>= "0.5" -
cmdliner
>= "1.2.0" -
base
>= "v0.16.3" -
saltoIL
>= "0.1.11" -
dune
>= "3.17"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page