name: fix_verification description: 验证报告的漏洞是否真正被修复。
修复验证
这个技能帮助您严格验证报告的漏洞已被消除，而不会引入回归问题。
1. 验证循环
- 复现: 创建一个失败的
mandos场景（展示漏洞）。 - 应用修复: 修改 Rust 代码。
- 验证: 运行失败的 mandos 场景。现在它必须通过。
- 回归检查: 运行所有其他 mandos 场景。它们必须仍然通过。
2. 常见修复失败
- 部分修复: 修复了一条路径但遗漏了变体（例如，修复了
deposit但没有修复transfer）。 - 移动的漏洞: 修复阻止了利用，但创建了拒绝服务向量（例如，添加了一个永远不会解锁的锁）。
3. 交付物
一个“验证报告”，包括：
- 修复的提交 ID。
- 用于验证的测试用例。
- 回归测试套件成功的确认。