Visible to the public Efficient Binary Static Code Data Flow Analysis Using Unsupervised Learning

TitleEfficient Binary Static Code Data Flow Analysis Using Unsupervised Learning
Publication TypeConference Paper
Year of Publication2021
AuthorsObert, James, Loffredo, Tim
Conference Name2021 4th International Conference on Artificial Intelligence for Industries (AI4I)
KeywordsBinary codes, code analysis, Code Inspection, composability, Efficient Static Analysis, encoding, fault diagnosis, Human Behavior, Industries, machine learning, Manuals, pubcrawl, resilience, Resiliency, static analysis, static code analysis, Tools
AbstractThe ever increasing need to ensure that code is reliably, efficiently and safely constructed has fueled the evolution of popular static binary code analysis tools. In identifying potential coding flaws in binaries, tools such as IDA Pro are used to disassemble the binaries into an opcode/assembly language format in support of manual static code analysis. Because of the highly manual and resource intensive nature involved with analyzing large binaries, the probability of overlooking potential coding irregularities and inefficiencies is quite high. In this paper, a light-weight, unsupervised data flow methodology is described which uses highly-correlated data flow graph (CDFGs) to identify coding irregularities such that analysis time and required computing resources are minimized. Such analysis accuracy and efficiency gains are achieved by using a combination of graph analysis and unsupervised machine learning techniques which allows an analyst to focus on the most statistically significant flow patterns while performing binary static code analysis.
DOI10.1109/AI4I51902.2021.00030
Citation Keyobert_efficient_2021