Binary Information Press
Floating point special numbers overflow and underflow vulnerabilities threaten the software security in programs or software. To find the overflow vulnerabilities features, the authors design a multi-dimensional structure according to IEEE 754 floating point special numbers formats. Based on special numbers definition in language and arithmetic operation overflow ranges, they analyze the overflow and underflow properties of special numbers arithmetic operation in algebra systems. They test the arithmetic overflow and underflow of floating point special numbers in different CPUs.