Patent Document ID: 8561035
Application ID: 12553486

Base Claim:
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.

---

Claim 6:
6. The method of claim 1 , wherein the locating installation-specific repositories includes locating one or more files the computer program reads, one or more environment variables the computer program uses, one or more databases the computer program accesses, and one or more command line arguments the computer program takes.