Patent · US Active

Memory safety of floating-point computations

US8782625B2 · kind B2 · utility

16Cited by

11References

20Claims

0Family size

Assignee

Microsoft Corporation · US

Inventors

Patrice Godefroid · Naperville, US
Johannes Kinder · Darmstadt, DE

Key dates

Filing date	Jun 17, 2010
Grant date	Jul 15, 2014
Priority date	—
Expiry date	Mar 23, 2033

Classification

Technology area (CPC G)Physics
CPC primaryG06F11/3624
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

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.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.