 |
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. http://www.it.uu.se/research/group/hipe/dialyzer/ |

 |