单次执行二进制逆向工程：轻量级动态分析方法

"这篇资源是Franck De Goërde Herve的博士学位论文，主题为‘单次执行的二进制程序逆向工程：一种轻量级的函数级动态分析’，发表于2017年，由法国格勒诺布尔阿尔卑斯大学出版。论文探讨了如何在仅执行一次的情况下对二进制程序进行逆向工程，采用了一种轻量级的动态分析方法，重点关注函数级别的分析。该论文是计算机科学领域的一部分，特别是在编程语言的研究方面。" 这篇论文深入研究了逆向工程的技术，特别是针对二进制程序的逆向工程。逆向工程通常涉及将已编译的代码转换回源代码的过程，以便理解其工作原理，查找漏洞，或者进行代码审计。在传统的逆向工程中，可能需要多次执行程序来收集足够的信息，但本论文提出的是一种新的方法，它能够在单次执行中完成对二进制程序的分析，降低了分析的复杂性和资源需求。 作者提出的方法采用了动态分析，这是一种在程序运行时收集信息的技术，与静态分析（不运行程序而仅分析代码）相对。动态分析在函数级别进行，意味着它可以跟踪和理解程序中各个函数的行为。这种轻量级的动态分析可能通过监控调用关系、变量状态和内存操作来实现，从而在不影响程序性能的前提下，提供有关程序功能的详细见解。 论文的作者Franck De Goërde Herve在指导下完成了这项工作，指导教师包括Roland Groz教授和Laurent Mounier副教授，论文的公开支持会议由Kavé Salamatian教授主持，评审委员会成员还包括其他知名学者。这篇论文对于理解二进制程序逆向工程的最新进展，以及如何在有限的资源和时间内有效地分析程序，具有重要的学术价值和实践意义。 该论文存放在HAL（Hyper Article en Ligne）档案库中，这是一个多学科开放获取的文献存储和传播平台，包含了来自法国和国际教育及研究机构的未发表和已发表的研究成果。通过HAL，研究人员、学生和其他感兴趣的人可以访问和引用这篇论文，进一步推进相关领域的研究。