WEKO3
アイテム
Field-Sensitive Pointer Analysis for C Programs with Integer/Pointer Conversions
https://doi.org/10.15018/00000902
https://doi.org/10.15018/0000090258f778c7-5b4a-4a5a-b585-9367a5a55bbc
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
rikougaku-50-2_63-71.pdf (932.5 KB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2014-04-14 | |||||||
| タイトル | ||||||||
| タイトル | Field-Sensitive Pointer Analysis for C Programs with Integer/Pointer Conversions | |||||||
| 言語 | en | |||||||
| 言語 | ||||||||
| 言語 | eng | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | departmental bulletin paper | |||||||
| その他 資源タイプ | Article | |||||||
| 著者 |
CHISHIRO, Eiichiro
× CHISHIRO, Eiichiro
|
|||||||
| 書誌情報 |
ja : 成蹊大学理工学研究報告 en : The journal of the Faculty of Science and Technology, Seikei University 巻 50, 号 2, p. 63-71, 発行日 2013-12-01 |
|||||||
| 出版者 | ||||||||
| 出版者 | 成蹊大学理工学部 | |||||||
| 言語 | ja | |||||||
| 出版タイプ | ||||||||
| 出版タイプ | VoR | |||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||
| ISSN | ||||||||
| 収録物識別子タイプ | PISSN | |||||||
| 収録物識別子 | 1880-2265 | |||||||
| NCID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA1203510X | |||||||
| アクセス権 | ||||||||
| アクセス権 | open access | |||||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||||
| キーワード | ||||||||
| 言語 | en | |||||||
| 主題Scheme | Other | |||||||
| 主題 | compiler | |||||||
| キーワード | ||||||||
| 言語 | en | |||||||
| 主題Scheme | Other | |||||||
| 主題 | pointer analysis | |||||||
| ID登録 | ||||||||
| ID登録 | 10.15018/00000902 | |||||||
| ID登録タイプ | JaLC | |||||||
| 抄録 | ||||||||
| 内容記述タイプ | Abstract | |||||||
| 内容記述 | We present a field-sensitive pointer analysis algorithm for C in the presence of type conversion between integer and pointer. While field-sensitive analysis can give precise solution, it is notoriously difficult to design a correct analysis which handles all low-level dirty features of C. Most difficulties stem from arbitrary integer/pointer conversions allowed as an implementation-defined feature. To incorporate this feature into pointer analysis is not so easy as expected, and previous approaches are either unsound or greatly imprecise. In this paper, we first define the formal semantics which incorporates all low-level features of C and show that it is hardly to have precise analysis if arbitrary integer/pointer conversions are allowed. To address this, we identify the language restriction which many compiler developers implicitly assume and derive a precise analysis algorithm as an approximation of the semantics. Our analysis is shown to be sound under the restriction. | |||||||
| 言語 | en | |||||||
