具体实施方式

为了使本技术领域的人员更好地理解本申请中的技术方案，下面将结合本申请实施例中的附图，对本申请实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本申请一部分实施例，而不是全部的实施例。基于本申请中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都应当属于本申请保护的范围。

为了更好地理解本申请，下面结合附图来详细解释本申请的实施方式。

实施例一

参见图1，图1为本申请实施例所提供的一种基于模糊测试的固件镜像文件刷写校验方法的流程示意图。由图1可知，本实施例中基于模糊测试的固件镜像文件刷写校验方法，主要包括如下步骤：

S1：根据UEFI文件系统结构，建立用于描述固件镜像文件结构组成的数据模型。

在本实施例所建立的数据模型中，固件镜像文件被划分为N个片段，每个片段在固件镜像文件中保持独立的功能，其中，N为自然数且N≥2。

也就是，本实施例通过建立数据模型，对固件镜像文件根据独立功能进行分段，每个片段都在固件镜像文件中有自身独立的功能。通过分段，能够实现对固件镜像文件自身的格式的解析，在后续进行漏洞检测以及漏洞定位时能够有针对性地识别固件本身的内容和结构，为后续漏洞检测和定位提供有效依据，从而大大提高漏洞检测的准确性和漏洞检测效率。

进一步地，本实施例中对固件镜像文件分段所获取的片段，为固件镜像文件中保持独立功能的最小单元。将固件镜像文件划分为最小单元，能够在确保固件镜像文件刷写校验顺利进行的前提下，将固件镜像文件的分段程度达到最小，从固件结构上为后续进行漏洞定位提供依据，有利于进一步提高漏洞检测的精确度。

继续参见图1可知，建立数据模型后，执行步骤S2：利用数据模型，对待测固件镜像文件进行识别。

具体地，步骤S2包括如下过程：

S21：将数据模型封装为具备特定格式的计算机程序，其中该特定格式中包括：片段和功能之间的映射关系。

S22：利用计算机程序，对待测固件镜像文件的格式进行识别。

由以上步骤S21和S22可知，本实施例中建立数据模型后，利用计算机语言描述该数据模型，并将其封装为一个计算机程序，利用该计算机程序可以正确识别待测固件镜像文件的格式。

识别到待测固件镜像文件后，执行步骤S3：采用模糊测试的方法依次对待测固件镜像文件中的每个片段进行修改，形成N个变异后的待测固件镜像文件。

由步骤S1可知，通过数据模型能够将固件镜像文件被划分为N个片段，通过步骤S3，对待测固件镜像文件中的每个片段进行修改，每次修改只涉及待测固件镜像文件中的一个片段，N个片段对应产生N个变异后的待测固件镜像文件，且一个修改片段对应一个变异后的待测固件镜像文件。由于每个片段在固件镜像文件中保持独立的功能，则N个片段对应N个功能，每个变异后的待测固件镜像文件对应一个不同的功能。

模糊测试是一种通过向目标系统提供非预期的输入，并监视异常结果来发现软件漏洞的方法，这种输入是不符合逻辑的，非预期的，自动模糊测试不去猜测哪个数据会导致破坏，而是将尽可能多的杂乱数据投入程序中，因此，模糊测试发现的异常结果往往会出乎开发者的预期。利用模糊测试，能够揭示出程序中的重要bug，能够验证现实世界中的错误模式，并在产品发版前对潜在的待修复问题进行显示。

本实施例采用模糊测试的方法依次对待测固件镜像文件中的每个片段进行修改，能够更加准确地模拟黑客对固件镜像文件进行恶意篡改这一攻击行为，从而进一步提高测试结果的准确性，模拟测试的非预期特性，能够提高校验测试的覆盖率，有利于提高测试的精确度。

进一步地，本实施例形成N个变异后的待测固件镜像文件后，还包括步骤S4：对N个变异后的待测固件镜像文件进行保存。

具体地，本实施例中的保存操作在每一次的修改操作之后执行，也就是对待测固件镜像文件中的任一片段进行修改后，会形成一个变异后的待测固件镜像文件，此时立刻对该变异后的待测固件镜像文件进行保存。以此类推，再采用模糊测试的方法对待测固件镜像文件中的下一个片段进行修改，并保存下一个片段所对应的变异后的待测固件镜像文件，直到N个片段都修改完毕。

继续参见图1可知，采用模糊测试的方法依次对待测固件镜像文件中的每个片段进行修改，形成N个变异后的待测固件镜像文件之后，执行步骤S5：根据待测固件镜像文件的功能是否需要进行合法性校验，将第一固件刷写至目标硬件。

其中，第一固件为需要进行合法性校验的功能所对应的变异后待测固件镜像文件。

具体地，步骤S5又包括如下过程：

S51：确定待测固件镜像文件中需要进行合法性校验的功能和不需要进行合法性校验的功能。

本实施例根据用户需求，确认待测固件镜像文件中的哪些功能需要进行合法性校验，哪些功能不需要进行合法性校验。

S52：将需要进行合法性校验的功能所对应的变异后待测固件镜像文件定义为第一固件，将不需要进行合法性校验的功能所对应的变异后待测固件镜像文件定义为第二固件。

S53：将第一固件刷写至目标硬件。

也就是，针对需要进行合法性校验的功能，其对应的变异后待测固件镜像文件无需进行固件刷写，只针对需要进行合法性校验的功能所匹配的变异后待测固件镜像文件进行刷写。由于本实施例中只将第一固件刷写至目标硬件，能够减少需要刷写的固件数量，从而节省固件刷写时间和固件刷写校验时间，有利于进一步提高固件镜像文件刷写校验效率。

S6：根据刷写结果，判断目标硬件是否存在固件刷写安全漏洞。

具体地，步骤S6包括如下过程：

S61：汇总第一固件的刷写结果，并确定缺少合法性校验的结果。

本实施例中由于不对第二固件进行刷写，在汇总刷写结果时，可以直接定义第二固件刷写结果为：通过，也就是定义第二固件没有出现缺少合法性校验的结果。这种只汇总第一固件刷写结果的方法，能够进一步提高固件镜像文件刷写校验效率。

S62：判断缺少合法性校验结果的数量M是否满足：M≥1，M为自然数或O。

如果缺少合法性校验结果的数量M满足：M≥1，则执行步骤S63：判定目标硬件存在固件刷写安全漏洞。

如果缺少合法性校验结果的数量M＜1，即M＝0，也就是没有出现缺少合法性校验的结果，则执行步骤S64：判定目标硬件不存在固件刷写安全漏洞。

本实施例中，根据刷写结果，判断目标硬件是否存在固件刷写安全漏洞的方法，可以参见如下表1所示。

表1判断目标硬件是否存在固件刷写安全漏洞的统计表

由以上表1可知，N个变异后的待测固件镜像文件，简称变异固件，对应N个被修改片段，进而对应待测固件镜像文件的N个功能。根据用户的实际情况确定待测固件镜像文件中哪些功能需要进行合法性校验，并将不需要进行合法性校验的功能所对应的变异固件的实验结果判定为通过，用NA表示。最后对比输出的N个待测固件镜像文件刷写校验结果，只要有一个或者一个以上需要进行合法性校验的功能缺少合法性校验，即最终判定待测固件镜像文件存在固件刷写安全漏洞。表1中变异固件2需要进行合法性校验，且缺少合法性校验结果，因此最终结论为：失败。

继续参见图1可知，当判定目标硬件存在固件刷写安全漏洞后，执行步骤S7：根据没有进行合法性校验的第一固件，定位待测固件镜像文件中没有进行合法性校验的片段。

具体地，步骤S7又包括如下过程：

S71：根据缺少合法性校验的结果，确定与该结果相匹配的第一固件。

S72：查看与该结果相匹配的第一固件中被修改的片段。

S73：将第一固件中被修改的片段作为待测固件镜像文件中没有进行合法性校验的片段。

由以上步骤S71-S73可知，本实施例在判定目标硬件存在固件刷写安全漏洞之后，还对安全漏洞进行精确定位，有利于进一步提高待测固件镜像文件刷写校验的准确性，且能够为后续进行漏洞修复提供强有力的保障，有利于提高用户体验和市场竞争价值。

实施例二

在图1所示实施例的基础之上参见图2，图2为本申请实施例所提供的一种基于模糊测试的固件镜像文件刷写校验系统的结构示意图。

由图2可知，本实施例中基于模糊测试的固件镜像文件刷写校验系统主要包括：数据模型建立模块、识别模块、变异模块、刷写模块、判断模块和定位模块。其中，数据模型建立模块，用于根据UEFI文件系统结构，建立用于描述固件镜像文件结构组成的数据模型，在数据模型中，固件镜像文件被划分为N个片段，每个片段在固件镜像文件中保持独立的功能，其中，N为自然数且N≥2，且该片段为固件镜像文件中保持独立功能的最小单元；识别模块，用于利用数据模型，对待测固件镜像文件进行识别；变异模块，用于识别到待测固件镜像文件后，采用模糊测试的方法依次对待测固件镜像文件中的每个片段进行修改，形成N个变异后的待测固件镜像文件；刷写模块，用于根据待测固件镜像文件的功能是否需要进行合法性校验，将第一固件刷写至目标硬件，第一固件为需要进行合法性校验的功能所对应的变异后待测固件镜像文件；判断模块，用于根据刷写结果，判断目标硬件是否存在固件刷写安全漏洞；定位模块，用于当目标硬件存在固件刷写安全漏洞时，根据没有进行合法性校验的第一固件，定位待测固件镜像文件中没有进行合法性校验的片段。

进一步地，识别模块包括：封装单元和识别单元。其中，封装单元，用于将数据模型封装为具备特定格式的计算机程序，特定格式中包括：片段和功能之间的映射关系；识别单元，用于利用计算机程序，对待测固件镜像文件的格式进行识别。

刷写模块包括：功能确认单元、定义单元和刷写单元。其中，功能确认单元，用于确定待测固件镜像文件中需要进行合法性校验的功能和不需要进行合法性校验的功能；定义单元，用于将需要进行合法性校验的功能所对应的变异后待测固件镜像文件定义为第一固件，将不需要进行合法性校验的功能所对应的变异后待测固件镜像文件定义为第二固件；刷写单元，用于将第一固件刷写至目标硬件。

判断模块包括：汇总单元和判断单元。其中，汇总单元，用于汇总第一固件的刷写结果，并确定缺少合法性校验的结果；判断单元，用于判断缺少合法性校验结果的数量M是否满足：M≥1，M为自然数或O，如果是，判定目标硬件存在固件刷写安全漏洞，否则，判定目标硬件不存在固件刷写安全漏洞。

定位模块包括：固件确定单元、查看单元和片段定位单元。其中，固件确定单元，用于根据缺少合法性校验的结果，确定与结果相匹配的第一固件；查看单元，用于查看与结果相匹配的第一固件中被修改的片段；片段定位单元，用于将第一固件中被修改的片段作为待测固件镜像文件中没有进行合法性校验的片段。

进一步地，本实施例基于模糊测试的固件镜像文件刷写校验系统中还包括：保存模块，用于对N个变异后的待测固件镜像文件进行保存。

该实施例中基于模糊测试的固件镜像文件刷写校验系统的工作原理和工作方法，在图1所示的实施例中已经详细阐述，在此不再赘述，两个实施例之间可以互相参照。

实施例三

本申请还提供一种终端，该终端包括：处理器以及与处理器通信连接的存储器，其中，存储器中存储有可被处理器执行的指令，指令被处理器执行，以使处理器能够执行如上基于模糊测试的固件镜像文件刷写校验方法。

处理器所执行的基于模糊测试的固件镜像文件刷写校验方法如下：

S1：根据UEFI文件系统结构，建立用于描述固件镜像文件结构组成的数据模型，在数据模型中，固件镜像文件被划分为N个片段，每个片段在固件镜像文件中保持独立的功能，其中，N为自然数且N≥2；

S2：利用数据模型，对待测固件镜像文件进行识别；

S3：识别到待测固件镜像文件后，采用模糊测试的方法依次对待测固件镜像文件中的每个片段进行修改，形成N个变异后的待测固件镜像文件；

S5：根据待测固件镜像文件的功能是否需要进行合法性校验，将第一固件刷写至目标硬件，第一固件为需要进行合法性校验的功能所对应的变异后待测固件镜像文件；

S6：根据刷写结果，判断目标硬件是否存在固件刷写安全漏洞；

如果判定目标硬件存在固件刷写安全漏洞，执行步骤S7：根据没有进行合法性校验的第一固件，定位待测固件镜像文件中没有进行合法性校验的片段。

以上方法的具体执行步骤和原理，可以参见图1所示的实施例一，在此不再赘述。

以上所述仅是本申请的具体实施方式，使本领域技术人员能够理解或实现本申请。对这些实施例的多种修改对本领域的技术人员来说将是显而易见的，本文中所定义的一般原理可以在不脱离本申请的精神或范围的情况下，在其它实施例中实现。因此，本申请将不会被限制于本文所示的这些实施例，而是要符合与本文所公开的原理和新颖特点相一致的最宽的范围。