https://blog.cndenis.com/tags/Dialyzer.htmlRecent content in Dialyzer on cnDenis的笔记Hugo -- gohugo.iozh-cnThu, 01 Aug 2013 00:00:00 +0000https://blog.cndenis.com/Erlang/2013/08/Erlang%E7%9A%84%E9%9D%99%E6%80%81%E4%BB%A3%E7%A0%81%E6%A3%80%E6%9F%A5.htmlThu, 01 Aug 2013 00:00:00 +0000https://blog.cndenis.com/Erlang/2013/08/Erlang%E7%9A%84%E9%9D%99%E6%80%81%E4%BB%A3%E7%A0%81%E6%A3%80%E6%9F%A5.html<p>Dialyzer是Erlang的静态代码检查程序, 可以发现函数调用时的类型错误之类的问题, 以及被调用的函数不存在或未导出的问题. 最实用的是在上传代码到SVN后, 检查是否漏传模块. 因为漏传的话, 编译不会报错, 但运行时会出undef错误, 从SVN上检出一份全新的代码, 用Dialyzer查一下, 漏的马上可以发现.</p> <p>Dialyzer用法很简单, 只有三步: 建立PLT文件, 编译代码, 运行检查.</p> <h2 id="建立plt文件">建立PLT文件 </h2><p>PLT文件是Dialyzer所用的代码规则的记录, 或者说是索引. 一般把代码所用到的几个常用的Erlang系统库加到PLT文件中就好了.</p> <p>开始使用Dialyzer之前请先确定Erlang已正确安装, dialyzer.exe在系统搜索路径中.</p> <p>写Dialyzer模块的人用的是Linux, 所以这东西对Windows不是特别友好, 它的PLT文件默认存放在HOME目录下, 而Windows一般是没有这个环境变量的, 所以Dialyzer一运行就报错. 因此首先要设置HOME变量, 指定为一个目录, 用以存放PLT文件.</p> <p>建立PLT文件的命令是</p> <div class="highlight"><pre tabindex="0" class="chroma"><code class="language-sh" data-lang="sh"><span class="line"><span class="cl"> dialyzer --build_plt --apps erts kernel stdlib mnesia </span></span></code></pre></div><p>其实 <code>--build_plt</code> 参数表示建立PLT文件, <code>--app</code> 后面写上代码中引用到的内置库即可.</p> <p>这个命令运行时间比较长, 可能达到十几分钟, 请去喝杯咖啡慢慢等.</p> <p>如果发现已经建立的PLT文件中漏了某些库, 可以使用 <code>--add_to_plt</code> 添加.</p> <div class="highlight"><pre tabindex="0" class="chroma"><code class="language-sh" data-lang="sh"><span class="line"><span class="cl"> dialyzer --build_plt --apps eunit </span></span></code></pre></div><p>其实一不用加太多, 最常用的就上面几个, 检查代码时如果发现漏了, 再用 <code>--add_to_plt</code> 加上即可.</p> <h2 id="编译代码">编译代码 </h2><p>Dialyzer可以检查源代码erl文件, 也可以检查编译好的beam文件. 我推荐是检查beam文件, 速度比较快.</p> <p>用Dialyzer检查beam文件要求在编译beam文件时加上debug_info参数, 这样生成出来的beam才能用于dialyzer检查.</p> <h2 id="运行检查">运行检查 </h2><p>对于编译好的beam文件, 只需要进入beam所在目录, 运行</p> <div class="highlight"><pre tabindex="0" class="chroma"><code class="language-sh" data-lang="sh"><span class="line"><span class="cl"> dialyzer . </span></span></code></pre></div><p>即可检查该目录下所有beam文件, 或是</p> <div class="highlight"><pre tabindex="0" class="chroma"><code class="language-sh" data-lang="sh"><span class="line"><span class="cl"> dialyzer 文件名 </span></span></code></pre></div><p>即可检查某一文件.</p> <p>如果希望把结果写入一个文件中, 可以使用<code>-o</code>参数, 如:</p> <div class="highlight"><pre tabindex="0" class="chroma"><code class="language-sh" data-lang="sh"><span class="line"><span class="cl"> dialyzer . -o Result.txt </span></span></code></pre></div><p>这样会把结果写入<code>Result.txt</code>中.</p>