7. A non-transitory program storage device readable by a machine, tangibly embodying a program of instructions executable by the machine to perform a method of discovering one or more program variable values, comprising: extracting an abstract interpretation of a program variable used in a computer program, the abstract interpretation being an expression that has not been completely resolved into definitive values, and the program variable taking a set of values during the execution of the computer program; locating installation-specific repositories associated with the computer program, the installation-specific repositories comprising at least a listing of running processes with one or more command lines that invoked the computer program; parsing the located installation-specific repositories and extracting one or more configuration parameters; substituting the one or more configuration parameters into the extracted abstract interpretation to provide the extracted abstract interpretation with one or more values; and resolving the program variable using the one or more values, wherein a set of all possible values of the program variable is approximated by combining static program analysis and extraction of the configuration parameters.
7. A non-transitory program storage device readable by a machine, tangibly embodying a program of instructions executable by the machine to perform a method of discovering one or more program variable values, comprising: extracting an abstract interpretation of a program variable used in a computer program, the abstract interpretation being an expression that has not been completely resolved into definitive values, and the program variable taking a set of values during the execution of the computer program; locating installation-specific repositories associated with the computer program, the installation-specific repositories comprising at least a listing of running processes with one or more command lines that invoked the computer program; parsing the located installation-specific repositories and extracting one or more configuration parameters; substituting the one or more configuration parameters into the extracted abstract interpretation to provide the extracted abstract interpretation with one or more values; and resolving the program variable using the one or more values, wherein a set of all possible values of the program variable is approximated by combining static program analysis and extraction of the configuration parameters. 8. The program storage device of claim 7 , wherein the extracting step includes extracting an abstract interpretation of a program variable using static analysis.