dialyzer

dialyzer — инструмент статического анализа, выявляющий несоответствия программ на Эрланге: ошибки определения типа, неработающий или недоступный код, ненужные тесты и др.

Перед началом использования “диализатора” надо создать PLT-файл (Persistent Lookup Table). Например, так:

dialyzer --build_plt --apps erts kernel stdlib mnesia

Использовать можно так:

dialyzer file.erl

Можно запустить dialyzer с ключом –gui, чтобы запустить его в графическом режиме.

Документация

dialyzer — официальное руководство.