[发明专利]一种基于符号执行和单点逻辑的源代码加固方法及装置有效
| 申请号： | 201810146277.3 | 申请日： | 2018-02-12 |
| 公开（公告）号： | CN108446536B | 公开（公告）日： | 2021-08-13 |
| 发明（设计）人： | 阚志刚;陈彪;王文洋;李世杰;尉爽生;卢佐华 | 申请（专利权）人： | 北京梆梆安全科技有限公司 |
| 主分类号： | G06F21/12 | 分类号： | G06F21/12;G06F21/14 |
| 代理公司： | 北京国昊天诚知识产权代理有限公司 11315 | 代理人： | 许志勇 |
| 地址： | 100083 北京市海*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本申请公开了一种基于符号执行和单点逻辑的源代码加固方法及装置，可以确定待混淆的原始源代码中需要保护的目标变量；在所述原始源代码中插入至少一个中间变量，得到第一源代码；其中，所述至少一个中间变量用于访问所述目标变量；将所述第一源代码中的部分所述目标变量替换为任一所述中间变量，得到加固后的第二源代码；使用不透明谓词对所述第二源代码的函数中的条件变量进行模糊处理，得到加固后的第三源代码。该方法及装置可以提高源代码的防逆向分析能力。 | ||
| 搜索关键词： | 一种 基于 符号 执行 单点 逻辑 源代码 加固 方法 装置 | ||
【主权项】：
1.一种基于符号执行和单点逻辑的源代码加固方法，其特征在于，所述方法包括：确定待混淆的原始源代码中需要保护的目标变量；在所述原始源代码中插入至少一个中间变量，得到第一源代码；其中，所述至少一个中间变量用于访问所述目标变量；将所述第一源代码中的部分所述目标变量替换为任一所述中间变量，得到加固后的第二源代码；使用不透明谓词对所述第二源代码的函数中的条件变量进行模糊处理，得到加固后的第三源代码。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京梆梆安全科技有限公司，未经北京梆梆安全科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201810146277.3/，转载请声明来源钻瓜专利网。
