Re: [Haskell-cafe] Re: Frama-C

On Thu, May 13, 2010 at 11:58 AM, Stephen Tetley wrote:

Hi Tom

Quite a while ago I interfaced Haskell and Ocaml/CIL through both ATerms and ASDL pickles.

I can look at digging out this code if you like - it was fairly complete, but it had a bug somewhere and will probably be a few revisions behind the current CIL.

Thanks Stephen, I'd like to see it. I almost have something working. I created a little OCaml parser to read the cil_types.mli file from Frama-C, which I then use to automatically generate a Frama-C plugin that dumps the database, and a Haskell module that reads it. I should have something released to Hackage by next week. But if anyone is curious, here is the repo I'm working from: http://github.com/tomahawkins/cil