String Analysis