Invia SMS: Static analysis of software