智能合约SMT跳过求解器

路径求解省时四成

针对多交易符号执行的路径冗余，通过跳过与召回机制减少SMT求解，保持漏洞报告能力不变。

郑沛琳 · Bowei, Su · Luo, Xiapu · 陈挺 · 张能 · Zibin, Zheng

2024

参数信息

总时间减少比例
37.4 %
路径求解时间减少比例
65.2 %
总时间减少比例
38.1 %
路径求解时间减少比例
54.7 %

技术优势

省掉重复求解

已执行交易与当前执行路径存在冗余，跳过其 SMT 求解，路径求解时间平均减少 65.2%。

不丢漏洞

跳过可能导致漏报，近交易召回策略纠正误跳过，最终报告漏洞数不减少。

应用场景