purity:Erlang的副作用分析仪

时间:2021-05-23 23:33:32
【文件属性】:
文件名称:purity:Erlang的副作用分析仪
文件大小:85KB
文件格式:ZIP
更新时间:2021-05-23 23:33:32
Erlang 纯度 纯度是一种静态分析仪,它确定Erlang函数的纯度。 通过简单的API,它可以用作独立应用程序或用作其他应用程序的一部分。 安装 在获取源代码的副本后, git clone git://github.com/mpitid/purity.git 更改为purity目录,然后运行make来构建代码。 当前没有自动安装的机制,因此您将必须手动执行以下操作: 将目录添加到ERL_LIBS环境变量。 假设您将代码克隆到主目录中,则如下所示就足够了: export ERL_LIBS="$HOME/purity" Bash用户可以将此指令放在其$HOME/.bashrc文件中,以便在登录时执行。 您还需要将purity脚本的副本放置在顶层目录中,以放置到PATH其他目录中,例如/usr/local/bin 。 或者,您也可以使用以下命令将克隆的目录添加到PATH环境变量中: exp
【文件预览】:
purity-dev
----.gitignore(301B)
----COPYING(26KB)
----README.asciidoc(2KB)
----vsn.mk(19B)
----test()
--------term.erl(515B)
--------duplicates(920B)
--------letrec.erl(552B)
--------exceptions.erl(1KB)
--------mutual.erl(1KB)
--------caseargs.erl(162B)
--------selfrec.erl(131B)
--------nested.erl(5KB)
--------plt(2KB)
--------dest.erl(2KB)
--------indirect.erl(2KB)
--------combined_analysis(1KB)
--------values.erl(691B)
--------names.erl(707B)
--------args.erl(447B)
--------d2()
--------expr.erl(580B)
--------d1()
--------higher.erl(2KB)
--------simple.erl(215B)
----changelog(108B)
----predef()
--------cheats(677B)
--------bifs(9KB)
--------primops(202B)
----TODO(487B)
----src()
--------purity_plt_tests.hrl(567B)
--------cl_parser.erl(9KB)
--------runtest.erl(7KB)
--------cl_parser_tests.hrl(1KB)
--------purity_cli.erl(11KB)
--------purity_analyse.erl(28KB)
--------purity_plt.erl(12KB)
--------purity.erl(5KB)
--------core_aliases.erl(6KB)
--------purity_collect.erl(27KB)
--------purity_utils_tests.hrl(471B)
--------purity_utils.erl(14KB)
--------purity_stats.erl(5KB)
--------purity.app.src(412B)
----scripts()
--------coredump(1KB)
--------purity_bifs(2KB)
--------empty_plt(289B)
--------extract(4KB)
--------export_plt(250B)
--------common(629B)
--------runtests(712B)
--------utests(551B)
--------findsrc(590B)
----purity(122B)
----doc()
--------overview.edoc(6KB)
--------style.css(985B)
----Makefile(3KB)

网友评论