정적소스코드 분석 - Coverity

소스 코드의 지속적인 탐지와 빠른 분석을 통해 다양한 언어의 소프트웨어 품질 목표를 달성할 수 있도록 지원하는 솔루션 입니다.

서비스소개

정적소스코드 분석 - Coverity

  • 정적분석 시장점유율 1위

    VDC Research 기준 정적분석 시장점유율 1위로, 빠른 분석 속도, 높은 정탐률, 손쉬운 적용이 가능한 수정 가이드, 다양한 언어를 지원 합니다.

  • 다양한 코딩 규칙 및 검증 지원

    MISRA C/C++, CERT C/C++, AUTOSAR 등 다양한 코딩규칙, CWE, 소스코드 메트릭(HIS Metrics) 및 런타임 에러 검증을 지원합니다.

  • 즉각적인 대처 가능

    결함이 발견된 경우, 개발자는 디버깅을 위해 시간을 낭비하지 않고 관련된 오류 수정 작업에 즉각적인 대처를 할 수 있습니다.

기대 효과

심각한 오류와 취약성 검토

치명적인 버그 및 보안 취약점을 탐지하고, 위험성에 따른 우선순위 제시
오류를 효과적으로 찾아내고 수정할 수 있도록 지원

모듈간 흐름 분석

SW 규모에 상관없이, 모든 Class, 함수, 파일의 상관관계 및 호출 경로 추적
사람이 찾아낼 수 없는 오류를 찾아 낼 수 있음

업계 최고의 호환성

개발자들이 사용하는 다양한 언어, 컴파일러, 개발환경 지원 및 국제 보안,
품질 표준 준수를 위한 기능 제공
폭 넓은 호환성으로 고객의 광범위한 프로젝트 지원

쉽고 간편한 통합 환경 제공

분석, 통지, 보고 등 개발 프로세스 자동화
고객의 요구와 환경에 맞추어서 폭 넓은 SDLC 자동화 제공

상세 기능

주요 기능

  • 깊고 정확한 분석, 병렬 처리에 의한 빠른 분석, 폭 넓은 분석 스케일을 지원합니다.

  • 심각성과 영향도에 따른 우선순위와 필터링 기능을 제공합니다.

  • 결함에 대한 정확한 원인 경로 제시합니다.

  • 결함을 CWE와 매핑하여 수정 가이드 제공합니다.

  • MISRA C 2004 / MISRA C++ 2008 / MISRA C 2012 / HIS Metrics / Cert-C/C++, AUTOSAR 체크 할 수 있습니다.

  • 600개 이상의 오픈 소스(Linux, Hadoop, Python, NTLR, PHP 등) 프로젝트에서 사용하고 있습니다.

  • 다양한 언어를 지원합니다 : C/C++, C#, Java, JavaScript, .NET Core, ASP.NET, VB.NET, Object-C, PHP, Python, JSP, Go, Ruby, Swift, TypeScript, Scala, etc.