SMS: Static analysis