电子科技2026，Vol.39Issue(2)：45-53,9.DOI:10.16180/j.cnki.issn1007-7820.2026.02.006
基于分段函数的不透明谓词
Opaque Predicates Based on Piecewise Functions
摘要
Abstract
As a software protection technology,code obfuscation enhances the complexity of the program while ensuring the invariance of the program semantics to counteract reverse engineering.The opaque predicate technology constructs false control flow to hide the real execution logic of the program without increasing the time and space over-head of the original program.In view of the problem that the current opaque predicate technology cannot resist the dy-namic symbolic execution technology and the control flow of the obfuscation program is relatively simple,this study proposes an opaque predicate based on piecewise functions.It attacks the defects existing in dynamic symbolic execu-tion,and makes the introduced variables converge to the set values by using piecewise functions to construct opaque predicates and hide the real control flow of the program.The proposed obfuscation system is implemented based on the LLVM(Low Level Virtual Machine)framework,and experimental detection is carried out.The experimental re-sults show that the proposed obfuscation method effectively increases the complexity of the program control flow and can resist the dynamic symbolic execution technology.Compared with the existing obfuscation systems,the proposed method reduces the maintainability of the program by an average of 23.8%,and has a higher obfuscation intensity.关键词
代码混淆系统/不透明谓词/虚假控制流/符号执行/静态分析/LLVM/逆向工程/控制流图Key words
code obfuscation system/opaque predicate/fake control flow/symbolic execution/static analysis/LLVM/reverse engineering/control flow graph分类
信息技术与安全科学引用本文复制引用
CHEN Shenjie,WANG Zhihao,WU Biao..基于分段函数的不透明谓词[J].电子科技,2026,39(2):45-53,9.基金项目
浙江省重点研发计划(2020C03094)Key R&D Program of Zhejiang(2020C03094) （2020C03094）
