1. dialyzer
Dialyzer starts its analysis from either debug-compiled BEAM bytecode or from Erlang source code.
Dialyzer 可以分析*.erl和有debug-info的BEAM， Dialyzer提供GUI和Command Line两种模式，推荐使用command line模式.
使用步骤：
1.1 设置PLT(Persitent Lookup Table),用于存放分析结果，推荐建立PLT加入OTP Applications 和你经常使用的Applications时
最少的PLT路径应该是这样的：
dialyzer --build_plt -r $ERL_TOP/lib/stdlib/ebin $ERL_TOP/lib/kernel/ebin $ERL_TOP/lib/mnesia/ebin
Dialyzer 会把PLT放在一个$DIALYZER_PLT目录下，如果找不到，就会入在$HOME/.dialyzer_plt 这个路径也可以用—plt 或—output_plt 选项设置。
1.2 分析命令:
%% 可以分析单个文件，目录下文件，或一个Applications >dialyzer test.erl >dialyzer -r Dir >dialyzer -apps Applications
1.3 为什么会需要这个工具？
Erlang不是一个强类型语言，所以基本上编译时不会像c++那样去严格检查函数的输入输出类型啊，这带来的好处就是：
foo(X) when is_integer(X) -> X + 1. foo(X) -> list_to_atom(X).
以上这个例子在其它强类型语言也可以实现，但是总是要自己去骗下编译器，说这个能过什么的！！！但是erlang这样写函数是很正常的行为，这也是动态编译带来的好处之一，
通常的analyzers会尽量保证在运行期间也不会出错，如果Erlang也这样做，就会change it semantics. 两都不可兼得啊！
于是，就有了团队开发了dialyzer，于是世界和平啦…….
2 coverage
Todo.