基于程序重写与区间运算的浮点异常检测  

Floating-point exception detection based on program rewriting and interval arithmetic

作　　者：袁浩[1] 

机构地区：[1]华东师范大学上海市高可信计算重点实验室

出　　处：《计算机工程与设计》2016年第6期1520-1525,共6页Computer Engineering and Design

基　　金：国家自然科学基金项目(91118007);上海市教育委员会创新基金项目(14ZZ046)

摘　　要：研究基于IEEE 754浮点标准下的浮点异常问题。针对C语言程序的上溢出、下溢出、被零除和无效运算这4类异常问题,结合C标准库中异常标记函数和区间运算的相关理论,提出两种针对性的异常检测的方法,分别解决对于函数特定值输入的异常检测和函数在某范围内的异常检测。研发相应的异常检测工具,自动重写待测程序,嵌入相应的异常检测方法。测试所得程序,实验结果表明,提出的两种异常检测方法可以有效检测浮点异常。Floating-point exception problems based on IEEE 754 standard were studied.To detect the four kinds of exceptions named overflow,underflow,divide-by-zero and invalid operation in C language program,two targeted methods based on the exception-marking function in C standard library and interval arithmetic theory were proposed.These two methods can detect exceptions triggered by specific inputs or a range of inputs of the function.A corresponding exception detection tool was developed.The program was automatically rewritten and the corresponding methods were embedded in the program.The feasibility of the two exception detection methods was validated by practical application.

关 键 词：浮点异常 符号执行 抽象语法树 区间算术 程序重写 

分 类 号：TP30[自动化与计算机技术—计算机系统结构]