此外,使用最先进的DL编译器模糊器构建了四个基线,它们可以覆盖高级优化阶段。实验结果表明,HirGen可以检测到10个在48小时内基线无法检测到的crash和不一致现象。本文还评估了提出的覆盖标准和测试神谕的有效性。 介绍 主要介绍了一下对深度学习编译器进行测试的重要性:检测crash、不期待的错误行为以及糟糕的表现。
对于JavaScript引擎中的JIT编译器,测试样本成功率和覆盖率同样是衡量模糊测试性能的重要指标。其中测试样本成功率指成功进行JIT优化并执行优化代码的样本的比例,而覆盖率指JIT编译器部分的覆盖率。当今针对JavaScript引擎的模糊测试工具对JIT引擎的测试样本成功率不高。原因为:(1)JIT引擎需要特殊的条件进行触发,并不是所有...
语言模型生成多段能够调用一个或多个指定深度学习API的代码片段,以构成模糊测试的初始代码种子集合;根据指定深度学习API的文档进行传参的约束提取,得到API约束文件;基于API约束文件对初始代码种子进行变异,得到测试代码片段;通过比较测试代码片段在待测深度学习编译器与参考编译器的编译结果,得到待测深度学习编译器的测试...
在过去的几个月中,我们一直在对solc(标准的Solidity智能合约编译器)进行模糊测试,我们已经发现了近20个(现在大部分已经修复)新的bug。其中一些是症状或触发器略与的现有bug不同,但绝大多数是编译器中以前未报告的bug。 在过去的几个月中,我们一直在对solc(标准的Solidity智能合约编译器)进行模糊测试,我们已经发现...
本发明聚焦于内核安全领域,专注于解决linux内核中使用ebpf技术时面临的安全挑战,在模糊测试提出一种方法来有效发现ebpf编译器中的漏洞。 背景技术: 1、ebpf是一种在linux内核中引入的通用可编程性技术,是一种动态、可扩展且无需修改内核源码的内核空间扩展机制。该技术允许用户编写自定义程序并将其加载到内核,以执行各...
1、针对上述问题,本发明提出一种优化干路径引导的javascript jit编译器模糊测试方法,包括:初始化步骤,标记javascript引擎中的优化干路径,该优化干路径为jit编译器进行优化操作时,优化子策略对应的路径;第一测试步骤,对该javascript引擎进行边覆盖方式的模糊测试,并生成种子构建为种子集;重复执行该第一测试步骤,当边覆盖率...