1. A method for analyzing a computer program, comprising: automatically identifying a data processing operation within a representation of at least a portion of the computer program; determining whether the identified data processing operation represents a potential source for entry of untrusted data into the computer program; identifying an attribute of the untrusted data; modeling a course of the untrusted data through the identified data processing operation to produce a validation result; storing the validation result; based on the identified attribute, determining whether the stored validation result identifies a security vulnerability of the computer program; and providing access to the stored validation result.