1. In a computer system for executing computer readable code, a computer implemented method for determining precise address-taken information for a global variable of a software program stored within the computer system, the method comprising the computer system performing the steps of: a) processing source code of a software program to determine a global variable that has its address taken; b) analyzing a procedure to determine a corresponding first summary of address-taken data for a variable referenced in said procedure by: b1) determining whether a formal parameter is directly referenced or is a modification; b2) determining whether the direct parameter reference is a use; b3) determining whether the formal parameter is indirectly referenced; b4) determining whether an indirect parameter reference is a modification; b5) determining whether the indirect parameter reference is a use; and b6) generating a first summary, wherein the first summary includes local formal parameter flag information from the determinations of steps b1) through b5); c) analyzing a plurality of explicit references to the global variable to determine a corresponding second summary of address-taken data by: c1) determining whether the global variable is flagged address-saved; c2) if the global variable is flagged address-saved, flagging the global variable as address-saved in a plurality of files containing the global variable; c3) determining whether the global variable is flagged address-passed; c4) if the global variable is flagged address-passed, flagging the global variable as address-passed in the plurality of files containing the global variable; and c5) generating a second summary, wherein the second summary includes global variable flag information from the determinations of steps c1 through c4); d) combining the first summary and the second summary to obtain a precise summary of address-taken information for the global variable; and e) compiling the software program using the precise summary of address taken information to generate machine readable code.