4
Coverity Scan Static Analysis를 사용하면 Java, C / C ++ 또는 C # 오픈 소스 프로젝트의 결함을 무료로 찾아서 수정할 수 있습니다.모든 코드 라인과 잠재적 인 실행 경로를 테스트합니다.각 결함의 근본 원인이 명확하게 설명되어 버그를 쉽게 수정할 수 있습니다.2006 년, Coverity Scan 서비스는 오픈 소스 소프트웨어 품질 및 보안에 중점을 둔 세계 최대의 공공-민간 부문 연구 프로젝트로서 미국 국토 안보부에서 시작되었습니다.Coverity는 이제 프로젝트를 관리하고 개발 테스트 기술을 오픈 소스 커뮤니티에 무료 서비스로 제공하여 소프트웨어 개발 프로세스에 품질과 보안을 구축 할 수 있도록합니다.... Coverity를 사용하는 오픈 소스 프로젝트 목록은 다음을 참조하십시오.
coverity-scan
웹 사이트:
https://scan.coverity.com/카테고리
라이센스가있는 모든 플랫폼에서 Coverity Scan를 대체
20
Cppcheck
Cppcheck는 C / C ++ 코드를위한 정적 분석 도구입니다.C / C ++ 컴파일러 및 기타 여러 분석 도구와 달리 코드에서 구문 오류를 감지하지 못합니다.
15
PVS-Studio
PVS-Studio는 C, C ++ 및 C # 응용 프로그램의 소스 코드에서 오류를 감지하는 정적 분석기입니다.
2
2
1
0
Clang Static Analyzer
Clang Static Analyzer는 C, C ++ 및 Objective-C 프로그램에서 버그를 찾는 소스 코드 분석 도구입니다.
0