温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。
本发明公开了一种基于浮点格式感知模糊测试的浮点异常检测方法,其包括:步骤S1:静态分析和插桩;利用静态分析技术识别并得到程序中所有的浮点操作以及程序的控制流图信息,定义并插桩相应的检测函数;为每个浮点操作插入了ErrBits函数,所述Err...该专利属于中国人民解放军国防科技大学所有,仅供学习研究参考,未经过中国人民解放军国防科技大学授权不得商用。
温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。
本发明公开了一种基于浮点格式感知模糊测试的浮点异常检测方法,其包括:步骤S1:静态分析和插桩;利用静态分析技术识别并得到程序中所有的浮点操作以及程序的控制流图信息,定义并插桩相应的检测函数;为每个浮点操作插入了ErrBits函数,所述Err...