"STATIC"과 정적 분석이 필요한 이유