refinement.js:JavaScript的另一个合同库，它得益于TAJS等静态分析器

Refinement.js 还有另一个JavaScript合约库，可从静态分析器（例如TAJS）中受益。 安装 首先，您应该安装Java 。 然后，执行以下步骤。 git clone https://github.com/NiceKingWei/refinement.js.git cd refinement.js/ sudo npm install -g 安装后，您将获得两个命令行工具tajs和rfjs 。 tajs是后端分析refinement.js ，如果你想知道更多关于TAJS，请访问 。 rfjs是将规范转换为JavaScript代码的编译器，静态分析器可以检查它。 用法 rfjs [OPTION]... [FILE]... 选项 -help或--help显示帮助信息。 -rfjs-debug分析后不要删除目标代码。 其他选项将传递给TAJS。 规格 要求：功能的前提