1. A method comprising: receiving program code; and statically verifying information about one or more dynamic checks in the program code, each of the one or more dynamic checks in the program code to check an operation in the program code.