SMS: Static analysis of software