Polyspace Bug Finder

Identifique bugs de software mediante análisis estático

Identificación de bugs y vulnerabilidades de software

Identifique varias categorías diferentes de bugs, tales como vulnerabilidades de seguridad, simultaneidad y defectos numéricos. Configure el análisis para cualquier compilador, procesador de destino o entorno RTOS.

Conformidad con estándares de codificación

Aplique estándares de codificación de software integrados tales como MISRA C y MISRA C++, AUTOSAR C++14, JSF++ y convenciones de nomenclatura personalizadas.

Pruebas estáticas de la seguridad de aplicaciones

Garantice la seguridad del código detectando vulnerabilidades y problemas de seguridad. Cumpla con estándares y directrices de codificación de seguridad tales como CERT C/C++, CWE, ISO 17961, and MISRA C:2012 Amendment 1.

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 tales como IEC 61508, ISO 26262, ISO/SAE 21434 o DO-178C hasta los máximos niveles de protección o seguridad funcional.

Integración de Simulink y Stateflow

Analice el código generado y sigua los resultados desde el código fuente hasta el bloque de modelo de Simulink o el gráfico de Stateflow correspondiente. Inicie el análisis de Polyspace desde el entorno de Simulink.

Supervisión de la calidad del software

Genere métricas de código para medir y mejorar la calidad del código fuente. Compare los resultados del análisis con umbrales de calidad.

Análisis interactivo en equipos de escritorio

Ejecute análisis y revise los resultados en equipos de escritorio. Identifique las causas raíz de bugs complejos con una vista de depuración, seguimiento de eventos y gráficos de llamadas. Solucione problemas y genere informes.

“Polyspace garantiza la seguridad y calidad del software identificando y corrigiendo errores críticos en tiempo de ejecución antes de realizar una combinación de códigos.”

Johannes Foufas, Volvo Cars