Invia SMS: Principles program analysis.