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 SAA22643 for caml-redistribution; Fri, 22 Jan 1999 18:51:29 +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 PAA11213 for ; Fri, 22 Jan 1999 15:32:48 +0100 (MET) Received: from nenuphar.saclay.cea.fr (nenuphar.saclay.cea.fr [132.166.192.7]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id PAA27287 for ; Fri, 22 Jan 1999 15:32:47 +0100 (MET) Received: from orion.serma.cea.fr (orion.serma.cea.fr [132.166.151.161]) by nenuphar.saclay.cea.fr (8.9.1a/8.9.1/CEAnet-relay-5.0.0.1) with ESMTP id PAA06894; Fri, 22 Jan 1999 15:33:35 +0100 (MET) Received: (from basile@localhost) by orion.serma.cea.fr (8.8.7/8.8.7) id PAA01232; Fri, 22 Jan 1999 15:31:27 +0100 X-Authentication-Warning: orion.serma.cea.fr: basile set sender to Basile.Starynkevitch@cea.fr using -f From: Basile STARYNKEVITCH MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <13992.35774.925837.774045@orion.serma.cea.fr> Date: Fri, 22 Jan 1999 15:31:26 +0100 (CET) To: Caml Mailing List Subject: C program analyser in Ocaml? X-Mailer: VM 6.62 under Emacs 20.3.1 Content-Transfer-Encoding: 8bit Sender: weis 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