본문 바로가기

정적분석

최신 정적 분석 시장 규모 자료입니다. 최신 정적 분석 시장 자료입니다. 더보기
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 Coverity Static Analysis Technology는 최고의 정밀성과 확장성을 약속합니다. 세계에서 가장 널리 쓰이고 정확도를 인정받고 있습니다. 핵심기능 Coverity Static Analysis Technology는 최고의 정밀성과 확장성을 약속합니다. - 전체적이고 심도 깊은 분석을 통해 소프트웨어 오류와 보안 취약점을 검출해 냅니다. - 소프트웨어가 실행되는 경로를 100% 탐색, 분석하여 사용자가 테스트 하기 힘든 경로를 완벽히 분석합니다. - 소스코드 또는 빌드 과정의 변경 없이 자동화된 실행을 지원합니다. - 수천만 라인까지의 대규모 코드도 빠르게 분석이 가능합니다. - 테스트케이스 작성 혹은 프로그램 실행을 필요로 하지 않습니다. - 소프트웨어 문제의 근본원인을 정확하게 찾아.. 더보기