Open Access iconOpen Access

ARTICLE

Advancing Code Obfuscation: Novel Opaque Predicate Techniques to Counter Dynamic Symbolic Execution

Yan Cao#, Zhizhuang Zhou#, Yan Zhuang*

School of Cyber Science and Engineering, Zhengzhou University, Zhengzhou, 450001, China

* Corresponding Author: Yan Zhuang. Email: email
# These authors contributed equally to this work

Computers, Materials & Continua 2025, 84(1), 1545-1565. https://doi.org/10.32604/cmc.2025.062743

Abstract

Code obfuscation is a crucial technique for protecting software against reverse engineering and security attacks. Among various obfuscation methods, opaque predicates, which are recognized as flexible and promising, are widely used to increase control-flow complexity. However, traditional opaque predicates are increasingly vulnerable to Dynamic Symbolic Execution (DSE) attacks, which can efficiently identify and eliminate them. To address this issue, this paper proposes a novel approach for anti-DSE opaque predicates that effectively resists symbolic execution-based deobfuscation. Our method introduces two key techniques: single-way function opaque predicates, which leverage hash functions and logarithmic transformations to prevent constraint solvers from generating feasible inputs, and path-explosion opaque predicates, which generate an excessive number of execution paths, overwhelming symbolic execution engines. To evaluate the effectiveness of our approach, we implemented a prototype obfuscation tool and tested it against prominent symbolic execution engines. Experimental results demonstrate that our approach significantly increases resilience against symbolic execution attacks while maintaining acceptable performance overhead. This paper provides a robust and scalable obfuscation technique, contributing to the enhancement of software protection strategies in adversarial environments.

Keywords

Dynamic symbolic execution; opaque predicates; code obfuscation

Cite This Article

APA Style
Cao, Y., Zhou, Z., Zhuang, Y. (2025). Advancing Code Obfuscation: Novel Opaque Predicate Techniques to Counter Dynamic Symbolic Execution. Computers, Materials & Continua, 84(1), 1545–1565. https://doi.org/10.32604/cmc.2025.062743
Vancouver Style
Cao Y, Zhou Z, Zhuang Y. Advancing Code Obfuscation: Novel Opaque Predicate Techniques to Counter Dynamic Symbolic Execution. Comput Mater Contin. 2025;84(1):1545–1565. https://doi.org/10.32604/cmc.2025.062743
IEEE Style
Y. Cao, Z. Zhou, and Y. Zhuang, “Advancing Code Obfuscation: Novel Opaque Predicate Techniques to Counter Dynamic Symbolic Execution,” Comput. Mater. Contin., vol. 84, no. 1, pp. 1545–1565, 2025. https://doi.org/10.32604/cmc.2025.062743



cc Copyright © 2025 The Author(s). Published by Tech Science Press.
This work is licensed under a Creative Commons Attribution 4.0 International License , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
  • 742

    View

  • 342

    Download

  • 0

    Like

Share Link