Polyspace Bug Finder analiza código de software embebido en C/C++ para comunicar defectos de codificación, desviaciones de reglas de codificación y métricas de código. Utiliza análisis estático basado en interpretación abstracta para identificar más de 350 tipos de defectos de codificación, como desbordamientos al almacenar en buffer, errores de división por cero, problemas de concurrencia y otros fallos de seguridad.
Polyspace Bug Finder realiza comprobaciones de conformidad con las reglas de codificación MISRA C™:2023, MISRA C++:2023, AUTOSAR C++14, CERT® C/C++ y CWE™. También calcula métricas de código como la complejidad ciclomática. Incluso puede crear sus propios defectos y estándares de codificación para respaldar los requisitos de su organización.
Puede integrar Polyspace Bug Finder con Polyspace Test para combinar la verificación y prueba de código, compartir la misma configuración del proyecto y la complementariedad de la herramienta para facilitar la clasificación de resultados. La integración con Simulink permite la configuración automatizada y la trazabilidad del código generado.
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).
Detecte errores y vulnerabilidades
Detecte más de 350 defectos en C/C++, como errores de seguridad, memoria, numéricos y concurrencia, utilizando análisis estático. Incorpore sus propias comprobaciones a las ya integradas. Identifique las causas raíz de errores complejos con una vista de depuración, seguimiento de eventos y gráficos de llamadas.
Cumpla con estándares de codificación
Compruebe el cumplimiento con MISRA C:2023, MISRA C++:2023, AUTOSAR C++14, CERT C/C++, CWE e ISO/IEC TS 17961. Cree estándares de codificación personalizados para cumplir las reglas específicas del grupo de trabajo.
Pruebas estáticas de la seguridad de aplicaciones
Detecte problemas de seguridad e identifique la cadena de eventos que conducen a vulnerabilidades. Garantice el cumplimiento de codificación segura con comprobaciones conformes con CERT C/C++, CWE e ISO/IEC TS 17961.
Soporte para certificación
Cree los artefactos necesarios para completar el proceso de certificación de conformidad con estándares de protección y seguridad de la industria como IEC 61508, ISO 26262, ISO/SAE 21434 o DO-178C hasta los máximos niveles de protección o seguridad funcional. Justifique las desviaciones y genere informes de análisis detallados.
Integración con Simulink
Analice el código generado por Embedded Coder o dSpace TargetLink® y rastree los resultados hasta los bloques de Simulink o gráficos de Stateflow. Inicie análisis desde Simulink para obtener una configuración optimizada y trazabilidad.
Calcule métricas de código
Calcule la complejidad ciclomática y otras métricas para mejorar la mantenibilidad y la capacidad de prueba del código C/C++. Aplique umbrales de métricas de código empleando los comprobadores de Polyspace.
Supervise la calidad del proyecto
Supervise la calidad del proyecto con paneles que incluyen tablas y gráficos de defectos, reglas de codificación y métricas de código. Profundice desde el nivel del proyecto hasta archivos individuales para centrarse en resultados específicos del análisis de código.
Analice código con el comportamiento en tiempo de ejecución
Cree automáticamente una configuración de Polyspace a partir de una compilación. Configure opciones de compilador, plataforma objetivo y RTOA. Modele interrupciones, hilos y tareas para detectar defectos de concurrencia, condiciones de carrera e interbloqueos.
Combine el análisis estático con pruebas dinámicas
Gestione el análisis estático con Polyspace Bug Finder y Polyspace Code Prover y las pruebas con Polyspace Test, que abarcan configuración del proyecto, ejecución y revisión, todo en una única interfaz. Combine los flujos de trabajo de pruebas y análisis de código para identificar pruebas poco fiables, justificar ramas de código inaccesibles o respaldar requisitos complejos de cobertura de código.
Recursos del producto:
"Con Polyspace, podemos garantizar la seguridad y calidad del software identificando y corrigiendo errores críticos en tiempo de ejecución antes de cada combinación de códigos".
Línea de productos de Polyspace
Los productos de Polyspace logran que el código crítico sea seguro y esté protegido, probando y supervisando la calidad de software a lo largo del ciclo de desarrollo.
Polyspace Access
Identifique errores de codificación, revise resultados de análisis estático y supervise métricas de calidad de software.
Polyspace Copilot
Asistente de IA optimizado para Polyspace.
Polyspace Test
Desarrolle, gestione y ejecute pruebas de código C y C++ en sistemas embebidos.
Polyspace as You Code
Identifique infracciones de estándares de codificación y vulnerabilidades de software desde IDE.
Polyspace Test Server
Ejecute pruebas y analice la cobertura estructural de código C/C++ en servidores de automatización.
Polyspace Code Prover Server
Verifique continua y exhaustivamente instrucciones de código C y C++ críticas en flujos de integración continua.
Polyspace Bug Finder
Compruebe reglas de codificación, estándares de seguridad y métricas de código, y detecte bugs.
Polyspace Client for Ada
Verifique exhaustivamente unidades de instrucciones Ada críticas utilizando métodos formales.
Polyspace Bug Finder Server
Identifique defectos de software y aplique reglas de codificación en flujos de integración continua.
Polyspace Server for Ada
Realice verificación de código en clusters de escritorio y publique las métricas
Polyspace Code Prover
Verifique exhaustivamente las instrucciones C y C++ más críticas utilizando métodos formales.
Preguntas frecuentes sobre Polyspace Bug Finder
Polyspace Bug Finder es una aplicación de escritorio de análisis estático que identifica errores, violaciones de reglas de codificación y métricas de calidad del código en código C y C++.
Polyspace Bug Finder detecta más de 350 tipos de defectos de programación en C/C++, incluidos errores numéricos, de flujo de datos, de memoria, de concurrencia y errores generales de programación que pueden causar fallos en tiempo de ejecución o problemas de seguridad.
Polyspace Bug Finder comprueba el código C/C++ frente a normas de codificación de la industria, incluyendo MISRA C, MISRA C++, AUTOSAR C++14, JSF++, CWE, CERT C y CERT C++, y admite la aplicación de reglas de codificación personalizadas y convenciones de nomenclatura.
Polyspace Bug Finder aplica métodos de análisis estático, incluido el análisis semántico, para analizar el flujo de control, el flujo de datos y el comportamiento interprocedimental del código C/C++ sin requerir la ejecución del código.
Polyspace Bug Finder identifica errores, violaciones de reglas de codificación y métricas de calidad del código en proyectos completos durante la integración y la verificación. Polyspace Code Prover utiliza métodos formales para demostrar exhaustivamente la ausencia de determinados errores de tiempo de ejecución. Polyspace as You Code ejecuta un subconjunto de los análisis de Polyspace Bug Finder directamente en el IDE para ayudar a los desarrolladores a detectar problemas mientras escriben código.
Polyspace Bug Finder se utiliza de forma interactiva en una interfaz de escritorio, mientras que Polyspace Bug Finder Server está optimizado para análisis automatizados en flujos de trabajo de CI y para compartir resultados a través de Polyspace Access.
Sí. Puede analizar código generado automáticamente, con resultados trazables hasta los modelos de Simulink y los bloques de dSPACE TargetLink. Cuando se ejecuta desde Simulink, el análisis se configura automáticamente en función del modelo y de los ajustes de generación de código.
Admite flujos de trabajo de certificación para IEC 61508, ISO 26262, EN 50128, EN 50657, IEC 62304, ISO 25119 y DO‑178C/ED‑12C mediante kits de certificación y calificación, con orientación adicional para ISO/SAE 21434 y Automotive SPICE.
Genera informes de errores detectados, violaciones de reglas de codificación y métricas de calidad del código, como la complejidad ciclomática. Una revisión más detallada y con mayor contexto está disponible en la aplicación de escritorio de Polyspace.
Polyspace Bug Finder y Polyspace Test comparten la misma aplicación de escritorio y la misma configuración de proyecto, lo que permite una revisión unificada de los resultados de análisis estático y dinámico.
