Αποστολή με SMS: Tools and Methods of Program Analysis