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

申请日：2023-12-11

公开（公告）日：2024-01-16

公开（公告）号：CN117407876A

主分类号：G06F21/56

分类号：G06F21/56

优先权：

专利状态码：在审-实质审查的生效

法律状态：2024.02.02#实质审查的生效;2024.01.16#公开

摘要：本发明公开了一种恶意软件中的不透明谓词检测方法、系统及存储介质，包括：获取程序的控制流图中的谓词基本块；获取谓词基本块中各个跳转分支的约束条件；分析约束条件推断分支的可执行性，如果存在满足条件的解，则判断该分支具有可执行性，如果不存在满足条件的解，则判断该分支不具有可执行性，为冗余分支；如果存在冗余分支则判断程序中存在不透明谓词，反之，则判断程序中不存在不透明谓词。该方法不进行路径探索验证路径的可达性，而是利用反映分支跳转必须满足的约束条件表示谓词基本块的执行选择逻辑，通过分析约束条件推断分支的可执行性，判断谓词基本块的冗余性，以完成谓词基本块不透明性决策，可以有效避免路径爆炸问题，提高不透明谓词检测的效率。

主权项：1.一种恶意软件中的不透明谓词检测方法，其特征在于，包括以下步骤：S01：获取程序的控制流图中的谓词基本块；S02：获取谓词基本块中各个跳转分支的约束条件；S03：分析约束条件推断分支的可执行性，如果存在满足条件的解，则判断该分支具有可执行性，如果不存在满足条件的解，则判断该分支不具有可执行性，判断为冗余分支；S04：如果存在冗余分支则判断程序中存在不透明谓词，反之，则判断程序中不存在不透明谓词。

全文数据：

权利要求：

百度查询： 常熟理工学院 恶意软件中的不透明谓词检测方法、系统及存储介质

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

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD