The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Mar. 20, 2012
Filed:
Nov. 13, 2006
Francis M. Bartucca, Raleigh, NC (US);
Billy R. Robinson, Coppell, TX (US);
Punit B. Shah, Portland, OR (US);
Carlos P. Sosa, Eagan, MN (US);
Francis M. Bartucca, Raleigh, NC (US);
Billy R. Robinson, Coppell, TX (US);
Punit B. Shah, Portland, OR (US);
Carlos P. Sosa, Eagan, MN (US);
International Business Machines Corporation, Armonk, NY (US);
Abstract
A compiler utility assigns memory locations to alias-free variables within a computer program. The compiler utility allocates memory keys for the alias-free variables, such that access to the memory locations of the alias-free variables is granted to blocks of code that have knowledge of the memory keys. In response to a command by the user, the compiler generates code to detect violations of alias assumptions during execution of the computer program. During the compiling process, the compiler adds the generated code for detecting violations of alias assumptions to the compiled computer program.