정적 체크

컴파일 중에 코드의 시맨틱을 기반으로 버그를 캐치할 수 있는 자동화된 체크입니다.