dialyzer logo

dialyzer

MaintainedMaintained

The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs. Dialyzer is a static analysis tool that identifies software discrepancies, such as definite type errors, code that has become dead or unreachable because of programming error, and unnecessary tests, in single Erlang modules or entire (sets of) applications. Dialyzer starts its analysis from either debug-compiled BEAM bytecode or from Erlang source code. The file and line number of a discrepancy is reported along with an indication of what the discrepancy is about. Dialyzer bases its analysis on the concept of success typings, which allows for sound warnings (no false positives).

Tutorials / Guides

  • dialyzer screenshot
  • dialyzer screenshot
  • dialyzer screenshot
  • dialyzer screenshot
  • dialyzer screenshot

2 Alternatives for dialyzer

elvis

Erlang Style Reviewer.

Primitive Erlang Security Tool (PEST)

A tool to do a basic scan of Erlang source code and report any function calls that may cause Erlang source code to be insecure.

Our Sponsors

This website is completely open source. To fund our work, we fully rely on sponsors. Thanks to them, we can keep the site free for everybody. Please check out their offers below.

  • Bearer
  • BugProve
  • CodeScene
  • semgrep
  • Offensive 360