Posted at

Erlangのdialyzer使い方

More than 3 years have passed since last update.

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)