Zaslat SMS: Principles program analysis.