Patent ID: 8392897
Filing Date: 2013-03-05
Classification: G06F

Abstract:
1. A computer-useable medium comprising: a sequence of instructions for execution by a processing unit, expressed in an intermediate code format, each instruction comprising an annotation, the annotation comprising basic block identifying information and an instruction identifier; one or more of the instructions comprising an operand and a result, each operand comprising an operand annotation comprising first register plane identifying information, the register plane corresponding to a data type of the operand, each result comprising a result annotation comprising second register plane identifying information, the register plane corresponding to a data type of the result; one or more of the instructions comprising a reference to a memory location, wherein the memory location reference uses a safe data value of a safe data type, corresponding to an unsafe data value of an unsafe data type, wherein the unsafe data value is checked to verify that the unsafe data value meets a safety criterion, and the safe data value is generated by copying the checked unsafe data value to a register associated with the safe data type, if the unsafe data value passes the check, wherein the identified register plane corresponds to the identified basic block for the instruction.