English : Japanese : Contact : Sitemap

정적분석

코드 점검/검증부터 시스템 테스트까지 지원하는 정적/동적 통합 도구

(no False Positive) 자료 흐름 분석과 실행 경로 기반 코드 결함 점검/검증

(No Rule Option) Cross Function의 올바른 실행 순서로 정확한 자료 흐름 분석

지원 언어

(Procedural Language) C

(OO Language) C++, C#, Java

(Web Language) JavaScript, JSP, Flex

(Big Data Language) Python, R

(Mobile Language) iOS(Objective-C, Swift), Android(Android-Java, Kotlin)

(SAP Language) ABAP

국내외 인증

ISO 26262, IEC 62279, IEC 61508, EN 50128 인증

CWE Compatibility (보안 적합성 인증)

GS(1등급), NEP(신제품 인증서), 우수제품지정증서

MISRA C, MISRA C++ Copyright License 협약 (MIRA LIMITED)

ABAP 국내외 특허 등록: 한국, 미국, 호주, 일본, 중국

코드 점검 표준 준수

코딩 가이드 점검
  - (방사청 무기체계 SW 정적 시험) C, C++, C#, Java 코딩 코딩 가이드
  - (ISO 26262) MISRA C, MISRA C++, AUTOSAR C++
  - (DO 178B) JPL C & Java, BSSC Java, JSF++
  - (IEC 62304) HealthCare C++, (ISO 61508/62279) Railway C
  - (Oracle) Java Code Conventions, (Microsoft) C# Code Conventions

Run-time Error 점검
- CWE-658(for C), CWE-659(for C++), CWE-660(for Java)
- 차량용 임베디드 Run-time Error 점검(for C, C++)

보안 취약점 점검
  - (방사청 무기체계 SW 정적 시험) C, C++, C#, Java 취약점 및 보안약점
  - CWE(v 4.13), OWASP(2021), CERT(C, C++, Java)
  - 행안부 소프트웨어 개발보안 가이드(2021): C, C++, Java
  - 행안부 모바일 보안 취약점 점검 가이드(2021): iOS, Android
  - 금융회사 IT부문 취약점: C, C++, Java, iOS, Android
  - 전자금융감독규정: C, C++, Java
  - 국정원 취약점: C, C++, Java
  - 차량용 임베디드 보안 코딩 가이드: C, C++, Java
  - SAP ABAP Backdoor

코드 품질 측정/평가
- (방사청 무기체계 SW 정적 시험) 소스코드 메트릭
- (차량용 임베디드 코드 품질 평가) MISRA Software Metrics, HIS Source Code Metrics

C, C++, C# 정적분석도구 - 산업별 표준 지원

C, C++, C# 정적분석도구는 컴파일러 빌드 과정 없이 최상위 코드 결함 검증 기술인 Inter-procedural Path Analysis로 코드 결함과 보안 허점을 점검/검증하여 코드의 신뢰성(reliability), 안전성(safety), 보안성(security), 코드 품질(code metrics)을 모두 점검하는 통합 정적분석도구입니다.

Java(JSP)정적분석도구 - 산업별 표준 지원

Java(JSP) 정적분석도구는 컴파일러 빌드 과정 없이 최상위 코드 결함 검증 기술인 Inter-procedural Path Analysis로 코드 결함과 보안 허점을 점검/검증하여 코드의 신뢰성(reliability), 안전성(safety), 보안성(security), 코드 품질(code metrics)을 모두 점검하는 통합 정적분석도구입니다.

ABAP 정적분석도구 – SAP 가이드 표준 지원

SAP ABAP의 정적분석도구는 컴파일 과정 없이 원시 소스코드를 분석하고, Inter-procedural Analysis 기술 기반으로 SAP의 신뢰성(코딩 표준), 안전성(Run-time Error), 보안성(보안 취약점)의 표준들을 통합점검하는 정적분석도구입니다.