* 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).