在应用程序上运行透析器：我应该将依赖项添加到PLT吗？

Question

我有一个erlang应用程序，其中包含应用程序中的子应用程序和deps /中的依赖项。在其中一个子应用程序上运行透析器，例如：

$ dialyzer -r apps/app1/src --src

有效，但在deps中将应用程序列为“未知函数”各种函数。

那么，我应该将deps应用程序添加到plt中，还是应该相信他们的作者已经完成了自己的测试？

我可以想到合理的论据：

• 可能会发现下游错误;
• 会堵塞我自己的代码。

Answer 1

将依赖项添加到plt可获得有关依赖项的透析器信息。

它不会对依赖项添加任何错误。

或者你可以将你的应用程序与所有依赖项一起传递给透析器，但这会反复重新检查deps而不会有任何额外的收益。