Slither：领先的智能合约静态分析器

摘要

发表于 WETSEB@ICSE 的论文显示，Slither 在速度、健壮性与误报平衡上优于其他智能合约静态分析工具，这得益于基于 SSA 的中间表示 SlithIR，也让框架易于扩展至漏洞检测、优化建议与代码审查。