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; locating installation-specific repositories associated with the computer program; parsing the located installation-specific repositories and extracting one or more configuration parameters; and substituting the one or more configuration parameters into the extracted abstract interpretation.