서울대 프로그래밍 연구소와 수년 동안의
공동 연구를 통해 탄생한 핵심 분석 엔진

• 실행의미 기반 정적 분석 기술을 이용하여 요청 받은 프로그램들을 분석하고 오류 정보 생성
• 생성된 오류 정보들을 원본 소스와 결합하여 오류 보고서 생성

오류가 발생한 위치와 원인을 편리하게 확인 할 수 있는 웹 기반 오류분석 결과 보고서

• Buffer Overrun, Memory Leak 등 11개의 오류 분석 정보를 제공
• 오류 분석 결과 요약 보고서: 분석 실행 시간, 오류 유형별/파일 별 검색 결과, 기존/신규 발생한 오류 비교 기능 제공
• 오류 유형별 결과 요약 보고서: 오류 발생 경로 (파일 이름, 함수, 라인 번호) 표시
• 오류 상세 분석 보고서: 오류가 발생한 곳에서 시작하여 영향을 주는 요인만을 실행 흐름에 따라 이동함으로써, 오류와 관련된 프로그램 식들과 그 순간의 메모리 상태 등을 표시. 소스코드를 쉽게 알아볼 수 있는 구문강조 표시기능 제공