676.172 정적 분석(Static Analysis) 도구 개요