CN115659376B 基于符号执行生成数据流图的加密算法识别装置及方法 （西安电子科技大学）

US2013019231A1,2013.01.17基于符号执行生成数据流图的加密算法识一种基于符号执行生成数据流图的加密算工具和处理器模型将指令集体系架构下的二进算法识别模块通过乌尔曼子图同构在二进制中密算法的可执行文件或程序函数库进行加密算2所述二进制抽象模块，用于利用反汇编工具得到指令集体系架构下形式中有关数据的操作码和操作数转换成数据流图中对所述签名构造模块，用于按照签名语言规范，将加密算法中有关数据的操所述符号执行模块，用于将二进制中所有的条件跳转指令和所有的所述加密算法识别模块，用于将签名的数据流图和二进制数据流图2.根据权利要求1所述加密算法识别装置的一种基于符号执行生成数据流图的加密算二进制抽象模块利用反汇编工具，得到指令集体系架构下的每关数据的操作码和操作数转换成数据流图中对签名构造模块按照签名语言规范，将加密算法中有关数据的步骤3.1，符号执行模块将二进制中所有的条件跳转指令和所有的位于条件跳转指令步骤3.4，用所选元素的前一个元素对应的执行路径符号化所选元素对应的条件跳转3步骤4.2，判断二进制中是否存在加密算法中的任意一个实现或两种加密算法都存在3.根据权利要求2所述的基于符号执行生成数据流图的加密算法识别方法，其特征在4.根据权利要求2所述的基于符号执行生成数据流图的加密算法识别方法，其特征在5.根据权利要求2所述的基于符号执行生成数据流图的加密算法识别方法，其特征在配符关键字可以转换为任意一个数据流图结点，该关键字转换后的图结点用于通用匹配，6.根据权利要求2所述的基于符号执行生成数据流图的加密算法识别方法，其特征在操作分别转换成相应的图结点，对于重复出现的图结点只保留一份在二进制的数据流图4可指导软件提供方对带有漏洞的加密原语采取针[0002]加密算法识别涉及密码学使用的二进制文件进行加密原密文编码识别模块与密文长度识别模块的实现需要编码和解码的专业知识，实现相对较[0004]西北大学在其申请的专利文献“一种基于深度学习图网络的加密算法识别方法”5一条二进制指令的反汇编形式中有关数据的操作码和操作数转换成数据流图中对应的图二进制中所有的条件跳转指令和所有的位于条件跳转指令之后的指令按照指令地址构成6指令集体系架构及不同编译器下产生的二进制使用反汇编工具得到二进制指令的反汇编方法使用符号执行，使得本发明的方法对二进制文件和加密算法的数据流向覆盖更为广汇编形式中有关数据的操作码和操作数转换7[0018]步骤3.1，符号执行模块将二进制中所[0021]步骤3.4，用所选元素的前一个元素[0027]步骤4.2，判断二进制中是否存在加本发明的方法对不同指令集体系架构及不同编译器下产生的二进制使用反汇编工具得到8解决了现有技术一对多识别结果的问题；由于本发明的方法使用数据流图作为识别依据，使得本发明的装置采用签名数据流图与二进制数据流图子图同构的形式来进行二进制中通过指令集体系架构对应的处理器模型转换成数据流图中对用ARM处理器模型将二进制指令的反汇编形式中有关数据的操作码和操作数转换成数据流[0044]所述签名构造模块，用于制定签名语言规范及将其转换9加密算法中的任何一个实现或两个实现都存在于二进制中，则详细列出其中的算法类型；SM4加密算法中的任何一个实现或两个实现都存在于二进制中，则二进制中的数据流图中[0049]二进制抽象模块利用反汇编工具得到指令集体系架构下的每一条二进制指令的内存读结点，分别对应在指令集体系架构下二进制指令的反汇编形式中的常数表示操作、[0051]本发明实施例中对于二进制在ARM指令集体系架构下的一条数据加指令，通过使理器模型将这条指令的反汇编形式中有关数据的操作码和操作数转换成数据流图中对应规范为使用标识符(IDENTIFIER)关键字指定签名的名称，使用变体(VARIANT)关键字指定签名的多种实现形式，使用通配符(VARIANT)关键字代表签名的表达式转换为数据流图结辑异或(XOR)、内存写(STORE)和内存读(LOAD)关键字来分别表示加密算法的数据乘操作、发明自定义的转换方式为IDENTIFIER关键字和VARIANT关键字不转换为图结点，OPAQUE关[0055]本发明实施例将密码行业标准技术化委员会中规定的SM3加密算法中有关于数据[0056]本发明实施例将密码行业标准技术化委员会中规定的SM4加密算法中有关于数据[0058]步骤3.1，符号执行模块将二进制中所[0061]步骤3.4，用所选元素的前一个元素[0065]本发明实施例中的路径集合有元素以及元素对应的条件跳转指令和位于条件跳[