|
|
|
Inter-procedural Control & Data Flow Analysis 기반 모든 코드 결함을 동시 점검함과 더불어 SW Metrics도 함께 측정/평가하는 국산 정적 분석 도구
 주요 기능
(Language) C, C++, C#, Java(JSP), JavaScript, Flex, ABAP, Mobile(iOS, Android)
(No Configuration) 컴파일러 환경설정 없는 소스 코드 분석
(Fully Coverage) 코드 결함 동시 점검 (임베디드 코딩 표준, 실행시간 오류, 보안 취약점)
(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), Java Code Conventions(Oracle), C# Code Conventions(Microsoft)
-JSF++(DO 178B), HealthCare C++ (IEC 62304), Railway C (ISO 61508/62279)
코드 취약점 표준
-Juliet Test Suite C/C++, Java
-CWE, OWASP, 행자부 개발보안(시큐어 코딩) 가이드: Java, C/C++
-SAP ABAP Backdoor
실행시간 오류(Run-time Error)
-(무기체계 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.5.x 이상
-Memory : 2GB(기본), 4GB 이상(권장)
-Hard Disk : 100M 이상의 하드 디스크 여유공간
IDE Plug-in (for plugin version only – not required for standalone version)
-Eclipse, UltraEdit, Intellij, Android Studio, MS Visual Studio, IBM RSA, Developer, Xcode
-(CI-Server) Hudson, Jenkins
RESORT 정적분석 및 코드 품질 검증 프로세스 자동화
|
|
|
|
