Zaslat SMS: Finding and fixing vulnerabilities in information systems