1. A method for providing attack resistance throughout a software application, the method comprising: identifying critical assets of the software application, the critical assets formed by one or more predetermined program properties; associating a program property function to a corresponding one of the critical assets; adjusting the associating step in accordance with user-defined tolerances; at one or more points of the software application, generating a calculated program property from the program property function; and verifying the calculated program property against a corresponding one of the one or more predetermined program properties.