|
CMU-CS-13-130
Computer Science Department
School of Computer Science, Carnegie Mellon University
CMU-CS-13-130
Floating-point Bugs in Embedded GNU C Library
Soonho Kong, Sicun Gao, Edmund M. Clarke
November 2013
CMU-CS-13-130.pdf
Keywords:
Floating-point computation, GNU C Library, Nonlinear Arthimetic
We report serious bugs in floating-point computations for evaluating elementary functions in the Embedded GNU C Library. For instance, the sine function can
return values larger than 1053 in certain rounding modes. Further investigation also exposed faulty implementations in the most recent version of the library, which seemingly fixed some bugs, but only by discarding user-specified
rounding-mode requirements.
7 pages
|