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.

No queries for www.it.uu.se/research/group/hipe/dialyzer