Static checker