基本信息:
- 专利标题： 一种基于浮点格式感知模糊测试的浮点异常检测方法
- 申请号：CN202211467048.4 申请日：2022-11-22
- 公开(公告)号：CN115712568A 公开(公告)日：2023-02-24
- 发明人： 陈立前 , 马成虎 , 王戟 , 易昕 , 范广生 , 毛晓光 , 陈振邦 , 董威
- 申请人： 中国人民解放军国防科技大学
- 申请人地址： 湖南省长沙市开福区砚瓦池正街47号
- 专利权人： 中国人民解放军国防科技大学
- 当前专利权人： 中国人民解放军国防科技大学
- 当前专利权人地址： 湖南省长沙市开福区砚瓦池正街47号
- 代理机构： 湖南兆弘专利事务所
- 代理人： 周长清
- 主分类号： G06F11/36
- IPC分类号： G06F11/36
摘要：
本发明公开了一种基于浮点格式感知模糊测试的浮点异常检测方法，其包括：步骤S1：静态分析和插桩；利用静态分析技术识别并得到程序中所有的浮点操作以及程序的控制流图信息，定义并插桩相应的检测函数；为每个浮点操作插入了ErrBits函数，所述ErrBits函数用于度量一个测试输入距离触发潜在浮点异常的距离；步骤S2：浮点格式感知的模糊测试；针对步骤S1插桩后的代码，对其进行结合浮点异常距离极小化和分支覆盖信息为指导的模糊测试来检测程序中潜在的浮点异常。本发明具有原理简单、操作简便、误报率较低、可伸缩性较好的等优点。