정적 분석(3)