1. A computer-implemented method for statically analyzing a computer software application, comprising: evaluating, by an object identifier module, a static analysis specification that indicates a static analysis type to be performed and a particular object type previously-identified to be extraneous based upon the static analysis type to determine the static analysis type and the particular object type, identifying, by an object identifier module, within the computer software application a plurality of objects of the particular object type previously-identified to be extraneous to a static analysis of the static analysis type to be performed; preparing, by an input reducer module, a modified version of the computer software application in which the plurality of objects are omitted from the computer software application; constructing a model representation of the modified version of the computer software application; and performing, by the static analysis engine, the static analysis on the model representation of the modified version of the computer software application.