Title :
Automated Crash Filtering for ARM Binary Programs
Author :
Ki-Jin Eom;Joon-Young Paik;Seong-Kyun Mok;Hyeon-Gu Jeon;Eun-Sun Cho;Dong-Woo Kim;Jaecheol Ryu
Author_Institution :
Verification Solutions Div., TestMidas Co., Ltd., Daejeon, South Korea
fDate :
7/1/2015 12:00:00 AM
Abstract :
This paper aims to help to differentiate security related crashes from benign vulnerabilities, using static taint-analysis. To achieve this goal, we propose a tool named Crash Filter, which determines if a crash can be made to be exploitable or not, by analyzing ARM binary codes. We envision that the proposed analysis would help to timely fix security-critical bugs.
Keywords :
"Registers","Flow graphs","Security","Computer bugs","Algorithm design and analysis","Software"
Conference_Titel :
Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th Annual
Electronic_ISBN :
0730-3157
DOI :
10.1109/COMPSAC.2015.139