WEKO3
アイテム
プログラム注釈に基づくバッファオーバーフローの検知方法
https://ipsj.ixsq.nii.ac.jp/records/25567
https://ipsj.ixsq.nii.ac.jp/records/255670a603c6b-b143-4a08-a3a5-68f0bc10b410
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 2005 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | SIG Technical Reports(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 2005-02-23 | |||||||
タイトル | ||||||||
タイトル | プログラム注釈に基づくバッファオーバーフローの検知方法 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | A Buffer Overflow Detection Method based on Program Annotation | |||||||
言語 | ||||||||
言語 | jpn | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
資源タイプ | technical report | |||||||
著者所属 | ||||||||
(株)NTTドコモ マルチメディア研究所 | ||||||||
著者所属 | ||||||||
(株)NTTドコモ マルチメディア研究所 | ||||||||
著者所属 | ||||||||
(株)NTTドコモ マルチメディア研究所 | ||||||||
著者所属 | ||||||||
(株)NTTドコモ マルチメディア研究所 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Multimedia Labs NTT DoCoMo, Inc. | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Multimedia Labs NTT DoCoMo, Inc. | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Multimedia Labs NTT DoCoMo, Inc. | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Multimedia Labs NTT DoCoMo, Inc. | ||||||||
著者名 |
行友, 英記
× 行友, 英記
|
|||||||
著者名(英) |
Hideki, Yukitomo
× Hideki, Yukitomo
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 従来のプログラムの外部から派生した値を格納するメモリ領域を追跡し,この領域への実行遷移を検知することでバッファオーバーフローを検知する方法に対し,動的にコードを生成するプログラムにも適用できるよう,プログラム作成時に明示的にこのような値を格納することが発生しえない変数に注釈を与え,実行時,この注釈が与えられた変数に外部から派生した値が格納された時に,バッファオーバーフローを検知する拡張案を示す. | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | Previously, a buffer overflow detection method was proposed which tracks the memory areas affected by input channels from the outside of the program, and disallows such memory addresses to be executed. However, that is not applicable to programs that dynamically generate program code. This presentation shows a new buffer overflow detection method and implementation idea applicable to programs that dynamically generate program code. The proposed method detects buffer overflows at runtime based on preliminarily added annotations on the source code of the program. The annotation indicates the memory areas that are not supposed to be affected by input channels from the outside of the program. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN10444176 | |||||||
書誌情報 |
情報処理学会研究報告システムソフトウェアとオペレーティング・システム(OS) 巻 2005, 号 16(2004-OS-098), p. 65-71, 発行日 2005-02-23 |
|||||||
Notice | ||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |