1. One or more computer-readable media having computer-executable instructions for performing a method comprising: for a set of one or more integer expressions in a plurality of program instructions, representing ordering relationships between the integer expressions for the program instructions; determining which of the ordering relationships are validated by the program instructions; and identifying one or more unvalidated ordering relationships, wherein the one or more unvalidated ordering relationships are indicative of at least one defect in the program instructions.