买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：中国人民解放军61660部队

摘要：本发明涉及一种基于反编译和指令行为的二进制软件后门检测方法，属于软件安全领域。为了解决传统软件后门检测方法准确性和全面性差的问题，本发明通过反编译技术生成软件对应的类C代码，继而对类C代码进行数据流分析，并定位特征函数，由此判定程序指令的可疑行为，从而实现对于二进制软件后门的白盒检测。本发明通过反编译技术和对于指令行为的分析，能够实现对于二进制形式软件的白盒测试，进而能够在不运行代码的情况下，检测软件中可能存在的后门，从而在传统后门检测方法的基础上，提升整体检测能力的准确性和全面性。

主权项：1.一种基于反编译和指令行为的二进制软件后门检测方法，其特征在于，包括以下步骤：第一步：使用反编译工具处理二进制软件，生成对应的类C代码；第二步：对类C代码进行数据流分析，生成值流图模型VFG；第三步：在值流图模型中，通过函数名称和常量信息，定位特征指令；第四步：在值流图模型中，从特征指令开始进行数据追踪，获得程序切片；第五步：通过程序切片，分析相关代码片段的行为模式；第六步：根据行为模式，判断二进制软件中是否存在后门；第一步中，根据二进制软件的格式和架构，综合具体的使用场景选用反编译工具，以二进制软件作为反编译工具的输入，输出类C代码；第二步中，对生成的类C代码，通过词法分析将程序代码转换为一系列的词法单元；通过语法分析，根据语法规则建立各词法单元之间的关系，并生成抽象语法树模型，该抽象语法树模型中将程序的代码结构表示为树形数据结构，其中每个节点代表代码中的一个语法结构，根节点代表整体的编译单元，自根节点向下层层拆解，叶子节点则对应具体的词法单元；然后，在抽象语法树模型的基础上进行控制流分析，按照抽象语法树模型上的节点特性，分析程序语句之间的转换关系，建立控制流图CFG，其中使用单个程序语句作为节点，分析程序语句产生的影响，即分析程序中的数据传递关系，分析过程中，分析函数内部对于变量的值定义和值使用，并建立定义和使用之间的关联；且分析函数调用位置形参和实参，并建立二者之间的关联，生成值流图模型VFG，值流图模型中表示数值的定义、使用和传递关系，值流图模型中的每个节点可对应到具体的程序语句。

全文数据：

权利要求：

百度查询： 中国人民解放军61660部队 一种基于反编译和指令行为的二进制软件后门检测方法