恶意软件中的不透明谓词检测方法、系统及存储介质

摘要文本

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