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.