[Haskell-cafe] Re: Frama-C

Tom Hawkins tomahawkins at gmail.com
Thu May 13 15:40:38 EDT 2010


On Thu, May 13, 2010 at 11:58 AM, Stephen Tetley
<stephen.tetley at gmail.com> 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


More information about the Haskell-Cafe mailing list