龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：常熟理工学院
摘要：本发明公开了一种恶意软件中的不透明谓词检测方法、系统及存储介质，包括：获取程序的控制流图中的谓词基本块；获取谓词基本块中各个跳转分支的约束条件；分析约束条件推断分支的可执行性，如果存在满足条件的解，则判断该分支具有可执行性，如果不存在满足条件的解，则判断该分支不具有可执行性，为冗余分支；如果存在冗余分支则判断程序中存在不透明谓词，反之，则判断程序中不存在不透明谓词。该方法不进行路径探索验证路径的可达性，而是利用反映分支跳转必须满足的约束条件表示谓词基本块的执行选择逻辑，通过分析约束条件推断分支的可执行性，判断谓词基本块的冗余性，以完成谓词基本块不透明性决策，可以有效避免路径爆炸问题，提高不透明谓词检测的效率。
主权项：1.一种恶意软件中的不透明谓词检测方法，其特征在于，包括以下步骤：S01：获取程序的控制流图中的谓词基本块；所述谓词基本块的判断方法包括：S11：利用控制流图获取基本块；S12：对控制流图中的系统方法基本块进行过滤，得到仅包含用户代码的基本块集合；S13：对用户代码基本块集合中的基本块进行判断，如果基本块在控制流图中存在多个后继基本块并且该基本块中包含有条件跳转指令，且在控制流图上的出度大于等于2，则判定为谓词基本块；S02：获取谓词基本块中各个跳转分支的约束条件；获取谓词基本块中各个跳转分支的约束条件的方法包括：获取谓词基本块的后继基本块，算法遍历每个后继基本块，从约束条件中获取相应的约束条件表述分支跳转逻辑；对约束条件进行简化处理操作，并将其转换为SMT-LIB标准输入格式，所述简化处理操作包括代数化简、逻辑化简、等价变换、符号化简中的一种或多种；S03：分析约束条件推断分支的可执行性，如果存在满足条件的解，则判断该分支具有可执行性，如果不存在满足条件的解，则判断该分支不具有可执行性，判断为冗余分支；分析约束条件推断分支的可执行性的方法包括：使用约束求解器求解约束条件，并获取其可满足性结果，以查询是否存在满足约束条件的解；S04：如果存在冗余分支则判断程序中存在不透明谓词，反之，则判断程序中不存在不透明谓词。
全文数据：
权利要求：
百度查询： 常熟理工学院 恶意软件中的不透明谓词检测方法、系统及存储介质
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号