String Analysis project