Finding programming errors earlier by evaluating runtime monitors ahead-of-time