dialyzer

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

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

dialyzer --build_plt --apps erts kernel stdlib mnesia

Файл будет создан в $HOME/.cache/erlang/.dialyzer_plt.

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

dialyzer file.erl

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

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


© Алексей Карманов, 2024.