如何在 OCaml 源代码中查找所有引发异常的函数

Question

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

Answer 1

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

ocp-grep Pervasives.raise

Answer 2

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