一个用于分析 Solidity 智能合约安全性和参数的工具
Pyrometer 是一个正在开发中的安全工具,目前处于 BETA 版本。它可以在大多数 Solidity 0.8.x 合约中运行,但仍存在一些限制和尚未涵盖的语言边缘情况。实际上,Pyrometer 是符号执行、抽象解释和静态分析的混合体,我们从每种方法中汲取了理念,并以工程为先的思维方式进行应用,以创建一个有效的工具(并避免通过学术论文进行的技术细节),旨在帮助审计人员和开发人员。
Pyrometer 最终可能是语言无关的，但目前它针对 Solidity。代码目前并未完全结构化以支持多种语言，但它已经具备了一些基础，可以支持其他基于 EVM 的语言。以下是一个示例输出：
运行 pyrometer --help 以获取更多详细信息。
暂无开放 Issues，或尚未同步最近议题。