1. A method for transforming code to detect transient faults, comprising: translating binary code to an intermediate language code; identifying an instruction of interest in the intermediate language code; inserting reliability instructions in the intermediate language code to validate register values in memory accessed by the instruction of interest; and translating the intermediate language code to binary code.