Binary-level lightweight data integration to develop program understanding tools for embedded software in C
Binary-level lightweight data integration to develop program understanding tools for embedded software in C
复制标题
DOI：
10.1109/apsec.2004.36
复制
发表时间：
2004-11
期刊：
影响因子：
--
通讯作者：
K. Gondow;Tomoya Suzuki;Hayato Kawashima
中科院分区：
文献类型：
--
作者：
K. Gondow;Tomoya Suzuki;Hayato Kawashima
在嵌入式软件开发中，传统上广泛使用编程语言C和内联汇编代码。然而，用于 C 程序理解的工具，例如交叉引用器或调用图提取器，目前仍然不成熟。在本文中，我们介绍了一种基于二进制级轻量级数据集成的开发程序理解工具的新技术。为了验证这个想法，我们首先提出了一种新的 DWARF2 调试信息标记语言，然后，使用该技术，我们实验性地开发了两个交叉引用器（称为 dxref 和 rxref）和一个 C 调用图提取器（称为 bscg）。我们的初步评估表明，该技术使我们能够有效地开发实用且灵活的工具。
In embedded software development, the programming language C and inline assembly code are traditionally widely used. However, tools for C program-understanding, e.g., cross-referencers or call graph extractors, are not mature still today. In this paper, we introduce a novel technique for developing program-understanding tools, based on binary-level lightweight data integration. To verify this idea, we first propose a new markup language for DWARF2 debugging information, and then, using the technique, we experimentally developed two cross-referencers (called dxref and rxref) and a call graph extractor (called bscg) for C. Our preliminary evaluation shows that the technique enabled us to efficiently develop practical and flexible tools.