Initial static analysis checks