[PPL-devel] using PPL through ocaml
bagnara at cs.unipr.it
Tue Jul 25 13:25:26 CEST 2006
Bhargav S. Gulavani wrote:
> I am implementing a static analyzer for C programs, and I want to use the
> polyhedra abstract domain to reason about relations among interger
> variables. The static analysis tool is written in ocaml.
> Is it possible to interface the PPL library with ocaml?
at present you can interface the PPL with OCaml via the PPL's C interface.
An OCaml interface for the PPL is planned (and we also have some code
running), but I do not know when it will be ready.
All the best,
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
More information about the PPL-devel