Αποστολή με SMS: String Analysis for Software Verification and Security