密码学原语混合执行分析：Sandshrew 工具的技术探索

qife122

08-25

本文介绍基于Manticore的混合执行工具Sandshrew，通过结合符号执行与具体执行分析密码学原语实现等价性验证。涵盖测试用例编写、具体化执行、符号状态恢复等核心技术，并讨论现有局限性与改进方向。