Zaslat SMS: Software safety and security