| 講演名 | 2022-03-08 AArch64の呼び出し規約に則ったアンワインド情報検査システムの開発 川口 哲弘(阪大), 高野 祐輝(阪大), 宮地 充子(阪大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 高級言語で実装されたプログラム実行時のスタックアンワインドは，DWARFで記述されたデバッグ情報に基づいてなされている．この情報は，Theseusというメモリ安全性に重きを置くOSにも利用されており，障害回復の一端を担っている．しかし，このデバッグ情報にはバグが存在するという報告がされており，信頼性が失われている．この問題に対して，x86_64アーキテクチャコンピュータ用のデバッグ情報の検査システムが提案されている．しかし，このシステムでは，呼び出し規約の異なるAArch64アーキテクチャのコンピュータでは対応できない．本論文では，x86_64アーキテクチャとAArch64アーキテクチャの違いを踏まえ，AArch64アーキテクチャ用のデバッグ情報の検査システムを提案する． |
| 抄録(英) | The stack unwinding during program execution implemented in high-level languages is based on debugging information written in DWARF. This information is also used by Theseus, an operating system that emphasizes memory safety, and plays a role in fault recovery. However, this debugging information has been reported to contain bugs, which makes it unreliable. To address this problem, validation system of a debugging information for x86_64 architecture computers has been proposed. In this paper, we propose Validation system of a debugging information for the AArch64 architecture based on the differences between the x86_64 and AArch64 architectures. |
| キーワード(和) | スタックアンワインド / .eh_frame / DWARF / アンワインド情報 |
| キーワード(英) | stack unwinding / .eh_frame / DWARF / unwinding information |
| 資料番号 | ICSS2021-68 |
| 発行日 | 2022-02-28 (ICSS) |
| 研究会情報 | |
| 研究会 | ICSS / IPSJ-SPT |
|---|---|
| 開催期間 | 2022/3/7(から2日開催) |
| 開催地（和） | オンライン開催 |
| 開催地（英） | Online |
| テーマ（和） | セキュリティ、トラスト、一般 |
| テーマ（英） | Security, Trust, etc. |
| 委員長氏名（和） | 吉岡 克成(横浜国大) |
| 委員長氏名（英） | Katsunari Yoshioka(Yokohama National Univ.) |
| 副委員長氏名（和） | 神谷 和憲(NTT) / 笠間 貴弘(NICT) |
| 副委員長氏名（英） | Kazunori Kamiya(NTT) / Takahiro Kasama(NICT) |
| 幹事氏名（和） | 山田 明(KDDI labs.) / 山内 利宏(岡山大) |
| 幹事氏名（英） | Akira Yamada(KDDI labs.) / Toshihiro Yamauchi(Okayama Univ.) |
| 幹事補佐氏名（和） | 木藤 圭亮(三菱電機) / 菅原 健(電通大) |
| 幹事補佐氏名（英） | Keisuke Kito(Mitsubishi Electric) / Takeshi Sugawara(Univ. of Electro-Comm.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Information and Communication System Security / Special Interest Group on Security Psychology and Trust |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | AArch64の呼び出し規約に則ったアンワインド情報検査システムの開発 |
| サブタイトル（和） | |
| タイトル（英） | Development of validation system for stack unwinding information according to the AArch64 calling convention |
| サブタイトル（和） | |
| キーワード(1)（和/英） | スタックアンワインド / stack unwinding |
| キーワード(2)（和/英） | .eh_frame / .eh_frame |
| キーワード(3)（和/英） | DWARF / DWARF |
| キーワード(4)（和/英） | アンワインド情報 / unwinding information |
| 第 1 著者 氏名（和/英） | 川口 哲弘 / Tetsuhiro Kawaguchi |
| 第 1 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 第 2 著者 氏名（和/英） | 高野 祐輝 / Yuki Takano |
| 第 2 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 第 3 著者 氏名（和/英） | 宮地 充子 / Atsuko Miyaji |
| 第 3 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 発表年月日 | 2022-03-08 |
| 資料番号 | ICSS2021-68 |
| 巻番号（vol） | vol.121 |
| 号番号（no） | ICSS-410 |
| ページ範囲 | pp.55-60(ICSS), |
| ページ数 | 6 |
| 発行日 | 2022-02-28 (ICSS) |