SMS dit: Static analysis