1. A method for 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.
1. A method for 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. 5. The method of claim 1 , wherein the locating installation-specific repositories includes using knowledge associated with execution environment of the computer program.