From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA00120 for caml-redistribution; Sun, 24 Jan 1999 15:39:12 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA31628 for ; Fri, 22 Jan 1999 22:09:14 +0100 (MET) Received: from beach.frankfurt.netsurf.de (beach.frankfurt.netsurf.de [194.64.181.2]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id WAA04365 for ; Fri, 22 Jan 1999 22:09:13 +0100 (MET) Received: from schneemann.darmstadt.netsurf.de (board-103.darmstadt.netsurf.de [194.163.86.231]) by beach.frankfurt.netsurf.de (8.8.5/8.8.5) with ESMTP id WAA08251; Fri, 22 Jan 1999 22:09:12 +0100 (MET) Received: from localhost (localhost [[UNIX: localhost]]) by schneemann.darmstadt.netsurf.de (8.8.8/8.8.8) id WAA04209; Fri, 22 Jan 1999 22:08:12 +0100 From: Gerd Stolpmann Reply-To: Gerd.Stolpmann@darmstadt.netsurf.de To: Basile STARYNKEVITCH Subject: Re: C program analyser in Ocaml? Date: Fri, 22 Jan 1999 21:58:31 +0100 X-Mailer: KMail [version 0.7.9] Content-Type: text/plain References: <13992.35774.925837.774045@orion.serma.cea.fr> Cc: caml-list@inria.fr MIME-Version: 1.0 Message-Id: <99012222081100.04117@schneemann> Content-Transfer-Encoding: 8bit Sender: weis 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 ----------------------------------------------------------------------------