DSpace About DSpace Software

SEIKEI University Repository >
01:紀要(Bulletin) >
11:理工学研究報告 >
第50巻第2号 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10928/454

Title: Field-Sensitive Pointer Analysis for C Programs with Integer/Pointer Conversions
Authors: CHISHIRO, Eiichiro
Keywords: compiler
pointer analysis
Issue Date: 1-Dec-2013
Publisher: 成蹊大学理工学部
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.
URI: http://hdl.handle.net/10928/454
Appears in Collections:第50巻第2号

Files in This Item:

File Description SizeFormat
rikougaku-50-2_63-71.pdf932.46 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback