Yan Cao#, Zhizhuang Zhou#, Yan Zhuang*
CMC-Computers, Materials & Continua, Vol.84, No.1, pp. 1545-1565, 2025, DOI:10.32604/cmc.2025.062743
- 09 June 2025
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 More >
Login
Register
