C 프로그램 정적 분석 도구

C 프로그램의 실행 시간 오류를 감지하고 프로그램 속성을 검증하기 위한 정적 분석 도구 C Analyzer를 개발하였다.