Description
Provides Dialyzer, a static analysis tool for Erlang code. It can find type inconsistencies, unreachable code, and other problems without requiring full type annotations in every module.
Use it in Erlang development and continuous integration to catch mistakes before runtime. It reports likely issues, so developers still need to interpret results in the context of the project.