ハシモト　マサトモ   Masatomo Hashimoto   橋本　政朋    所属   千葉工業大学  人工知能・ソフトウェア技術研究センター 人工知能・ソフトウェア技術研究センター    職種   主席研究員
言語種別	英語
発行・発表の年月	2018/10
形態種別	国際会議プロシーディングス
査読	査読あり
標題	Context-sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-dependency of Binary Code
執筆形態	共著
掲載誌名	Proceedings of the 13th Workshop on Programming Languages and Analysis for Security (PLAS 2018)
掲載区分	国外
出版社・発行元	ACM
巻・号・頁	pp.48-53
著者・共著者	Tomonori Izumida, Akira Mori, Masatomo Hashimoto
概要	Program analysis on binary code is considered as difficult because one has to resolve destinations of indirect jumps. However, there is another difficulty of context-dependency that matters when one processes binary programs that are not compiler generated. In this paper, we propose a novel approach for tackling these difficulties and describe a way to reconstruct a control flow from a binary program with no extra assumptions than the operational meaning of machine instructions.
DOI	10.1145/3264820.3264826
ISBN	978-1-4503-5993-1
researchmap用URL	https://dl.acm.org/citation.cfm?id=3264826