我在〜/ erl_beam这样的路径下收集项目的所有梁文件
dialyzer ~/erl_beam/*.beam --get_warnings -o static_analysis.log
Run Code Online (Sandbox Code Playgroud)
它运作良好.
如果我在Erlang源代码上执行此操作:
dialyzer --get_warnings -I <Path1> --src <Path2> -o static_analysis.log
Run Code Online (Sandbox Code Playgroud)
它也有效.
那么为什么我们有两种方法对Erlang代码进行静态分析呢?彼此有任何优点或弱点吗?