Patent ID: 9547484
Date: 2017-01-17
CPC Classifications: G06F

Claim:
1. A computer implemented method for automated compiler operation verification, the method comprising: in response to performing an optimization to a compiler configured to execute on a processor of a computer system, determining whether a fingerprint is present in software that is currently executing on the processor of the computer system, wherein the software is compiled by the compiler, wherein the fingerprint comprises a representation of a sequence of behavior that occurs on the processor while the software is executing, and wherein the fingerprint is configured to correspond to the optimization of the compiler; in response to determining that the fingerprint is not present in the software currently executing on the processor, determining that optimization to the compiler has not occurred; and in response to determining that the fingerprint is present in the software executing on the processor, verifying that the optimization of the compiler has occurred; wherein determining whether the fingerprint is present in the software that is currently executing on the processor of the computer system occurs in response to one or more instruction addresses of the software currently matching one or more predefined instruction addresses.