Dialyzer
This page contains information for Dialyzer, the DIscrepancy AnaLYZer for ERlang applications.
Overview
Dialyzer is a static analysis tool that identifies software discrepancies such as definite type errors, code which has become dead or unreachable due to some programming error, unnecessary tests, etc. in single Erlang modules or entire (sets of) applications. Dialyzer starts its analysis from either debug-compiled BEAM bytecode or from Erlang source code. The file and line number of a discrepancy is reported along with an indication of what the discrepancy is about. Dialyzer bases its analysis on the concept of success typings which allows for sound warnings (no false positives).
Download
Since 2007, Dialyzer is included in the official Erlang/OTP distribution.
Resources
You can find more information on how to use Dialyzer here.
People
The first versions of Dialyzer were created by Tobias Lindahl and Kostis Sagonas.
People actively working and maintaining Dialyzer are Stavros Aronis and Kostis Sagonas.
People who have also worked on improvements of Dialyzer in the past are Maria Christakis, Elli Fragkaki and Ypatia Tsavliri.