정적분석 응용- 교과서 내용의 균일성?