Polyspace Bug Finder

주요 특징

  • 정적 분석을 통한C 및 C++ 코드에서 런타임 오류, 데이터 흐름 문제 및 여러 종류의 결함을 검출
  • 대규모 코드 기반에 대한 빠른 분석
  • MISRA-C:2004, MISRA-C++:2008, JSF++에 대한 준수 확인 및 사용자 정의 명명 규칙
  • 순환 복잡도(cyclomatic complexity) 및 기타 코드 메트릭
  • Eclipse™와의 통합
  • Simulink® 모델까지 코드 검증 결과 추적 가능
  • Polyspace Code Prover™ 결과에 높은 접근성
  • 거짓 양성 결과율이 낮은 버그 검출
Static analysis results displayed by Polyspace Bug Finder.

Polyspace Bug Finder에서 표시하는 정적 분석 결과

다음: 정적 분석을 통한 소프트웨어 결함 파악

평가판 사용 Polyspace Bug Finder

평가판 신청

Comprehensive Static Analysis Using Polyspace Products

온라인 세미나 보기