Sydr：前沿动态符号执行
密码学与安全
2021-04-16 v2
摘要
安全开发生命周期（SDL）正成为行业标准。动态符号执行（DSE）在计算机安全（模糊测试、漏洞发现、逆向工程等）中有大量应用。我们提出了若干针对动态符号执行的性能与精度改进。跳过非符号指令可使路径谓词构建速度提升 1.2--3.5 倍。符号引擎在符号执行期间简化公式。路径谓词切片从求解器查询中消除无关合取项。我们将每个跳转表（switch 语句）作为多个分支处理，并描述了多线程程序的符号执行方法。所提出的方案已在 Sydr 工具中实现。Sydr 执行路径谓词中的分支反转。Sydr 将 DynamoRIO 动态二进制插桩工具与 Triton 符号引擎相结合。我们在 64 位 Linux 可执行文件上评估了 Sydr 的特性。
引用
@article{arxiv.2011.09269,
title = {Sydr: Cutting Edge Dynamic Symbolic Execution},
author = {Alexey Vishnyakov and Andrey Fedotov and Daniil Kuts and Alexander Novikov and Darya Parygina and Eli Kobrin and Vlada Logunova and Pavel Belecky and Shamil Kurmangaleev},
journal= {arXiv preprint arXiv:2011.09269},
year = {2021}
}
备注
9 pages