3. The method of claim 1 , wherein generating the set of tag library usage information comprises accessing a set of tag library behavior information associated with the at least one tag library, the set of tag library behavior information comprising a set of instructions indicating how to compute the set of variable names and the set of values for each of the set of variable names in terms of attributes of the tag libraries.
1. A method for creating a data structure for a software application that is based on at least one framework, the method comprising: analyzing, by a framework application modeler prior to executing the software application, at least one Java Server Page file associated with the software application, the Java Server Page file comprising at least one call to at least one library tag, and at least one Expression Language (EL) expression; generating, based on the analyzing and prior to executing the software application, a first data structure comprising a set of tag library usage information for the Java Server Page file, the set of tag library usage information comprising a set of variable names bound by the at least one call to the at least one library tag, a set of values for each of the set of variable names, and a set of program points within the Java Server Page file where the at least one EL expression accesses each of the set of variable names, the first data structure further comprising a map from each of the set of program points to each of the set of variable names available at each of the set of program points; evaluating, after generating the first data structure and prior to executing the software application, the at least one EL expression based on at least one of the variable names in the set of variable names and at least one value in the set of values associated with the at least one of the variable names, the evaluating comprising at least computing a set of possible values for the at least one EL expression; and creating, prior to executing the software application, a second data structure for a static analysis engine based on the at least one EL expression that has been evaluated, the second data structure comprising a set of Java expressions representing the set of possible values of the at least one EL expression.