Redirecting to https://www.erlang.org/documentation/doc-5.8.2/lib/dialyzer-2.4.0/doc/pdf/dialyzer-2.4.0.pdf