UU/IT/The DIALYZER: a DIscrepancy AnaLYZer for ERlang programs

The Dialyzer is a static analysis tool that identifies software discrepancies such as obvious type errors, unreachable code, redundant tests, virtual machine bytecode which is unsafe, etc. in single Erlang modules or entire applications. It starts its analysis either from Erlang source code or from BEAM bytecode and reports to its user the functions where the discrepancies occur and an indication of what the discrepancy is about.

Uri
http://www.it.uu.se/research/group/hipe/dialyzer
Visited
2008-04-08 11:29:31
Tags
software download free testing tool analysis erlang dialyzer static analysis errors unsafe
Google it!
Google for "UU/IT/The DIALYZER: a DIscrepancy AnaLYZer for ERlang programs"
Links to "http://www.it.uu.se/research/group/hipe/dialyzer"
MarcWorrell.com/ created on 2008-04-08 11:29:30/ modified on 2008-04-08 11:29:31/ mail me at