Abstract:Static analysis is often impeded by malware obfuscation techniques, such as encryption and packing, whereas dynamic analysis tends to be more resistant to obfuscation by leveraging concrete execution information. Unfortunately, malware can employ evasive techniques to detect the analysis environment and alter its behavior accordingly. While known evasive techniques can be explicitly dismantled, the challenge lies in generically dismantling evasions without full knowledge of their conditions or implementations, such as logic bombs that rely on uncertain conditions, let alone unsupported evasive techniques, which contain evasions without corresponding dismantling strategies and those leveraging unknown implementations. In this paper, we present Antitoxin, a prototype for automatically exploring evasive malware. Antitoxin utilizes multi-path exploration guided by taint analysis and probability calculations to effectively dismantle evasive techniques. The probabilities of branch execution are derived from dynamic coverage, while taint analysis helps identify paths associated with evasive techniques that rely on uncertain conditions. Subsequently, Antitoxin prioritizes branches with lower execution probabilities and those influenced by taint analysis for multi-path exploration. This is achieved through forced execution, which forcefully sets the outcomes of branches on selected paths. Additionally, Antitoxin employs active anti-evasion countermeasures to dismantle known evasive techniques, thereby reducing exploration overhead. Furthermore, Antitoxin provides valuable insights into sensitive behaviors, facilitating deeper manual analysis. Our experiments on a set of highly evasive samples demonstrate that Antitoxin can effectively dismantle evasive techniques in a generic manner. The probability calculations guide the multi-path exploration of evasions without requiring prior knowledge of their conditions or implementations, enabling the dismantling of unsupported techniques such as C2 and significantly improving efficiency compared to linear exploration when dealing with complex control flows. Additionally, taint analysis can accurately identify branches related to logic bombs, facilitating preferential exploration.

Obfuscated Malicious Code Detection with Path Condition Analysis

Method for Detecting the Obfuscated Malicious Code Based on Behavior Connection

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

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

Detecting and De-Obfuscating Obfuscated Malicious JavaScript Code

Malicious JavaScript Code Detection Based on Hybrid Analysis

Behavior-Based Proactive Detection of Unknown Malicious Codes

A FEATURE SELECTION AND MODELLING METHOD FOR MALICIOUS CODE

A Method of Malicous Application Detection

A GAN-Based Anti-obfuscation Detection Method for Malicious Code

Malicious Code Detection Using Opcode Running Tree Representation

A Method of Malicious Application Detection

A Detection Method for Malicious Codes in Android Apps

Multi-path Exploration Guided by Taint and Probability Against Evasive Malware

PBDG: a Malicious Code Detection Method Based on Precise Behaviour Dependency Graph

A Static Method for Detection of Information Theft Malware

Obfuscated Malicious Javascript Detection by Machine Learning

Malicious Code Detection Based on Software Fingerprint

A Malicious Code Detection Method Based on Integrated Behavior Characterization

Adversarial Malware Examples for Terminal Cyberspace Attack Analysis in Cyber-Physical Power Systems

Feature Representation and Selection in Malicious Code Detection Methods Based on Static System Calls