0
LDRA Testbed는 호스트 및 임베디드 소프트웨어 모두를위한 핵심 정적 및 동적 분석 엔진을 제공합니다.LDRA Testbed는 MISRA, JSF ++ AV, CERT C, CWE와 같은 코딩 표준을 준수하는 수단을 제공하며 일반적으로 표준 빌드 및 테스트 프로세스를 거쳐 잠재적 인 문제가되는 소프트웨어 결함의 가시성을 제공합니다.또한 레벨 -A를 포함하여 DO-178B 표준의 요구 사항을 지원하는 구조적 커버리지 분석보고 기능을 통해 테스트 효과 피드백이 제공됩니다.
웹 사이트:
http://www.ldra.com/풍모
카테고리
라이센스가있는 모든 플랫폼에서 LDRA Testbed를 대체
20
Cppcheck
Cppcheck는 C / C ++ 코드를위한 정적 분석 도구입니다.C / C ++ 컴파일러 및 기타 여러 분석 도구와 달리 코드에서 구문 오류를 감지하지 못합니다.
15
PVS-Studio
PVS-Studio는 C, C ++ 및 C # 응용 프로그램의 소스 코드에서 오류를 감지하는 정적 분석기입니다.