小编boe*_*eam的帖子

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

我在〜/ 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代码进行静态分析呢?彼此有任何优点或弱点吗?

erlang dialyzer

3
推荐指数
1
解决办法
196
查看次数

标签 统计

dialyzer ×1

erlang ×1