Grammatech
Codesonar
10년
옵션/액세서리(보조장치) (주장비:분석 시스템(머신러닝&AI))
기타
데이터 처리장비 > 장비소프트웨어 > 달리 분류되지 않는 장비소프트웨어
2020-12-28
116,627,659원
기관의뢰
고정형
기타
100,000원
◾데이터 흐름ㆍ제어 흐름ㆍ의미기반 분석을 통해 소스코드의 모든 실행 경로 및 입력 값에 대한 호출 관계를 분석하여 소스코드에 잠재된 결함을 검출
◾결함이 검출된 함수가 실행될 수 있는 모든 함수 호출 경로를 표시하여 결함 발생의 근본적인 원인 추적 및 흐름 파악
◾개발 비용 감소 및 개발자의 능력 향상
◾시각적인 Visualization으로 소프트웨어의 구조 및 결함 분포율 파악
◾정적분석 결과 호환을 위한 포맷(SARIF, Static Analysis Results Interchange Format) 지원하여 다양한 정적 분석 도구의 결과를 원하는 UI에서 리뷰할 수 있도록 하는 프레임워크에 활용
◾결과 DB에 접근 가능한 PC에서 웹(WEB) 기반의 분석 결과 리포팅 지원
◾PDF, HTML, XML포맷으로 결과 리포트 출력 가능
◾Dead Code 검출을 통한 Code Coverage 조기 확보
◾RBAC(Role Based Access Control)를 이용한 분석결과 보안강화
◾그래픽 유저 인터페이스(Graphic User Interface), 명령창 인터페이스 (Command Lince Interface) 분석 지원
◾지원하는 운영 체제 : Windows, Linux
◾지원하는 언어 : C, C++, Java
◾분석 가능한 소스코드 라인수: 최대 500,000 라인에 대한 소스코드 분석
◾검출결함: 공동취약점목록(CWE), 보안코딩규칙(CERT), 美 정보체계국 보안 기술 도입 가이드 (DISA-STIG)를 포함한 100가지 이상의 결함 검출
◾지원하는 Compiler : Visual Studio, gcc, g++, ARM, WindRiver, CodeWarrior, Renesas C/C++, Sun C, Sun C++, Microsoft C, TI CodeComposer C, WindRiver C/C++, Green Hills C, GNU Project C/C++, IAR, Intel C/C++, Hi-Tech C, QNX C/C++, SHARC, TigerSHARC, Blackfin 등
◾Eclipse, Visual Studio Plug-in 지원
◾사용자 관리 ID 및 설치 PC 개수 무제한