我开始在基于Phoenix 1.4的雨伞项目中使用Dialyzer (dialyxir 1.0.0-rc.6)。 当我第一次在上面运行mix dialyzer的时候，我得到了这样的警告。apps/my_app/lib/my_app_web/gettext.ex:1:pattern_match_cov%{}
can never match since previousclauses completely cover the
浏览 15提问于2019-05-12得票数 3
1回答
静态分析器透析器(我通过使用它)将Logger (Logger.info "blah")的所有使用情况报告为无与伦比的返回：
Expression produces a value of type 'ok我还可以使用-Wno_unmatched_returns配置透析器，以忽略所有这些警告。然而，我发现它们信息丰富，不想忽视它们。说，我们可以在每个模块的基础上使用<em
浏览 2提问于2016-04-04得票数 5
回答已采纳
1回答
Dialyzer不喜欢调用基础模块中的函数。有没有可以跳过这个错误的透析器标志，或者我做错了什么。-module(base).-.erl:41:调用缺失或未导出的函数-：-/3
是我做错了什么，还是透析器发出
浏览 0提问于2012-04-02得票数 2
回答已采纳
lib.plt --build_plt --apps stdlib kernel mnesia ssl public_key crypto erts asn1 inets sasl odbc compile:file/2 compile:noenv_forms/2
我能告诉透析员忽略这些吗？
浏览 4提问于2014-01-20得票数 4
回答已采纳
透析器版本2.9。Erts 7.3。OTP 18。-module(dialBug).但是，当我取消注释第三行并导出f1/1函数透析器时，不再发出任何警告。我意识到，当f1/1输出时，透析
浏览 4提问于2017-09-17得票数 6
在Elixir中，我如何记录一个函数将返回一个实现特定行为的模块？举个简单的例子，假设我创建了一个由两个模块实现的GreeterBehaviour行为： @callback say_hello(String.twith dialyzer FormalGreeter # Can easily be swapped to CasualGreeterend
透析器</
浏览 4提问于2017-06-24得票数 15
2回答
下面的Erlang代码在它的类型规范中似乎有一个明显的错误，但是透析器说一切正常。我是误会了，还是这是透析器的问题？运行于Erlang 19.3
-module(foobar).
浏览 0提问于2018-03-04得票数 5
回答已采纳
Dialyzer指责试图与模块变量匹配的代码： # -> :demo:production
:demo
我怎样才能避免警告，或者我应该写在下面每一次？
浏览 11提问于2020-01-21得票数 2
回答已采纳
1回答
以下是一些有错误的代码，我认为Dialyzer应该能够发现这些错误： mnesia:activity(transaction, Exists).
myapp_thing:exists/1被指定为返回yes | no，但返回类型实际上是然而，在myapp上运行Dialyzer会在没有警告的情况下通过它。如果我将myapp_mnesia:thing_exists/1更改为只返回true，则会收到相应的警告
浏览 2提问于2013-07-10得票数 2
回答已采纳
是一个包含大约100个模块的大型Erlang项目。我在这个项目中实现了一个新的模块，并对透析器需要多长时间才能完成项目的一个完整检查感到震惊。在我的机器上运行一次make dialyzer大约需要200秒，对于实现更改的频繁测试来说，这是无法忍受的。make dialyzer运行以下命令来启动透析器：
/usr/lib/erlang/bin&
浏览 0提问于2012-08-15得票数 5
回答已采纳
我使用lager进行日志记录；它有一个解析器转换，将lager:warn/1等函数转换为lager:trace...函数。透析器不处理解析器转换，因此它使用Call to missing or unexported function lager:warn/1进行警告。
我如何告诉它这个函数确实存在，而不是警告它呢？
浏览 5提问于2013-12-05得票数 7
回答已采纳
最后两行(feed_squid(FeederRP)和feed_red_panda(FeederSquid))显然违反了定义的约束，但Dialyzer发现它们还好。这非常令人失望，因为这正是我希望通过工具执行静态分析来捕获的错误类型。
在用错误的馈线调用函数之前，首先用正确的类型调用函数。对于R15B01，Dialyzer不会发现这个代码的错误。观察到的行为是，一旦对给定函数的调用在函数的体内成功，Dialyzer将忽略相同代码
浏览 1提问于2012-08-07得票数 6
2回答
我试图让詹金斯运行透析器上的erlang代码，但我有一个问题。当我们将它引入到一个现有的项目中时，有一些我们不想标记的现有错误，我们在文件透析器-忽略警告中有这些错误。我的makefile中有这样的内容，但我真正想要做的是，如果grep返回一个空文档，返回一个值，如果有新的错误，则返回一个值。但是我的剧本 @echo
浏览 3提问于2015-01-13得票数 1
我希望添加规范永远不会使事情变得不那么安全，但这正是在下面的情况下发生的情况。-module(sample).
-export([foo/0]).在此，Dialyzer违反了其“不假阳性”的承诺:当没有错误时，它会发出警告。更糟糕的是，透析器</e
浏览 9提问于2020-12-16得票数 4
回答已采纳
在一个包含大约6000行Erlang代码但没有类型-spec()注释的项目中，我尝试了以下操作：I将所有*.erl文件替换为带注释的文件，并运行我希望得到很多警告(第一次运行透析器/打字机组合)，但在做了它的事情后，所有的透析器报告是两个老调用在user_default，同时不存在的功能。没有其他默认警告触发。
浏览 1提问于2011-05-01得票数 2
回答已采纳
在学习灵丹妙药的过程中，我开发了一个非常简单的应用程序，在使用透析器检查类型时遇到了一个小障碍。在我的代码上运行透析器会导致Analysis failed错误.到目前为止，透析器只给了我警告，而不是错误，当我违反类型规格，所以我不知道错误是什么。为了缩小问题的范围，我做了一个超简单的函数，执行违规的返回值。visibility_mi: '
浏览 4提问于2015-07-14得票数 2
回答已采纳
我在一个有几个第三方依赖项的项目上运行rebar3，其中一个与定义的规范有问题。当我转到rebar3时，弹出了一个新的错误，显示我的一个方法调用违反了合同： -> {'ok',riakc_obj()} | {'error',term
浏览 7提问于2018-01-30得票数 1
回答已采纳
3回答
静态分析与静态类型
、、、
我正在学习Elixir，工具'dialyzer‘可以让你做静态分析--用函数定义的类型规范来注释它所期望的参数和它返回的输出。它完全是可选的，但是如果它被充分使用，它如何与好的静态类型相匹配呢？
浏览 2提问于2014-05-09得票数 5
1回答
我刚从没有供应商文件夹的服务器上下载了Laravel的一个文件夹。然后尝试运行composer命令来检索供应商文件夹。但是控制台中显示了一条错误消息。在第0行中未知，PHP警告:php启动:无法加载动态库'gettext’(尝试：\xampp\php\ext\gettext (无法找到指定模块)，\xampp\php\ext\php_gettext.dll(无法找到指定模块)在第0行中未知
警告: PHP启
浏览 12提问于2022-02-10得票数 0
云服务器
ICP备案
对象存储
云点播
实时音视频
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号