Particularly with languages such as Java, validation can be a relatively complex and computationally-expensive process, and since a compiler often needs to generate many of the same structures that a verifier would need, pre-performing this validation can be of benefit, especially if the system restricts access to file attributes so that the attributes may be ???trusted??? to correctly represent t