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