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?

Dear Barghav,

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,

Roberto