1188.19 정적 분석에 의한 검증