1. A method for creating a hybrid string representation, comprising: receiving string information as input; parsing the string information to produce one or more string components using a processor; determining string components that may be represented concretely by comparing the one or more components to a set of known concretizations; abstracting all string components that could not be represented concretely; and creating a hybrid string representation that includes at least one concrete string component and at least one abstracted string component.