Coverity Prevent 는 Interprocedural 분석 엔진을 통해 코드내의 모든 경로를 분석하여 다음과 같은 시스템 장애 , 프로세스크래쉬 , 메모리 및 리소스 누수 , 파일 / 데이터 손상 그리고 기타 퍼포먼스관련 오류를 검출해 냅니다 .
• API usage errors
• Buffer overflow
• Dangling stack references
• Flawed branch logic
• Incorrect allocation sizes
• Logic errors
• Memory leaks
• Non-null terminated strings
• Null pointer dereferences
• Out-of-bounds array access
• Stack overflow
• Stack smashing
• Stack string overruns
• System resource leaks
• Use of freed resources
• Use of uninitialized data
지원 API:
• Standard C
• Standard C++
• Microsoft COM
• Microsoft Win32
Coverity Prevent 는 다음과 같은 보안 취약점을 검출해 냅니다 .
• Buffer overflows
• Cross-site scripting
• Denial of service
• File corruption
• Format string vulnerabilities
• Improper bounds checking
• Insecure access control
• Integer overflows
• Memory corruption
• Out-of-bounds array access
• Privilege escalations
• SQL injection
지원 API:
• Standard C
• Standard C++
동시성 오류는 테스팅 단계에서 확인되는 경우가 거의 없고 실 운영에서 나타나는 특히 검출하기 어려운 오류로입니다 . Coverity Prevent 는 데드락 (deadlock) 혹은 lock 을 다루는 문제 (lock contention) 같이 시스템 퍼포먼스와 데이터의 정합성 문제를 유발할수 있는 동시성 오류를 검출해 냅니다 .
지원 API:
• Pthreads
• Microsoft Win32
• WindRiver VxWorks
정확성 (Accuracy) - Coverity 사의 False Path Pruning, Statistical Analysis 등의 혁신적인 알고리즘을 통해 양성오류의 비율을 20% 이하로 낮추었으며 추가 설정 및 튜닝을 통해 양성오류를 더 낮출수 있습니다 .
깊이있는 분석 (Depth of Analysis) - Coverity Prevent 는 interprocedural data flow analysis 와 statistical analysis 를 통해 프로그램 전체와 모든 패스를 망라하는 상호작용 (interactions) 을 분석합니다 . 다른 경쟁툴과는 달리 Coverity Prevent 는 귀사의 코드를 완벽하게 이해하고 분석합니다 .
광범위한 분석 (Breadth of analysis) - Coverity Prevent 는 시스템장애 , 메모리누수 , 비정상적인작동 , 동시성오류 , 보안취약점 검출 등의 소프트웨어의 치명적인 오류를 분석해냅니다 .
낮은 총소유비용 (Low total cost of ownership) - Coverity Prevent 는 개발환경 혹은 코드의 변경이 필요없이 수십분안에 설치가 완료되어 즉시 프로그램 기동이 가능합니다 .
분석범위 확장 (Extensible) - Coverity Prevent 는 귀사의 조직 특성에 맞는 오류체커를 정의하여 사용할 수 있습니다 .
대규모분석 (Massively scalable) - Coverity Prevent 는 빌드시간의 2~4 배정도의 시간이면 분석이 완료되며 수천만라인의 코드의 경우도 수시간안에 분석이 완료 됩니다 .
|
