ハシモト マサトモ
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 |