Pošljite SMS: Static analysis of software