dialyzer — инструмент статического анализа, выявляющий несоответствия программ на Эрланге: ошибки определения типа, неработающий или недоступный код, ненужные тесты и др.
Перед началом использования “диализатора” надо создать PLT-файл (Persistent Lookup Table). Например, так:
dialyzer --build_plt --apps erts kernel stdlib mnesia
Файл будет создан в $HOME/.cache/erlang/.dialyzer_plt
.
Использовать можно так:
dialyzer file.erl
dialyzer — официальное руководство.
© Алексей Карманов, 2024.