은폐성

Coverity
커버리티, Inc. - A Synopsys 회사
유형공공의
산업보안 테스트, 정적 프로그램 분석, 소프트웨어 개발
설립됨2002년 11월(2002-11)
운명2014년 Synopsys에 인수
본부이전에 샌프란시스코, 캘리포니아
주요인
제이슨 슈미트(현 GM)
상품들Coverity Code Advisor, Coverity Code Advisor on Demand, Coverity Scan, Coverity Test Advisor, Seeker
직원수
250+
부모시놉시스
웹사이트synopsys.com/software-integrity.html

CoveritySynopsys독점적정적 코드 분석 툴이다.이 제품은 엔지니어와 보안팀이 소프트웨어 결함을 찾아 고칠 수 있게 해준다.

Coverity는 2002년 캘리포니아주 팔로 알토에 있는 스탠포드 대학교의 컴퓨터 시스템 연구소에서 독립 소프트웨어 회사로 시작했다.벤자민 셸프, 앤디 츄, 세스 할렘이 스탠퍼드대 도슨 엥글러 교수와 함께 기술고문으로 설립했다.본사는 샌프란시스코로 이전되었다.2008년 6월에 Coverity는 Solidware Technologies를 인수했다.[1]커버리티는 2014년 2월 전자설계자동화 업체인 시놉시스가 수중에 있던 현금 3억5000만달러에 인수하는 계약을 발표했다.[2]

상품들

CoverityC, C++, C#, Java, JavaScript, PHP, Python, 정적 코드 분석 툴이다.네트, ASP.NET, Objective-C, Go, JSP, Ruby, Swift, Fortran, Scala, VB.NET, iOSTypecript.또한 자바, 자바스크립트, C# 및 기타 언어에 대해 70개 이상의 다른 프레임워크를 지원한다.[3]

커버리티 스캔오픈 소스 커뮤니티를 위한 무료 정적 분석 클라우드 기반 서비스다.

적용들

2006년 미국 국토안보부 계약에 따르면, 이 도구는 150개 이상의 버그 오픈 소스 애플리케이션을 검사하는데 사용되었고, 스캔 결과 발견된 6,000개의 버그는 53개의 프로젝트에 걸쳐 수정되었다.[4]

미국도로교통안전청은 2010~2011년 도요타 차량의 급발진 보고에 대한 조사에서 이 도구를 사용했다.[5][6]도구는 CERN이 화성 탐사선 큐리오시티의 비행 소프트웨어 개발 과정에서 대형 하드론 충돌기[7][8]NASA 제트 추진 연구소에서 채용한 소프트웨어에 사용하였다.[9]

참조

  1. ^ Krill, Paul (2008-06-30). "Coverity buys Solidware to boost code analysis". Infoworld.com. Archived from the original on 2008-10-10. Retrieved 2011-01-29.
  2. ^ "Synopsys Enters Software Quality and Security Market with Coverity Acquisition". PR Newswire. 2014-02-19. Retrieved 2014-02-20.
  3. ^ "Coverity Static Analysis Data Sheet" (PDF). Synopsys.com. Retrieved 2019-07-15.
  4. ^ [:"Archived copy". Archived from the original on June 14, 2009. Retrieved May 4, 2006.{{cite web}} CS1 유지관리: 제목(링크)으로 보관된 사본"LAMP는 오픈 소스 보안의 길을 열어준다." – ZDNet
  5. ^ "미국, 주요 도구를 사용하여 도요타 가속도 관련 소프트웨어 조사" 2013-05-26년 웨이백 머신보관
  6. ^ "도요타자동차의 의도치 않은 가속도 조사에 대한 미국도로교통안전청 기술지원"
  7. ^ "CERN, 대형 하드론 충돌기 소프트웨어의 정확성을 보장하기 위해 커버리티를 선택"
  8. ^ "과학적 연구 개선: CERN 및 Coverity 정적 분석"
  9. ^ "커버리티: 화성 탐사 로봇 큐리오시티의 '우주 의사' 우주에서 버그 사냥 중"