12. The computer-readable storage medium of claim 11 , wherein the operations further comprise: eliminating the quantifier through instantiating the quantifier with a symbolic variable; and determining whether the set of constraints is satisfiable based on the instantiation of the quantifier with the symbolic variable.
11. A computer-readable storage medium including computer executable instructions configured to cause a system to perform operations for determining whether a set of constraints is satisfiable, the operations comprising: identifying a set of constraints associated with a software module; modeling a string associated with a string constraint of the set of constraints as a parameterized array; and determining a satisfiability of the set of constraints based on a representation of the string constraint as a quantified expression and based on elimination of a quantifier associated with the quantified expression such that the string constraint is represented as a numeric constraint, the representation of the string constraint as a quantified expression being based on the parameterized array associated with the string.