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 Bug Finder
Compruebe reglas de codificación, estándares de seguridad y métricas de código, y detecte errores.
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 Server
Identifique defectos de software y aplique reglas de codificación en flujos de integración continua.
Polyspace Client for Ada
Verifique exhaustivamente unidades de instrucciones Ada críticas utilizando métodos formales.
Polyspace Code Prover
Verifique exhaustivamente las instrucciones C y C++ más críticas utilizando métodos formales.
Polyspace Server for Ada
Verifique continua y exhaustivamente instrucciones de código Ada críticas en flujos de integración continua.
¿Tiene interés en Polyspace Bug Finder?
Siguientes pasos
Navegación de panel
ARTÍCULOS GRATUITOS
Notas de la versión de Polyspace
Navegación de panel
PRODUCTO
