From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 5C0E0BCAE for ; Thu, 7 Jul 2005 18:31:41 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j67GVe9n020305 for ; Thu, 7 Jul 2005 18:31:41 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA14506 for ; Thu, 7 Jul 2005 18:31:40 +0200 (MET DST) Received: from rinka.central.susx.ac.uk (rinka.central.susx.ac.uk [139.184.14.19]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j67GVeaU020302 for ; Thu, 7 Jul 2005 18:31:40 +0200 Received: from cpc2-brig7-3-0-cust144.brig.cable.ntl.com ([81.109.8.144]) by rinka.central.susx.ac.uk with asmtp (TLSv1:RC4-MD5:128) (Exim 4.10) id 1DqZHn-0003Mv-00 for caml-list@inria.fr; Thu, 07 Jul 2005 17:31:40 +0100 Subject: Re: [Caml-list] static analyzer for unhanded exceptions From: David Teller To: caml-list@inria.fr In-Reply-To: References: Content-Type: text/plain; charset=UTF-8 Date: Thu, 07 Jul 2005 17:31:27 +0100 Message-Id: <1120753887.9384.30.camel@titania> Mime-Version: 1.0 X-Mailer: Evolution 2.2.2 Content-Transfer-Encoding: quoted-printable X-Miltered: at concorde with ID 42CD58ED.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42CD58EC.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ens-lyon:01 cheers:01 ocamlexc:01 ocamlexc:01 ocaml:01 exceptions:01 exceptions:01 caml:02 caml:02 static:03 static:03 inria:05 promising:06 standard:07 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: Is this [1] what you mean ? Cheers, David [1] http://caml.inria.fr/pub/old_caml_site/ocamlexc/ocamlexc.htm Le jeudi 07 juillet 2005 =C3=A0 09:13 -0700, Eric Stokes a =C3=A9crit : > I remember there was once a static analyzer for unhanded exceptions =20 > floating around for Ocaml. It seemed to be fairly promising, but I =20 > can't seem to find it. Does anyone know if it still works, and where =20 > it can be found? >=20 > -Eric --=20 Read, Write, and Publish Standard eBooks Free, Open Software, Open Standards and multi-platform The OpenBerg project http://www.openberg.org