C program analyser in Ocaml?

C program analyser in Ocaml?

[Basile STARYNKEVITCH]

Hello All,

Is there somewhere the sources of a C program analyser (or just
parser) in Ocaml?

I am also interested by any Ocaml program related to abstract
interpretation.

Thanks.

N.B. Any opinions expressed here are only mine, and not of my organization.
N.B. Les opinions exprimees ici me sont personnelles et n engagent pas le CEA.

---------------------------------------------------------------------
Basile STARYNKEVITCH   ----  Commissariat à l Energie Atomique 
DRN/DMT/SYSCO * CEA/Saclay bat.460 * 91191 GIF/YVETTE CEDEX * France
fax: (33) 1,69.08.96.96; phone: 1,69.08.40.66; home: 1,46.65.45.53
email: Basile point Starynkevitch at cea point fr 

Re: C program analyser in Ocaml?

[Gerd Stolpmann]

On Fri, 22 Jan 1999, you wrote:

>Is there somewhere the sources of a C program analyser (or just
>parser) in Ocaml?

In 1997 I began a project that was intended to simplify ad-hoc usage
of given C libraries in Ocaml. I have never completed it because of
fights with the garbage collector, and because I had doubts if it was
really useful.

The idea was to read a given C header file and automatically generate
stub functions and other needed auxiliary functions dealing with the
type mapping between C and Ocaml. As far as I can remember the program
contains a lexer and a parser limited to header files, i.e. it cannot parse
function bodies, but I think this is simple to add.

You can find the program on
http://people.darmstadt.netsurf.de/Gerd.Stolpmann/ocaml/fragments/cigen.tgz

--
----------------------------------------------------------------------------
Gerd Stolpmann      Telefon: +49 6151 997705 (privat)
Viktoriastr. 100             
64293 Darmstadt     EMail:   Gerd.Stolpmann@darmstadt.netsurf.de (privat)
Germany                     
----------------------------------------------------------------------------

Re: C program analyser in Ocaml?

[Francois Pottier]

> I am also interested by any Ocaml program related to abstract
> interpretation.

Patrick Cousot has written a generic abstract interpreter in OCaml.
It is available from

  http://www.dmi.ens.fr/~cousot/COUSOTpapers/Marktoberdorf98.shtml

-- 
François Pottier
Francois.Pottier@inria.fr
http://pauillac.inria.fr/~fpottier/