Facebook вывести-добавить свой собственный чекер
Поэтому я недавно попытался использовать модуль статического анализа Facebook для анализа определенных кодовых паттернов. Я новичок в OCAML и в целом в функциональных языках программирования, поэтому, пожалуйста, потерпите меня.
На данный момент я пытаюсь выяснить, как работает эта функциональность, запустив их мини-учебник, представленный по адресу http://fbinfer.com/docs/adding-checkers.html, однако я уже столкнулся с проблемами.
Когда я пытаюсь добавить их пример проверки (для обнаружения вызова System.out.println) и перекомпилировать Infer, я просто получаю ошибку компиляции / компоновки "Unbound record field Callback.proc_name".
Вполне возможно, что я сделал что-то не так, но само руководство не очень ясно объясняет, где вы должны установить код функции проверки. В итоге я просто скопировал и вставил его в конец файла checkers.ml, который, как я полагаю, и имел в виду. В противном случае я следовал за учебником к письму.
Любой, кто имеет опыт использования функциональности infer для добавления контролеров, может помочь мне понять, в чем проблема?