javalib 2.3
| Maintainer | sawja@inria.fr | ||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dependencies |
|
||||||||||||||||||||||||||
| Published | Oct 30, 2013 | ||||||||||||||||||||||||||
| Source [http] |
https://gforge.inria.fr/frs/download.php/33090/javalib-2.3.tar.bz2 9b79ea9cfd2b30e0e6c2c655b989532f |
||||||||||||||||||||||||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/javalib/javalib.2.3/opam | ||||||||||||||||||||||||||
Javalib is a library written in OCaml with the aim to provide a high level representation of Java .class files.
Thus it stands for a good starting point for people who want to develop static analyses for Java byte-code programs, benefiting from the strength of OCaml language.