Precise analysis of string expressions