Как найти все вызывающие исключения функции в источниках OCaml

Question

Широко известно, что огромный набор стандартных функций OCaml и множество общих библиотек stdlib и сторонних производителей часто содержат функции, которые могут генерировать исключения.Это может быть очень сложно, особенно если большая часть программы написана функционально.Есть ли какие-либо способы или инструменты для перечисления / перехвата всех функций, которые генерируют исключения, путем аудита источников?

Answer 1

Была попытка построить статический анализатор для исключений, расположенный по адресу https://github.com/OCamlPro/ocp-analyzer. Однако, в прошлый раз, когда я проверял, что он выходит из строя даже на очень простых программах, и что хранилище состоит из одного коммита, я быскажем, что это может быть полезно только в качестве отправной точки для написания правильного анализатора.

Answer 2

Лучшее решение, которое я знаю, это использовать ocp-grep:

ocp-grep Pervasives.raise