|
|
|
신뢰성(Reliability), 안전성(Safety), 보안성(Security)의 코드 결함을 동시 점검함과 더불어 SW Metrics도 함께 측정/평가하는 통합 정적 분석 도구
 주요 기능
(Language) C, C++, C#, Java(JSP), JS, Python, Flex, ABAP, Objective-C, Android
(No Configuration) 코드 컴파일 과정이 없는 소스 코드 분석
(No False Positive) Inter-procedural Path Analysis 코드 결함 분석
(Fully Coverage) 신뢰성(Reliability), 안전성(Safety), 보안성(Security) 코드 결함 모두 점검
(SW Metrics) MISRA Software/HIS Source Code Metrics, ISO 9126 Quality Metrics
(Interworking) SDLC의 형상관리 등과 연동을 통한 코드 검증 자동화 프로세스 환경 구축
RESORT 제품 품질 인증
GS(1등급) 인증
MISRA C, MISRA C++ Copyright License 협약 (MIRA LIMITED: 2010)
IEC 61508, EN 50128 인증 (DNV GL Business Assurance: 2014)
ISO 26262 인증 (DNV GL Business Assurance: 2017)
CWE Compatibility (보안 적합성) 인증 (C, C++, Java, JS, ABAP: 2016)
ABAP 국제 특허 등록: 미국, 호주, 일본, 중국, (출원) 유럽, 인도
적용분야
임베디드 코딩 표준
-무기체계 SW 정적시험: C, C++, C#, Java 코딩 규칙
-MISRA C:2012 & C++:2008 (ISO 26262), JPL C & Java, BSSC Java (DO 178B)
-JSF++(DO 178B), HealthCare C++ (IEC 62304), Railway C (ISO 61508/62279)
-Java Code Conventions(Oracle), C# Code Conventions(Microsoft)
보안 취약점 표준
-CWE(v 3.2), OWASP(2017)
-Juliet Test Suite for C/C++, Java, C#(v1.3)
-행안부 개발보안 가이드: Java, C/C++, C#
-SAP ABAP Backdoor
런-타임 에러 표준
-(무기체계 SW 정적시험) CWE-658(for C), CWE-659(for C++), CWE-660(for Java)
SW 품질 표준
-(무기체계 SW 정적시험) MISRA Software Metrics, HIS Source Code Metrics
-ISO 9126 Maintainability Quality Metrics
운영환경
Platforms
-Windows, Linux, UNIX, Solaris, AIX, Mac OS 등
System Requirements
-JDK 1.7 이상
-Memory : 4GB(기본), 8GB 이상(권장)
-Hard Disk : 100M 이상의 하드 디스크 여유공간
IDE Plug-in
-Eclipse, UltraEdit, Intellij, Android Studio, MS Visual Studio, IBM RSA, Developer, Xcode
-(CI-Server) Hudson, Jenkins
RESORT 정적분석 프로세스
|
|
|
|
