Abstract:Software security analysts typically only have access to the executable program and cannot directly access the source code of the program. This poses significant challenges to security analysis. While it is crucial to identify vulnerabilities in such non-source code programs, there exists a limited set of generalized tools due to the low versatility of current vulnerability mining methods. However, these tools suffer from some shortcomings. In terms of targeted fuzzing, the path searching for target points is not streamlined enough, and the completely random testing leads to an excessively large search space. Additionally, when it comes to code similarity analysis, there are issues with incomplete code feature extraction, which may result in information loss. In this paper, we propose a cross-platform and cross-architecture approach to exploit vulnerabilities using neural network obfuscation techniques. By leveraging the Angr framework, a deobfuscation technique is introduced, along with the adoption of a VEX-IR-based intermediate language conversion method. This combination allows for the unified handling of binary programs across various architectures, compilers, and compilation options. Subsequently, binary programs are processed to extract multi-level spatial features using a combination of a skip-gram model with self-attention mechanism and a bidirectional Long Short-Term Memory (LSTM) network. Finally, the graph embedding network is utilized to evaluate the similarity of program functionalities. Based on these similarity scores, a target function is determined, and symbolic execution is applied to solve the target function. The solved content serves as the initial seed for targeted fuzzing. The binary program is processed by using the de-obfuscation technique and intermediate language transformation method, and then the similarity of program functions is evaluated by using a graph embedding network, and symbolic execution is performed based on these similarity scores. This approach facilitates cross-architecture analysis of executable programs without their source codes and concurrently reduces the risk of symbolic execution path explosion.

Reverse Technique Of Malicious Obfuscated Binary Code Based On Control Flow Graph

Method for Detecting the Obfuscated Malicious Code Based on Behavior Connection

Binary Obfuscation Based Reassemble

Towards Extracting Control Flow Abstraction with Static Disassembly for Binary Code

Semantics-based binary code automated de-obfuscation approach

Obfuscated Malicious Code Detection with Path Condition Analysis

A Method and Implementation of Control Flow Obfuscation Using SEH

A method for hidden malcode anomaly detection using dynamic control-flow analysis

Reverse Analysis of Software Based on IDA-Pro

Malicious cryptography techniques for unreversable (malicious or not) binaries

Obfuscation resilient binary code reuse through trace-oriented programming

Function-level Obfuscation Detection Method Based on Graph Convolutional Networks

Approach of Binary Code Analysis Based on Full-System Emulation and Instruction-Flow Analysis

Deobfuscate Non-Returning Calls and Call-Stack Tampering in Instruction Traces

Method of Malware Behavior Analysis in Disassembly Level

Control Flow Obfuscation Scheme for LLVM Intermediate Languages

Deobfuscating Android Native Binary Code

Binary Program Vulnerability Mining Based on Neural Network

Compiling Method for Obfuscation Technology Based on Crossing Control-Flow

Analyze and Detect Malicious Code for Compound Document Binary Storage Format

Input-Output Example-Guided Data Deobfuscation on Binary