1180.18 소프트웨어 정적 분석 도구에 의한 검증