dialyzer使用备忘

iteye_13453

于 2013-07-04 12:36:35 发布

阅读量214

点赞数

CC 4.0 BY-SA版权

分类专栏：我的备忘录文章标签： erlang

本文链接：https://blog.youkuaiyun.com/iteye_13453/article/details/82518378

我的备忘录专栏收录该内容

56 篇文章

订阅专栏

本文介绍如何使用Dialyzer构建PLT文件并分析Erlang程序。主要内容包括构建PLT文件的过程及命令选项说明，通过示例展示如何为特定应用构建PLT文件，以及如何利用PLT文件分析Erlang源代码或编译后的BEAM文件。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

一、构建PLT文件：
新构建
dialyzer --build_plt --apps $(APPS)

--apps参数对命令指定的应用构建PLT，缺省的PLT文件是~/.dialyzer_plt文件

如果要生成自己的plt文件，使用--output参数指定
dialyzer --build_plt --apps $(APPS) --output_plt my_abc.plt

一个例子：
dialyzer --build_plt --output_plt ～/.my_abc.plt --apps kernel stdlib sasl erts ssl tools os_mon runtime_tools c
rypto inets xmerl webtool snmp public_key mnesia eunit

添加内容
例如给已有的plt添加xmerl应用：
dialyzer --add_to_plt --apps xmerl

二、分析程序
既可以分析erl源代码，也可以对编译好的beam文件进行分析

例如对ebin下编译好的beam程序进行分析的例子：
dialyzer --plts *.plt ~/.dialyzer_plt -- ebin

参考：
http://learnyousomeerlang.com/dialyzer