[Ericsson AB]

Dialyzer Reference Manual

Version 1.5.0

Dialyzer is a static analysis tool that identifies software discrepancies such as type errors, unreachable code, unnecessary tests, etc in single Erlang modules or entire (sets of) applications.


Copyright © 1991-2006 Ericsson AB