Man Pages in erlang-dialyzer

Section 1: Executable programs or shell commands

dialyzer.1

The dialyzer, a discrepancy analyzer for erlang programs