Zaslat SMS: Static analysis of software