一种基于符号执行和单点逻辑的源代码加固方法及装置

摘要

本申请公开了一种基于符号执行和单点逻辑的源代码加固方法及装置，可以确定待混淆的原始源代码中需要保护的目标变量；在所述原始源代码中插入至少一个中间变量，得到第一源代码；其中，所述至少一个中间变量用于访问所述目标变量；将所述第一源代码中的部分所述目标变量替换为任一所述中间变量，得到加固后的第二源代码；使用不透明谓词对所述第二源代码的函数中的条件变量进行模糊处理，得到加固后的第三源代码。该方法及装置可以提高源代码的防逆向分析能力。