An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries

机译：一种基于抽象解释的二进制控制流重构框架

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Due to indirect branch instructions, analyses on executables commonly suffer from the problem that a complete control flow graph of the program is not available. Data flow analysis has been proposed before to statically determine branch targets in many cases, yet a generic strategy without assumptions on compiler idioms or debug information is lacking.rnWe have devised an abstract interpretation-based framework for generic low level programs with indirect jumps which safely combines a pluggable abstract domain with the notion of partial control flow graphs. Using our framework, we are able to show that the control flow reconstruction algorithm of our disassembly tool Jakstab produces the most precise overapproximation of the control flow graph with respect to the used abstract domain.

机译：由于间接的分支指令，对可执行文件的分析通常会遇到以下问题：程序的完整控制流程图不可用。在许多情况下，以前曾提出过数据流分析来静态确定分支目标的方法，但是缺乏一种无需对编译器惯用法或调试信息进行假设的通用策略。结合了可插拔抽象域和部分控制流程图的概念。使用我们的框架，我们可以证明我们的拆卸工具Jakstab的控制流重构算法相对于所使用的抽象域，产生了最精确的控制流图过度逼近。

著录项

来源
《Verification, model checking, and abstract interpretation》|2009年|214-228|共15页
会议地点 Savannah GA(US);Savannah GA(US)
作者
Johannes Kinder; Florian Zuleger; Helmut Veith;
展开▼
作者单位

Technische Universitaet Darmstadt, 64289 Darmstadt, Germany;

Technische Universitaet Darmstadt, 64289 Darmstadt, Germany Technische Universitaet Muenchen, 85748 Garching, Germany;

Technische Universitaet Darmstadt, 64289 Darmstadt, Germany;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类移动通信;
关键词

相似文献

外文文献
中文文献
专利

1. Abstract interpretation-based semantic framework for software birthmark [J] . Ying Zeng, Fenlin Liu, XiangYang Luo, Computers & Security . 2012,第4期

机译：基于抽象解释的软件胎记语义框架
2. An Abstract Interpretation-Based Framework for ftware Watermarking [J] . Patrick Cousot, Radhia Cousot ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2004,第1期

机译：基于抽象解释的ftware水印框架
3. Controlling the assembly of chalcogenide anions in ionic liquids: From binary Ge/Se through ternary Ge/Sn/Se to binary Sn/Se frameworks [J] . Lin Y., Massa W., Dehnen S. Chemistry: A European journal . 2012,第42期

机译：控制硫族化物阴离子在离子液体中的组装：从二元Ge / Se到三元Ge / Sn / Se到二元Sn / Se骨架
4. An Abstract Interpretation-Based Framework forControl Flow Reconstruction from Binaries [C] . Johannes Kinder, Florian Zuleger, Helmut Veith International Conference on Verification, Model Checking and Abstract Interpretation . 2009

机译：基于抽象解释的框架ForControl流量重建二进制文件
5. Trust, Transforms, and Control Flow: A Graph-Theoretic Method to Verifying Source and Binary Control Flow Equivalence [D] . Goluch, Ryan Christopher. 2021

机译：信任，转换和控制流程：验证源和二进制控制流量等的图形 - 理论方法
6. Abstract: 12.00 Two-Stage Implant-Based Breast Reconstruction Is Safer Than Immediate One-Stage Implant-Based Breast Reconstruction Augmented With An Acellular Dermal Matrix: A Multicentre Randomized Controlled Trial [O] . Rieky Dikmans, Vera Negenborn, Mark-Bram Bouman, 2017

机译：摘要：12.00两阶段植入物为基础的乳房重建术比即时一阶段植入物为基础的乳房重建术以无细胞真皮基质增强安全性更高：多中心随机对照试验
7. An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries [O] . Kinder, Johannes, Zuleger, Florian, Veith, Helmut 2009

机译：一种基于抽象解释的二进制控制流重构框架
8. EUROMECH colloquium 377. Stability and control of shear flows with strong temperature or density gradients. Book of abstracts [R] . 1998

机译：EUROmECH学术讨论会377.具有强烈温度或密度梯度的剪切流的稳定性和控制。摘要书

An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries

摘要

著录项

相似文献

相关主题

期刊订阅