Concepts and technologies are described herein for determining memory safety of floating-point computations. The concepts and technologies described herein analyze code to determine if any floating-point computations exist in the code, and if so, if the floating-point computations are memory safe. The analysis can include identifying floating-point instructions and conditional statements in the code. The code can be symbolically executed, and behavior of the floating-point instructions and the conditional statements can be monitored to determine if a floating point calculation is ever involved in computation of any memory address during the execution of the code.
45329717
Alternative title(s) : (en) Memory safety of floating-point computations
Patent number | Country code | Kind code | Date issued |
US8782625 | US | B2 | 2014-07-15 |
US2011314251 | US | A1 | 2011-12-22 |