로봇기반디지털본부

1)성능요건

가) 코드규칙 검증
(1) MISRA-C 2012 Amendment 1 분석 가능
(2) MISRA-C++ 2008 분석 가능
(3) MISRA, CERT, 방위사업청 코딩 규칙 적용 가능

나) SW품질 매트릭스 분석
(1) C언어 소스코드 품질 매트릭스 분석 가능
(2) C++언어 소스코드 품질 매트릭스 분석 가능

다) 소스코드 결함 검증
(1) CWE, CERT를 포함한 결함 및 보안취약점 검출 기능
(2) C, C++, Java로 작성된 500,000라인 이상에 대한 소스코드 분석 지원
(3) 모든 실행 경로 및 입력 값에 대한 호출 관계를 분석

라) 아키텍처 시각화
(1) 검출된 결함에 대한 함수 호출 경로 확인 기능
(2) 분석된 소스코드의 전체 구조 시각화
마) 결함 추적관리
(1) 둘 이상의 파일을 확인할 수 있는 기능(모듈 간 분석)
(2) 파일 전처리코드 확인 가능