Описание тега dialyzer
Dialyzer - это инструмент, который обнаруживает неточности в программах, написанных на Erlang.
Dialyzer - это инструмент, который обнаруживает неточности в программах, написанных на Erlang. Это могут быть:
- Вызов функций, которые наверняка потерпят неудачу
- Пункты, которые никогда не будут совпадать
- Ошибки в спецификации типов записей и функций
- Нарушения непрозрачности определенных структур данных
Он не требует каких-либо изменений в исследуемом коде (но может использовать любые предоставленные аннотации типов) и может эффективно анализировать отдельные модули, приложения или целые системы. Он является частью дистрибутива Erlang/OTP и активно поддерживается его разработчиками.
Вы можете прочитать больше здесь: http://erlang.org/doc/man/dialyzer.html