摘要
本申请公开了一种规约的生成方法、装置、计算机程序产品以及电子设备。涉及软件测试领域或其他相关领域,该方法包括:从操作系统的内核源码中获取用于系统调用的第一类函数以及用于文件操作处理的第二类函数,并确定第一类函数中的参数,得到调用参数;对调用参数进行污点传播分析,得到宏定义标志位,并对第二类函数中的参数进行污点传播分析,得到系统调用前缀;确定调用参数的规约参数类型,根据系统调用前缀、规约参数类型以及宏定义标志位生成系统调用规约,其中,系统调用规约用于对操作系统进行模糊测试。通过本申请,解决了相关技术中生成系统调用规约时存在生成效率低、准确率低的问题。
技术关键词
标志位
污点
变量
参数
操作系统
定义
生成方法
生成系统
计算机程序产品
内核
指数
数据
电子设备
指针
处理器
算法
生成装置
分析单元
语句
存储器
系统为您推荐了相关专利信息
协方差矩阵
跟踪方法
量测噪声
变分贝叶斯方法
参数
数值模型构建方法
裂隙溶洞
小球
岩体节理
蒙特卡洛方法