커버리티

커버리티(Coverity)는 Synopsys에서 제공하는 애플리케이션 보안 테스팅 솔루션으로 정적 분석 도구이다.

커버리티
Coverity, Inc.
형태비상장
산업 분야소프트웨어
창립2002년11월
본사 소재지샌프란시스코, 캘리포니아
핵심 인물
CEO: Anthony Bettencourt
CTO: Andy Chou
제품Static Analyzer, Dynamic Analyzer, Architecture Analyzer, Integrity Control
종업원 수
170
웹사이트http://www.coverity.com

제품편집

Coverity Static AnalyzerC, C++, C#, Java 소스 코드정적분석 툴이다. Stanford Checker[1]라는 이름으로 개발된 프로젝트가 상용화 된 제품이다.

Coverity Dynamic AnalyzerJava 소스 코드를 분석하기위한 툴이다. 2008년에 처음 출하되었고[2], 경합조건, 데드락, 불필요한 synchronization을 검출해내는 용도로 사용된다.

그 밖의 제품으로는 Coverity Architecture Analyzer, Coverity Integrity Control이 있다.

오픈 소스에 대해 자사의 정적분석을 수행하여 검출된 결함들을 자사가 운영하는 Scan (http://scan.coverity.com/) 사이트를 통해 오픈 소스 그룹에 공개하고 있다.

미국 스탠퍼드, 카네기멜론, 버클리 등의 대학교와 산학협력을 맺고 있다. 2011년 2월에 아시아 지역에서 최초로 KAIST와 산학협력을 체결하였다.[3]

2011년 9월, 유럽 입자물리 연구소(CERN)가, 강입자 충돌기(LHC)의 데이터를 분석하는 소프트웨어의 품질을 측정하기 위해 커버리티를 도입했다.[4]

참고편집

외부 링크편집