Zaslat SMS: Analysis, repair, and individuation