An Efficient Static Taint-Analysis Detecting Exploitable-Points on ARM Binaries

Author

Ki-Jin Eom ; Choong-Hyun Choi ; Joon-Young Paik ; Eun-Sun Cho

Author_Institution

Dept. of Comput. Sci. & Eng., Chungnam Nat. Univ., Daejeon, South Korea

fYear

2014

fDate

6-9 Oct. 2014

Firstpage

345

Lastpage

346

Abstract

This paper aims to differentiate benign vulnerabilities from those used by cyber-attacks, based on STA (Static TaintAnalysis.) To achieve this goal, the proposed STA determines if a crash is from severe vulnerabilities, after analyzing related exploitable-points in ARM binaries. We envision that the proposed analysis would reduce the complexity of analysis, by making use of CPA (Constant Propagation Analysis) and runtime information of crash points.

Keywords

program diagnostics; security of data; ARM binaries; CPA; STA; benign vulnerabilities; constant propagation analysis; cyber-attacks; exploitable-points detection; runtime information; static taint-analysis; Reliability; ARM binary; IDA Pro plug-in; crash point; data flow analysis; exploitable; reverse engineering; taint Analysis;

fLanguage

English

Publisher

ieee

Conference_Titel

Reliable Distributed Systems (SRDS), 2014 IEEE 33rd International Symposium on

Conference_Location

Nara

Type

conf

DOI

10.1109/SRDS.2014.66

Filename

6983415

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=187085