Dialyzerは Erlangコードベース内の型エラーの検知をする。Dialyzerの永続的探索表(PLT: Persistent Lookup Table)を作成します。
$ dialyzer --build_plt --apps erts kernel stdlib crypto mnesia sasl common_test eunit
必要であれば、sslやreltoolといったアプリケーションを--appsに続けて追加する事もできる
$ dialyzer --add_to_plt --apps ssl reltool
使うときにdialyzerの後ろにファイル名を追加するだけでいいです。
$ dialyzer binary_search.erl
Checking whether the PLT /Users/wang/.dialyzer_plt is up-to-date... yes
Proceeding with analysis... done in 0m0.56s
done (passed successfully)