static analyzer for unhanded exceptions

caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed

* static analyzer for unhanded exceptions
@ 2005-07-07 16:13 Eric Stokes
  2005-07-07 16:31 ` [Caml-list] " David Teller
  0 siblings, 1 reply; 2+ messages in thread
From: Eric Stokes @ 2005-07-07 16:13 UTC (permalink / raw)
  To: caml-list

I remember there was once a static analyzer for unhanded exceptions  
floating around for Ocaml. It seemed to be fairly promising, but I  
can't seem to find it. Does anyone know if it still works, and where  
it can be found?

     -Eric

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [Caml-list] static analyzer for unhanded exceptions
  2005-07-07 16:13 static analyzer for unhanded exceptions Eric Stokes
@ 2005-07-07 16:31 ` David Teller
  0 siblings, 0 replies; 2+ messages in thread
From: David Teller @ 2005-07-07 16:31 UTC (permalink / raw)
  To: caml-list

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 à 09:13 -0700, Eric Stokes a écrit :
> I remember there was once a static analyzer for unhanded exceptions  
> floating around for Ocaml. It seemed to be fairly promising, but I  
> can't seem to find it. Does anyone know if it still works, and where  
> it can be found?
> 
>      -Eric

-- 
Read, Write, and Publish Standard eBooks
  Free, Open Software, Open Standards and multi-platform
    The OpenBerg project http://www.openberg.org


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2005-07-07 16:31 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-07-07 16:13 static analyzer for unhanded exceptions Eric Stokes
2005-07-07 16:31 ` [Caml-list] " David Teller

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).