Binary-Level Lightweight Data Integration to Develop Program Understanding Tools for Embedded Software in C

Authors:
Katsuhiko Gondow;Tomoya Suzuki;Hayato Kawashima
Affiliations:
Tokyo Institute of Technology, Japan;Elmic Systems, Inc., Japan;Japan Advanced Institute of Science and Technology, Japan
Venue:
APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
Year:
2004

Citing 0
Cited 2

Toward mining "concept keywords" from identifiers in large software projects

MSR '05 Proceedings of the 2005 international workshop on Mining software repositories
Iterative Delta Debugging

HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 diea, 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.