erlang - 在 Erlang 梁上使用 Dialyzer 和源代码之间有效率差异吗？

Question

我在 ~/erl_beam 之类的路径下收集项目的所有梁文件

dialyzer ~/erl_beam/*.beam --get_warnings -o static_analysis.log

它运作良好。

如果我在 Erlang 源代码上这样做:

dialyzer --get_warnings -I <Path1> --src <Path2> -o static_analysis.log

它也有效。

那么为什么我们有两种方法可以对 Erlang 代码进行静态分析呢？
彼此有什么优点或缺点吗？

Answer 1

很小。

Dialyzer 分析在 Core Erlang 上执行。这种表示可以直接从 +debug_info 编译的 .beam 文件中提取，也可以通过编译 .erl 文件来提取。编译需要时间，但这当然不是分析中最耗时的部分。

如果您已经使用 .erl 编译了 +debug_info，那么分析生成的 .beam 文件也更方便，因为您不必将任何与编译相关的命令行选项传递给 Dialyzer。