概要

高級言語で実装されたプログラム実行時のスタックアンワインドは,DWARF で記述されたデバッグ情報に基づいてなされている.この情報は,Theseus というメモリ安全性に重きを置く OS にも利用されており,障害回復の一端を担っている.しかし,デバッグ情報にはバグが存在するという報告がされており,信頼性が失われている.この問題に対して,x86 64 アーキテクチャコンピュータ用のデバッグ情報の検査システムや合成システムが提案されている.x86 64 用システムは,命令セットや呼び出し規約の異なる AArch64アーキテクチャに対応できないため,本論文では,x86 64 アーキテクチャと AArch64 アーキテクチャの違いを踏まえた AArch64 アーキテクチャ用のデバッグ情報検査,合成システムを提案する.

Top