WEKO3
アイテム
Leasing of Heap Pointers to Prevent Use-After-Free
https://ipsj.ixsq.nii.ac.jp/records/227151
https://ipsj.ixsq.nii.ac.jp/records/22715150f10e11-afc9-41ff-927d-12bd4f543d31
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-OS23160009.pdf (1.0 MB)
2025年7月27日からダウンロード可能です。
|
Copyright (c) 2023 by the Information Processing Society of Japan
|
|
| 非会員：¥660, IPSJ:学会員：¥330, OS:会員：¥0, DLIB:会員：¥0 | ||
| Item type | SIG Technical Reports(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2023-07-27 | |||||||||
| タイトル | ||||||||||
| タイトル | Leasing of Heap Pointers to Prevent Use-After-Free | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | Leasing of Heap Pointers to Prevent Use-After-Free | |||||||||
| 言語 | ||||||||||
| 言語 | eng | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | プライバシ・セキュリティ | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||
| 資源タイプ | technical report | |||||||||
| 著者所属 | ||||||||||
| The University of Tokyo | ||||||||||
| 著者所属 | ||||||||||
| The University of Tokyo | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| The University of Tokyo | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| The University of Tokyo | ||||||||||
| 著者名 |
Wataru, Hashimoto
× Wataru, Hashimoto
× Takahiro, Shinagawa
|
|||||||||
| 著者名(英) |
Wataru, Hashimoto
× Wataru, Hashimoto
× Takahiro, Shinagawa
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | Low-level languages including C/C++ require manual heap management, which often leads to memory-related bugs. The key challenge of UAF prevention is to ensure that freed heap objects are not accessed through dangling pointers, while not introducing significant performance overhead, and preserving the source code compatibility. We present LeaseMalloc, a system that combines a source code transformation and a runtime library to detect UAF. It ”leases” heap objects to users, then ensures that memory is not accessed through dangling pointers by supervising the lease status of heap objects. Lease information is updated dynamically at runtime, which allows LeaseMalloc to skip the lease check to reduce the performance overhead. We implement LeaseMalloc as an LLVM Pass Plugin to instrument target application and confirmed that it can detect temporal memory errors without modifying application source code. | |||||||||
| 論文抄録(英) | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | Low-level languages including C/C++ require manual heap management, which often leads to memory-related bugs. The key challenge of UAF prevention is to ensure that freed heap objects are not accessed through dangling pointers, while not introducing significant performance overhead, and preserving the source code compatibility. We present LeaseMalloc, a system that combines a source code transformation and a runtime library to detect UAF. It ”leases” heap objects to users, then ensures that memory is not accessed through dangling pointers by supervising the lease status of heap objects. Lease information is updated dynamically at runtime, which allows LeaseMalloc to skip the lease check to reduce the performance overhead. We implement LeaseMalloc as an LLVM Pass Plugin to instrument target application and confirmed that it can detect temporal memory errors without modifying application source code. | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN10444176 | |||||||||
| 書誌情報 |
研究報告システムソフトウェアとオペレーティング・システム（OS） 巻 2023-OS-160, 号 9, p. 1-9, 発行日 2023-07-27 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 2188-8795 | |||||||||
| Notice | ||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
