Miyaji Laboratory

Abstract

The stack unwinding during program execution implemented in high-level languages is based on debugging information written in DWARF. This information is used by Theseus, an operating system that emphasizes memory safety, and plays a role in fault recovery. However, it has been reported to contain bugs, which makes it unreliable. To address this problem, validation and synthesis system of debugging information for x86 64 has been proposed. It cannot support the AArch64 architecture bacause it has a different instruction set and calling convention from x86 64. In this paper, we propose validation and synthesis system of debugging information for the AArch64 architecture based on the differences between the x86 64 and AArch64 architectures.