CONSTRAINTDIAL用协议变异构建智能合约安全任务

Zifan Peng等作者提出框架 CONSTRAINTDIAL，通过协议变异自动构建智能合约安全任务：从 203 个公开案例生成 3045 个覆盖检测、利用与修补的任务输入。作者称，相比仅做合约重建，协议变异使借助公开答案解题的成功率平均下降 10.9 个百分点，靠复制线上答案完成的任务比例下降 9.3 点。 该框架自动完成本地合约重建，并以攻击执行结果筛选对调用或输入的改动，使原始攻击失效，同时保留可利用性、安全目标与正常功能。

AI 根据报道生成 · 53 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。