SMS: Static analysis :