Dialyzer v1.0

Tobias Lindahl <>
Mon Jul 5 16:09:02 CEST 2004

We are very happy to announce the first public release of Dialyzer
(DIscrepancy AnaLYZer of ERlang programs), a static analysis tool that can
identify software problems such as type errors, unreachable code,
unnecessary tests, etc in Erlang applications.

The tool can be obtained at


and is available free of charge for non-commersial uses.

Check it out and you might be surprised by the number of discrepancies
that lurk in your favourite, well-tested application.

Feedback is very welcome,

Tobias Lindahl and Kostis Sagonas.

More information about the erlang-questions mailing list