정적분석 (3)