1. A method for preparing a computer software application for static analysis, the method comprising: identifying a control flow within a model portion of a computer software application, where the control flow passes a value to a controller portion of the computer software application, wherein the computer software application has a model-view-controller architecture, and wherein the computer software application comprises the model portion and the controller portion; analyzing a declarative specification of the controller portion of the computer software application to identify a view to which the controller portion passes control based on the value, wherein the declarative specification comprises controller logic, wherein the declarative specification is external to the computer software application, and wherein the declarative specification is analyzed to provide improved precision to the static analysis of the model-view-controller architecture; and synthesizing a method within the computer software application, where the method calls the view.