Question

众所周知，大量的标准OCaml函数以及许多常见的stdlib和3rd party库通常包含可以引发异常的函数。处理起来可能非常棘手，特别是如果大多数程序是以功能方式编写的。是否有任何方法或工具可以通过审核源来列出/捕获所有引发异常的功能？

Answer 1

我知道最好的解决方案是使用ocp-grep：

ocp-grep Pervasives.raise

Answer 2

已尝试为https://github.com/OCamlPro/ocp-analyzer构建用于异常的静态分析器。但是，上次我检查它甚至在非常简单的程序时就崩溃了，并且该存储库包含一个提交，我会说它可能仅作为编写适当的分析器的起点有用。