* C program analyser in Ocaml? @ 1999-01-22 14:31 Basile STARYNKEVITCH 1999-01-22 20:58 ` Gerd Stolpmann 1999-01-23 8:52 ` Francois Pottier 0 siblings, 2 replies; 3+ messages in thread From: Basile STARYNKEVITCH @ 1999-01-22 14:31 UTC (permalink / raw) To: Caml Mailing List 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 ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: C program analyser in Ocaml? 1999-01-22 14:31 C program analyser in Ocaml? Basile STARYNKEVITCH @ 1999-01-22 20:58 ` Gerd Stolpmann 1999-01-23 8:52 ` Francois Pottier 1 sibling, 0 replies; 3+ messages in thread From: Gerd Stolpmann @ 1999-01-22 20:58 UTC (permalink / raw) To: Basile STARYNKEVITCH; +Cc: caml-list 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 ---------------------------------------------------------------------------- ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: C program analyser in Ocaml? 1999-01-22 14:31 C program analyser in Ocaml? Basile STARYNKEVITCH 1999-01-22 20:58 ` Gerd Stolpmann @ 1999-01-23 8:52 ` Francois Pottier 1 sibling, 0 replies; 3+ messages in thread From: Francois Pottier @ 1999-01-23 8:52 UTC (permalink / raw) To: Basile STARYNKEVITCH, Caml Mailing List > 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/ ^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~1999-01-24 14:39 UTC | newest] Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 1999-01-22 14:31 C program analyser in Ocaml? Basile STARYNKEVITCH 1999-01-22 20:58 ` Gerd Stolpmann 1999-01-23 8:52 ` Francois Pottier
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox