1. A method for statically analyzing a computer software application, the method comprising: identifying a plurality of objects within the instructions of a computer software application, where the objects in the plurality of objects are of the same object type; and preparing a modified version of the instructions in which any of the objects in the plurality of objects determined to be extraneous is omitted using a processor.