[Erlang03]Erlang有哪些好用的静态分析工具？

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.