본문 바로가기

Coverity

최신 정적 분석 시장 규모 자료입니다. 최신 정적 분석 시장 자료입니다. 더보기
Coverity 관련 만화.. Coverity를 사용하는 회사의 어떤분이 그리셨다고 합니다. 감사드려요..~ 더보기
Coverity를 사용하고 있는 곳.. 현재 Coverty를 이용하여 소스 코드 분석을 수행하고 있는 레퍼런스입니다. 삼성전자 : 14개 사업부 삼성광주전자 삼성테크윈 LG전자 : 3개 사업부 LCD TV연구소, HE Media, BS Company 한국GE 휴맥스 네오플 이미르 ETRI KTFT 골프존 인프라웨어 디오텍 Coverity를 이용하여 컨설팅을 진행했거나 사용했던 사이트입니다. LG Telecom 어울림정보기술 가온미디어 뉴그리드테크놀로지 더보기
정적 분석 결과 : 안드로이드 소스코드에 고위험(High Risk) 결함 있다. Coverity에서 Android 소스 코드를 분석했습니다. ‘Coverity Scan : 2010 리포트’에서 밝히는 Android 오류의 내용중에 에서의 주목할만한 내용은 다음과 같고.. 자세한 내용은 첨부 자료를 참조하십시오. 안드로이드 커널 2.6.32 (프로요)의 분석 결과 359개의 소프트웨어 버그가 검출됨. 그 중 88개는 보안취약점과 시스템 충돌을 일으킬 수 있는 고위험(High Risk)급임. 커버리티 스캔에서 분석된 오픈소스 프로젝트 전체를 분석하여 검출된 버그의 절반이상이 고위험(High Risk)급임. 오픈소스 코드에서 주로 발견되는 버그들은 Memory corruption, NULL pointer dereferences, Resource leaks 이었으며 이는 시스템다운 및 보안.. 더보기
무료 코드 검증 서비스 Coverity의 코드 검증 기술을 느끼실 수 있도록 엔지니어가 직접 방문하여 실제 개발중인 코드의 버그를 잡아드리고 있습니다. 아래의 내용을 채우셔서 메일로 보내 주시면 방문해서 코드 검증을 해 드리도록 하겠습니다. 공통 회사명 성함 직책 연락처 e-mail 대상 업무명 혹은 제품명? C/C++ 빌드머신의 프로세서 및 운영체계 명 빌드시 사용되는 컴파일러 명 분석 대상 소스코드 (추정) 라인수 Java 개발머신의 종류 및 운영체계 사용하는 JDK의 종류와 버전 분석 대상 소스코드 (추정) 라인수 mail : thomas@esonsoft.com 더보기