{"created":"2024-10-07T07:24:05.028532+00:00","id":2001192,"links":{},"metadata":{"_buckets":{"deposit":"7859c667-220a-48b1-a223-1a222e8a4aba"},"_deposit":{"created_by":43,"id":"2001192","owner":"43","owners":[43],"pid":{"revision_id":0,"type":"depid","value":"2001192"},"status":"published"},"_oai":{"id":"oai:seikei.repo.nii.ac.jp:02001192","sets":["1709599294504:1710725930257:1710726047474"]},"author_link":[],"item_10002_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2013-12-01","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"2","bibliographicPageEnd":"71","bibliographicPageStart":"63","bibliographicVolumeNumber":"50","bibliographic_titles":[{"bibliographic_title":"成蹊大学理工学研究報告","bibliographic_titleLang":"ja"},{"bibliographic_title":"The journal of the Faculty of Science and Technology, Seikei University","bibliographic_titleLang":"en"}]}]},"item_10002_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"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.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_10002_identifier_registration":{"attribute_name":"identifier_registration","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.15018/00000902","subitem_identifier_reg_type":"JaLC"}]},"item_10002_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"成蹊大学理工学部","subitem_publisher_language":"ja"}]},"item_10002_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1880-2265","subitem_source_identifier_type":"PISSN"}]},"item_1710996587908":{"attribute_name":"item_1710996587908","attribute_value_mlt":[{"subitem_source_identifier":"AA1203510X","subitem_source_identifier_type":"NCID"}]},"item_1720066799756":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_1720422722709":{"attribute_name":"その他 資源タイプ","attribute_value":"Article"},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"CHISHIRO, Eiichiro","creatorNameLang":"en"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2014-04-14"}],"displaytype":"detail","filename":"rikougaku-50-2_63-71.pdf","filesize":[{"value":"932.5 KB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://seikei.repo.nii.ac.jp/record/2001192/files/rikougaku-50-2_63-71.pdf"},"version_id":"3524ccdd-341e-40d5-bda7-596d788e45b3"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"compiler","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"pointer analysis","subitem_subject_language":"en","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"item_resource_type","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Field-Sensitive Pointer Analysis for C Programs with Integer/Pointer Conversions","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Field-Sensitive Pointer Analysis for C Programs with Integer/Pointer Conversions","subitem_title_language":"en"}]},"item_type_id":"40001","owner":"43","path":["1710726047474"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2014-04-14"},"publish_date":"2014-04-14","publish_status":"0","recid":"2001192","relation_version_is_last":true,"title":["Field-Sensitive Pointer Analysis for C Programs with Integer/Pointer Conversions"],"weko_creator_id":"43","weko_shared_id":-1},"updated":"2025-02-21T06:41:13.933887+00:00"}