Dialyzer
The Dialyzer is a static analysis tool that identifies software discrepancies such as type errors, unreachable code, redundant tests, virtual machine bytecode which is unsafe in single Erlang modules or entire applications.