Polyspace Bug Finder
Polyspace® Bug Finder™ identifica errores en tiempo de ejecución, problemas de simultaneidad, vulnerabilidades de seguridad y otros defectos en software integrado C y C++. Usando análisis estático, incluido el análisis semántico, Polyspace Bug Finder analiza las estructuras de control, el flujo de datos y el comportamiento interprocedimental del software. Permite clasificar y corregir fallos en una etapa temprana del proceso de desarrollo, ya que resalta los defectos en cuanto se detectan.
Polyspace Bug Finder comprueba la conformidad con estándares de reglas de codificación tales como MISRA C™, MISRA C++, JSF++, CERT® C y CERT C++, y con convenciones de nomenclatura personalizadas. Genera informes que incluyen bugs de software, infracciones de reglas de codificación y métricas de calidad del código, incluida la complejidad ciclomática. Polyspace Bug Finder puede utilizarse con el IDE Eclipse™ para analizar código en el escritorio.
Para código generado automáticamente, los resultados de Polyspace se pueden rastrear hasta los modelos de Simulink® y los bloques de dSPACE® TargetLink®.
El soporte para estándares de la industria está disponible a través de IEC Certification Kit (for ISO 26262 and IEC 61508) y DO Qualification Kit (for DO-178).
Introducción a PolyspaceBug Finder
Aprender los aspectos básicos de Polyspace Bug Finder
Instalar Polyspace
Instale productos de Polyspace para realizar análisis en escritorios, servidores o IDE
Configurar y ejecutar análisis
Configure un análisis de Polyspace Bug Finder en el escritorio, servidor o IDE
Revisar resultados de análisis
Revise los resultados de Polyspace Bug Finder en la interfaz de usuario de escritorio de Polyspace, en un navegador web o IDE
Cualificación y certificación de herramientas
Cualifique Polyspace Bug Finder para la certificación DO e IEC
Resolver problemas de Polyspace Bug Finder
Resuelva problemas inesperados de Polyspace Bug Finder