Source code reinforcement method and device based on symbol execution and single-point logic

The application discloses a source code reinforcement method and device based on symbol execution and single-point logic. Target variables which are in to-be-obfuscated original source code and need to be protected can be determined; at least one intermediate variable is inserted into the original source code to obtain first source code, and the at least one intermediate variable is used for accessing the target variable; partial target variables in the first source code are replaced by any intermediate variable for obtaining second source code after reinforcement; and opaque predicates are used to carry out blurring processing on condition variables in functions of the second source code to obtain third source code after reinforcement. The method and device can improve reverse-analysis prevention capability of the source code. 本申请公开了种基于符号执行和单点逻辑的源代码加固方法及装置，可以确定待混淆的原始源代码中需要保护的目标变量；在所述原始源代码中插入至少个中间变量，得到第源代码；其中，所述至少个中间变量用于访问所述目标变量；将所述第源代码中的部分所述目标变量替换为任所述中间变量，得到加固后的第二源代码；使用不透明谓词对所述第二源代码的函数中的条件变量进行模糊处理，得到加固后的第三源代