dialyzer

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

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

dialyzer --build_plt --apps erts kernel stdlib mnesia

Файл будет создан в $HOME/.cache/erlang/.dialyzer_plt. Другие опции:

С помощью --output_plt можно указать другой файл.
С помощью --add_to_plt можно добавить информацию в имеющийся PLT-файл.
С помощью --check_plt можно проверить PLT-файл.
--plt_info — информация о PLT-файле.

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

dialyzer file.erl

Также dialyzer может быть вызван непосредственно из Эрланга (оболочки и иных работающих акторов). Для этих целей существует модуль dialyzer.

dialyzer:run(Options) запускает “диализатор”.
dialyzer:plt_info(Plt) возвращает информацию о заданном PLT-файле.

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

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