Dialyzer
Edit Page
Report
Scan day: 16 February 2014 UTC
32
Virus safety - good
Description: 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.
UU/IT/The DIALYZER: a DIscrepancy AnaLYZer for ERlang programs The DIALYZER: a DIscrepancy AnaLYZer for ERlang programs The Dialyzer is a static analysis tool that identifies software discrepancies and bugs such as obvious type errors, code that has become unreachable due to some programming error, redundant tests, unsatisfiable conditions, etc. in single Erlang modules or entire applications. Dialyzer analyzes either Erlang source code files or debug-compiled BEAM bytecode files and reports to its user the functions where the discrepancies occur and an indication of what the discrepancy is about.
Size: 604 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | UU/IT/The DIALYZER: a DIscrepancy AnaLYZer for ERlang programs |
| Keywords: | |
| Description: | |
| IP-address: | 130.238.12.100 |
WHOIS Info
| NS | |
| WHOIS | status: ok |
| Date | created: 1986-08-03 expires: 2014-12-31 |