汇编代码中数组的关系抽象解释.存档ouverte HAL
第三条Dans Une Revue 系统设计中的形式化方法 安妮：2022

汇编代码中数组的关系抽象解释

Résumé

本文提出了一种基于抽象解释的汇编代码静态分析技术，用于发现数组的属性。考虑汇编代码而不是源代码具有重要的优点：我们不需要对编译器行为进行假设，而且我们可以处理闭源程序。然而，主要的缺点是无法获得有关源代码变量及其类型的信息，尤其是有关数组的信息。相反，二进制代码解释了数据丢失（寄存器和内存地址）及其字节大小。在不了解源代码的情况下，我们的分析推断出哪些内存地址集对应于数组，并建立这些地址及其内容的属性。底层抽象域是关系型的，这意味着我们可以推断域变量之间的关系。因此，我们可以推断数组的属性，这些数组的起始地址和大小是根据域的变量确定的，因此可以静态未知。目前，没有其他在程序集或二进制级别操作的工具可以推断出此类属性。

与葡萄园

信息[cs]
菲奇尔校长
小品小品
ballabriga-et-al-2022-accepted.pdf（558.62 Ko） 特勒充电器
原籍 菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

朱利安忘了 : Connectez-vous浇注接触器le contributer

https://inria.hal.science/hal-03794951

Soumis le:lundi 2022-16:20:26年10月3日

Dernière修改日期：vendredi 31 mai 2024-18:32:03

长期存档：mercredi 4 janvier 2023-18:57:30

Télé充电器倒可视化

日期和版本

hal-03794951， 版本1 (03-10-2022)

身份证明人

Citer公司

Clément Ballabriga、Julien Forget、Jordy Ruiz。汇编代码中数组的关系抽象解释。系统设计中的形式化方法, 2022,⟨10.1007/s10703-022-00399-3⟩.⟨哈尔-03794951⟩

出口商

BibTeX公司 XML-TEI公司 都柏林核心元数据集 DC条款 尾注 数据引用

收藏

CNRS公司 印度 CRISTAL公司 INRIA2公司 UNIV-LILLE公司 澳大利亚国家铁路公司 冠状悬铃木
155 磋商
201 交易费用

海拔高度

合作伙伴

更多