关于反汇编真值生成与反汇编器评估
编程语言
2020-12-17 v1 密码学与安全
软件工程
摘要
当软件变换或软件安全任务需要分析给定程序二进制文件时，第一步通常是反汇编。由于许多现代反汇编器在许多二进制文件上已变得高度准确，我们认为可靠的反汇编器基准测试需要标准化所用二进制文件集合及关于这些二进制文件的反汇编真值。本文提出（i）我们正在进行中的反汇编基准测试套件的首个版本，其包含来自不同项目、由多种编译器和优化设置编译的 879 个二进制文件，以及（ii）一种新颖的反汇编真值生成器，其利用“列表文件”概念，并得到 Clang、GCC、ICC 和 MSVC 的广泛支持。此外，本文给出使用此基准测试套件和定制评估系统对四种著名开源反汇编器的评估。我们的整个系统与所有生成数据均在 GitHub 上公开维护，以鼓励社区采用。
引用
@article{arxiv.2012.09155,
title = {On the Generation of Disassembly Ground Truth and the Evaluation of Disassemblers},
author = {Kaiyuan Li and Maverick Woo and Limin Jia},
journal= {arXiv preprint arXiv:2012.09155},
year = {2020}
}
备注
Revised and extended version of our publication that first appeared in the 2020 Workshop on Forming an Ecosystem Around Software Transformation (FEAST '20), November 13, 2020