缝线机:固体静态分析仪 源码

Slither,Solidity源分析器 Slither是一个用Python 3编写的Solidity静态分析框架。它运行一组漏洞检测器,打印有关合同明细的可视信息,并提供一个API来轻松编写自定义分析。 Slither使开发人员能够发现漏洞,增强他们的代码理解能力并快速进行定制分析原型。 产品特点 检测具有低误报率的易受攻击的Solidity代码(请参阅列表) 标识源代码中错误情况发生的位置 轻松集成到持续集成和松露构建 内置的“打印机”可快速报告重要的合同信息 Detector API以Python编写自定义分析 能够分析以Solidity> = 0.4编写的合同 中间表示( )可以