利用矩阵方法自动研究具有缓冲区溢出漏洞的程序代码反汇编表示结构的方法

DOI:

评审日期

出版日期

注解: 研究的主题是优化反汇编代码上的自动依赖搜索的算法。 研究的对象是英特尔公司制造的处理器x86体系结构上的依赖代码块，以及在Windows和Linux中具有不同设置的编译器对软件进行逆向工程而获得的列表。
研究的目的。 该研究的目的是考虑使用数学矩阵构建机器代码地图的可能性，以及审查自动分析的可能问题，以搜索遵循信息流的方法。 研究方法。 工作中使用了Visual C++编译器。 可以通过以下方式进行信息传递的体系结构被考虑：寄存器-存储器，存储器-寄存器，寄存器-寄存器。 为了进行分析，选择了一种方法，用于形成在所研究的潜在危险代码块之前调用的函数列表，为所考虑的到所研究块的每条路径形成。 描述并开发了实现矩阵方法的方法。 新颖性和关键结论。 数学矩阵的方法可用于构建机器码图。 然而，可能需要大量资源来确定单个代码块的可达性路径。 此外，机器代码可以暴露给打包器和混淆器，这也引入了额外的困难。 确定了C/C++编程语言标准库的一些潜在危险函数。

出版日期: