8. One or more nonvolatile computer-readable storage media containing instructions which, when executed by a computer, cause the computer to perform a method, the method comprising: passing a symbolic parameter to a function of a program in a symbolic state representation of a program, the symbolic parameter comprising a symbolic sub-parameter that comprises a variable term; examining a set of value constraints for a pre-defined approximation of possible values associated with the symbolic parameter; as a result of not finding the pre-defined approximation of possible values in the set of value constraints, generating a domain of possible solutions for the symbolic parameter, the generating comprising: determining properties of the symbolic parameter, the properties of the symbolic parameter comprising a term type; determining possible values for the variable term, the determining the possible values for the variable term comprises walking over field maps of a representation of a given state and extracting one or more object terms appearing in the given state which match a type of the variable term; and selecting and applying one or more of a plurality of domain computation techniques according to the properties of the symbolic parameter comprising the term type; and performing the symbolic execution of the function using one or more solutions of the domain of possible solutions to generate a set of one or more actual solutions.
8. One or more nonvolatile computer-readable storage media containing instructions which, when executed by a computer, cause the computer to perform a method, the method comprising: passing a symbolic parameter to a function of a program in a symbolic state representation of a program, the symbolic parameter comprising a symbolic sub-parameter that comprises a variable term; examining a set of value constraints for a pre-defined approximation of possible values associated with the symbolic parameter; as a result of not finding the pre-defined approximation of possible values in the set of value constraints, generating a domain of possible solutions for the symbolic parameter, the generating comprising: determining properties of the symbolic parameter, the properties of the symbolic parameter comprising a term type; determining possible values for the variable term, the determining the possible values for the variable term comprises walking over field maps of a representation of a given state and extracting one or more object terms appearing in the given state which match a type of the variable term; and selecting and applying one or more of a plurality of domain computation techniques according to the properties of the symbolic parameter comprising the term type; and performing the symbolic execution of the function using one or more solutions of the domain of possible solutions to generate a set of one or more actual solutions. 9. The one or more nonvolatile computer-readable storage media of claim 8 , wherein the symbolic parameter further comprises an operator.