Patent ID: 8412953

Claim:
A method comprising: receiving source code, the source code including at least one annotated function; generating, via a processor, a binary from the source code, the generating comprising: inserting a plurality of verification calls configured to verify the at least one annotated function, wherein at least one verification call is inserted on each call path leading to the at least one annotated function, and further wherein at least one verification call is configured to perform at least one of silently corrupting the binary or returning an error when the verification code does not match a reference checksum, and wherein each verification call comprises a verification group, a verification strength, corruption data, and a checksum module, wherein the verification strength defines at least one of a maximum processor time spent on verification or a number of verification calls to insert; distributing placeholders associated with the plurality of verification calls, wherein a placeholder comprises junk data representing a recognizable pattern; and replacing the junk data in each placeholder in the binary with verification data, wherein a placeholder is identified through the recognizable pattern, whereby the replacing eliminates the recognizable pattern.