Redirecting to https://www.erlang.org/documentation/doc-5.8/lib/dialyzer-2.3.0/doc/pdf/dialyzer-2.3.0.pdf