{"created":"2023-06-19T11:40:39.679001+00:00","id":9118,"links":{},"metadata":{"_buckets":{"deposit":"6c9d2553-6d5e-4c6c-876e-2290b21b3c29"},"_deposit":{"created_by":15,"id":"9118","owners":[15],"pid":{"revision_id":0,"type":"depid","value":"9118"},"status":"published"},"_oai":{"id":"oai:mie-u.repo.nii.ac.jp:00009118","sets":["366:640:641:647"]},"author_link":["22774","22773"],"item_7_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2011-01-01","bibliographicIssueDateType":"Issued"}}]},"item_7_contributor_61":{"attribute_name":"修士論文指導教員","attribute_value_mlt":[{"contributorNames":[{"contributorName":"大山口, 通夫","lang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"22774","nameIdentifierScheme":"WEKO"}]}]},"item_7_description_14":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_7_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"ポインタ解析は多くのプログラム解析にとって必須であり，その解析情報はプログラムの最適化や信頼性の向上に役立つ.しかし，プログラムの実行前に行うポインタ解析では，完全な解析情報を求めることは一般に不可能である.そのため近似的な解析情報を求めるアルゴリズムの研究がさかんに行われ，これまでに計算量と正確さのトレードオフを考慮した様々な近似アルゴリズムが報告されている.このトレードオフに影響を与える1つの指針としてフロー依存性がある.フロー依存解析は正確だが実行効率が悪いのに対して，フロー非依存解析は実行効率は良いが正確さで劣る.このフロー非依存ポインタ解析の不正確さを改善するために， Hastiら(1998)は静的単一代入形式(Static Single Assignment Form,以下SSA形式)を用いたフロー非依存ポインタ解析アルゴリズムを提案し，その有用性老示した.また,「そのアルゴリズムがフロー依存ポインタ解析アルゴリズムと同等の解析能力を有するか否か」を未解決問題として提起した. Hardekopfら(2009)は両者の解析能力が同等ではないと予想し， SSA形式と通常のフロー依存解析を組み合わせたアルゴリズムを提案した.本稿ではこの未解決問題について考察し， Hardekopfらの予想に反して,2つのアルゴリズムが同等の解析能力を有することを示すとともに, Hastiらのアルゴリズムを改善した新しいアルゴリズムを提案する.","subitem_description_type":"Abstract"}]},"item_7_description_5":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"三重大学大学院工学研究科博士前期課程情報工学専攻","subitem_description_type":"Other"},{"subitem_description":"2, 36","subitem_description_type":"Other"}]},"item_7_publisher_30":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"三重大学"}]},"item_7_text_65":{"attribute_name":"資源タイプ（三重大）","attribute_value_mlt":[{"subitem_text_value":"Master's Thesis / 修士論文"}]},"item_7_version_type_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"田中, 雄一","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"22773","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-02-20"}],"displaytype":"detail","filename":"2010M239.pdf","filesize":[{"value":"3.4 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"2010M239.pdf","url":"https://mie-u.repo.nii.ac.jp/record/9118/files/2010M239.pdf"},"version_id":"9c8e7754-fe09-436c-9b37-895fa7c09073"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"thesis","resourceuri":"http://purl.org/coar/resource_type/c_46ec"}]},"item_title":"静的単一代入形式を用いたポインタ解析アルゴリズム","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"静的単一代入形式を用いたポインタ解析アルゴリズム","subitem_title_language":"ja"}]},"item_type_id":"7","owner":"15","path":["647"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2013-06-11"},"publish_date":"2013-06-11","publish_status":"0","recid":"9118","relation_version_is_last":true,"title":["静的単一代入形式を用いたポインタ解析アルゴリズム"],"weko_creator_id":"15","weko_shared_id":-1},"updated":"2023-09-11T01:42:28.233862+00:00"}