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

Question

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

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

有效，但将 deps 中应用程序的各种功能列为“未知功能”。

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

我可以想到以下任何一个合理的论点：

• 可能会发现下游错误；
• 会阻塞清理我自己的代码。

Answer 1

将依赖项添加到 plt 会提供有关依赖项的透析器信息。

它不会添加任何关于依赖项的错误。

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