买专利,只认龙图腾
首页 专利交易 科技果 科技人才 科技服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

【发明授权】基于不透明谓词的代码混淆方法、系统及存储介质_常熟理工学院_202311734001.4 

申请/专利权人:常熟理工学院

申请日:2023-12-18

公开(公告)日:2024-04-12

公开(公告)号:CN117436040B

主分类号:G06F21/14

分类号:G06F21/14;G06F40/268;G06F40/284

优先权:

专利状态码:有效-授权

法律状态:2024.04.12#授权;2024.02.09#实质审查的生效;2024.01.23#公开

摘要:本发明公开了一种基于不透明谓词的代码混淆方法,包括:获取程序的控制流图中需要进行混淆的代码所对应的基本块集合;构造谓词基本块集合,插入冗余基本块;构造不透明谓词集合;使用不透明谓词对插入冗余基本块后的谓词基本块进行不透明谓词强化操作。利用双数组混合计算构建不透明谓词,该不透明谓词构造方法不仅能大大提高不透明谓词的复杂度,而且会引起符号执行检测不透明谓词时引起漏报,有效抵御符号执行检测攻击。

主权项:1.一种基于不透明谓词的代码混淆方法,其特征在于,包括以下步骤:S01:获取程序的控制流图中需要进行混淆的代码所对应的基本块集合;S02:构造谓词基本块集合,插入冗余基本块;S03:构造不透明谓词集合;所述构造不透明谓词集合的方法包括:S31:构造第一符号数组,所述第一符号数组的数组元素按照递增规律和2倍数关系取值;S32:构造第二符号数组,所述第二符号数组的数组元素按照递增规律和至少1倍数关系取值;S33:构造第一符号变量,其值通过第一符号数组中的数组元素和第二符号数组中的数组元素进行混合运算获得;S34:构造第二符号变量,其值通过第一符号数组第二符号数组中的数组元素进行混合运算获得;S35:构造不透明谓词,其表达式通过构造的第一符号变量和第二符号变量构成,其表达式为不等表达式,其表达式值永假;S04:使用不透明谓词对插入冗余基本块后的谓词基本块进行不透明谓词强化操作。

全文数据:

权利要求:

百度查询: 常熟理工学院 基于不透明谓词的代码混淆方法、系统及存储介质

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。