{"id":195826,"updated":"2025-01-19T22:54:58.054311+00:00","links":{},"created":"2025-01-19T01:00:42.795158+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00195826","sets":["934:935:9619:9764"]},"path":["9764"],"owner":"44499","recid":"195826","title":["サンプリング適用による動的データ構造推定の精度・効率の評価"],"pubdate":{"attribute_name":"公開日","attribute_value":"2019-05-21"},"_buckets":{"deposit":"d98ee3b8-7469-49a1-b9b8-b3f2044147cc"},"_deposit":{"id":"195826","pid":{"type":"depid","value":"195826","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"サンプリング適用による動的データ構造推定の精度・効率の評価","author_link":["467690","467693","467691","467695","467692","467694"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"サンプリング適用による動的データ構造推定の精度・効率の評価"},{"subitem_title":"Measuring the Accuracy and Efficiency of Sampling-based Inference of Dynamic Data Structures","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"[発表概要，Unrefereed Presentation Abstract] ","subitem_subject_scheme":"Other"}]},"item_type_id":"3","publish_date":"2019-05-21","item_3_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"東京工業大学"},{"subitem_text_value":"東京工業大学"},{"subitem_text_value":"東京工業大学"}]},"item_3_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Tokyo Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Tokyo Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Tokyo Institute of Technology","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/195826/files/IPSJ-TPRO1202012.pdf","label":"IPSJ-TPRO1202012.pdf"},"date":[{"dateType":"Available","dateValue":"2021-05-21"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-TPRO1202012.pdf","filesize":[{"value":"101.1 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"0","billingrole":"5"},{"tax":["include_tax"],"price":"0","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"72f6e98c-1826-423d-ac07-459bc880bc94","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2019 by the Information Processing Society of Japan"}]},"item_3_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"小泉, 雄太"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"荒堀, 喜貴"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"権藤, 克彦"}],"nameIdentifiers":[{}]}]},"item_3_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Yuta, Koizumi","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Yoshitaka, Arahori","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Katsuhiko, Gondow","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_3_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11464814","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_3_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7802","subitem_source_identifier_type":"ISSN"}]},"item_3_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"Howardに代表されるメモリアクセスパターンに基づくデータ構造推定は正確であり，バイナリレベルの脆弱性解析等に有効な技術である．しかし，従来のデータ構造推定手法は全メモリアクセスの監視を行うため実行オーバヘッドが大きく，手法の適用ケースを制限している．そこで本発表では，アクセスパターンに基づくデータ構造推定に対し，監視対象のメモリアクセスをサンプリングする手法を提案し，実行オーバヘッドの削減を試みる．我々は動的バイナリ解析器（Intel Pin）を用いて監視対象をヒープオブジェクトに限定したHoward実装を再現し，この再現実装に対しAdaptive Bursty Tracingによるサンプリングを適用する．ここで，サンプリングによって欠落したアクセス情報を，同一calling contextでまとめられたグループ単位で集約することによりデータ構造推定精度を保つ工夫を行う．さらに，集約した情報を比較することでcalling context間における関係性の類推を試みる．小規模ベンチマークを用いた実験を通して，提案するサンプリングの有無によるデータ構造推定精度の変化と実行オーバヘッドの変化を評価した結果を報告する．","subitem_description_type":"Other"}]},"item_3_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Techniques, such as Howard, for inferring dynamic data structures based on memory access patterns are precise, and have been known to be effective for analyzing software vulnerabilities at binary level. However, existing techniques for dynamic data structure inference monitor all memory accesses by the target program and thus incur high runtime overheads, which limits their wide adoption in many practical cases. In this talk, we present the application of a memory-access sampling method to the problem of dynamic data structure inference in order to reduce runtime overheads. We use a dynamic binary analysis tool (Intel Pin) to implement a modified Howard, which focuses memory-access monitoring on heap and samples the heap monitoring. Our initial experiments on small benchmarks report the effects of the application of sampling on the accuracy and efficiency of dynamic data structure inference.","subitem_description_type":"Other"}]},"item_3_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"16","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌プログラミング（PRO）"}],"bibliographicPageStart":"16","bibliographicIssueDates":{"bibliographicIssueDate":"2019-05-21","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"2","bibliographicVolumeNumber":"12"}]},"relation_version_is_last":true,"weko_creator_id":"44499"}}