Javalib is a library that parses Java .class files into OCaml data structures. Sawja is a library written in OCaml, relying on Javalib to provide a high level representation of Java bytecode programs. Homepage: http://sawja.inria.fr/
