Polyspace Bug Finder

Key Features

  • Detection of run-time errors, data flow problems, and other defects in C and C++ code
  • Fast analysis of large code bases
  • Compliance checking for MISRA-C:2004, MISRA-C++:2008, JSF++, and custom naming conventions
  • Cyclomatic complexity and other code metrics
  • Eclipse™ integration
  • Traceability of code verification results to Simulink® models
  • Access to Polyspace Code Prover™ results
  • Bug detection with low false-positive results
Static analysis results displayed by Polyspace Bug Finder.
Static analysis results displayed by Polyspace Bug Finder.
Next: Identifying Software Defects with Static Analysis

Try Polyspace Bug Finder

Get trial software

Mejores Prácticas para la Verificación y Validación de modelos Simulink y Código C

View webinar