Descrição
Fornece o Dialyzer, uma ferramenta de análise estática para código Erlang. Ela pode encontrar inconsistências de tipos, código inalcançável e outros problemas sem exigir anotações completas de tipo em todos os módulos.
Use no desenvolvimento Erlang e em integração contínua para detectar erros antes da execução. Ela relata problemas prováveis, então desenvolvedores ainda precisam interpretar os resultados no contexto do projeto.