Korea
MicroSystem Inc.

Email : info@microsystem.kr

Tel     : +82-70-7721-5544    

Fax   : +82-2-6280-3855

© Copyright 2018 

Korea MicroSystem Inc.
All rights reserved

솔루션 개요

  • 정적 분석 (Static Analysis) 시장점유율 1위 (41% 점유율, VDC Research 기준)

  • 탁월한 SW 결함 탐지 및 친절한 해결 방안

  • 런타임 오류 및 취약점 점검 (CWE Compatible 인증 획득)

  • 코딩 규칙 점검(MISRA-C:2004, MISRA-C++:2008, MISRA-C:2012, PCI-DSS 등)

  • 소스코드 복잡도 분석 (HIS metrics, 소스코드 메트릭 등)

  • 방위사업청 SW 신뢰성 평가(코딩 규칙, 취약점 분석, 메트릭) 통합 지원

장점

  • 업계 최저 오탐율(False Positive Rate)

  • 취약점, 코딩규칙, 복잡도 분석, 보안 취약점 등을 하나의 솔루션에서 모두 지원

  • 최적화된 알고리즘으로 짧은 분석 시간 소요

  • 개발자에게 Step-by-Step으로 이해하기 쉬운 개선 가이드 제공

  • 600개 이상의 오픈 소스(Linux, Hadoop, Python, NTLR, PHP 등)에 적용

  • 소프트웨어 취약점와 보안 취약점(OWASP, CWE) 동시 탐지

  • 방위사업청 소프트웨어 신뢰성시험 지원

    • 방위사업청 소프트웨어 정적(Static) 시험 3 종류를 솔루션 하나로 완벽 지원

      • 코딩규칙 : MISRA-C:2004, MISRA-C++:2008, MISRA-C:2012

      • 취약점 점검 : CWE-658, CWE-659, CWE-660

      • 소스코드 메트릭 점검 : 방산청 6개 항목 + HIS metric 항목

  • 자동차 소프트웨어 표준 분석

    • MISRA-C (MISRA-C:2004, MISRA-C++:2008, MISRA-C:2012) 100% 지원

    • HIS metrics (BMW, VW 등이 개발한 소프트웨어 복잡도 측정 모델)

    • ISO 26262 인증

지원 언어와 지원 프레임워크

  • Node.js

  • Ruby

  • Android

  • Swift

  • Fortran

  • Scala

  • VB.NET

  • iOS

  • C/C++

  • C#

  • Java

  • JavaScript

  • PHP

  • Python

  • ASP.NET

  • Objective-C

  • JSP

주요 고객 

세계 10대 브랜드 기업 중 8 업체

​세계 10대 소프트웨어 기업 중 9 업체

세계 10대 하드웨어 기업 중 9 업체

세계 10대 국방항공 기업 중 7업체

Coverity를 사용하고 있습니다.

자동차 분야

​국방 항공 분야