技术总结
本申请公开了基于状态、符号执行和单点逻辑的源代码加固方法及装置，该方法包括：基于应用程序的原始源代码在编译或运行时的跳转逻辑，将原始源代码拆分成多个代码块，并为各代码块设置不同的状态；基于代码块的状态以及代码块中的跳转逻辑，确定代码块跳转状态机；将代码块中的跳转逻辑通过代码块跳转状态机实现，得到加固后的第一源代码；确定第一源代码中需要保护的目标变量；在第一源代码中插入至少一个中间变量，中间变量用于访问目标变量；将第一源代码中的部分目标变量替换为任一中间变量，得到加固后的第二源代码；使用不透明谓词对第二源代码的函数中的条件变量进行模糊处理，得到加固后的第三源代码。可以提高源代码的防逆向分析能力。
技术研发人员：阚志刚;陈彪;王文洋;尉爽生;李世杰;卢佐华
受保护的技术使用者：北京梆梆安全科技有限公司
技术研发日：2018.02.12
技术公布日：2020.02.07