Polyspace Code Prover

Compruebe la ausencia de errores en tiempo de ejecución en el software

Polyspace Code Prover Server comprueba la ausencia de desbordamientos, división por cero, acceso a arrays fuera de límites y otros errores en tiempo de ejecución en código fuente C y C++. Produce resultados sin necesidad de ejecutar programas, instrumentación de código o casos de pruebas. Polyspace Code Prover utiliza el análisis estático y la interpretación abstracta basándose en métodos formales. Se puede aplicar a código manual, generado, o ambos. Cada operación está codificada por colores, que indican si la operación está libre de errores en tiempo de ejecución, inaccesible, comprobada como defectuosa o no comprobada.

Polyspace Code Prover también muestra información sobre los rangos de variables y valores de retorno de funciones, y puede comprobar qué variables superan los límites de rango especificados. Los resultados se pueden publicar en un panel para realizar un seguimiento de las métricas de calidad y garantizar la conformidad con los objetivos de calidad del software.

El soporte para estándares de la industria está disponible a través de IEC Certification Kit (for IEC 61508 and ISO 26262) y DO Qualification Kit (for DO-178).

Uso de resultados de Code Prover y colores en el código fuente.

Comprobación de ausencia de errores críticos en tiempo de ejecución

Analice todas las rutas de código con todas las posibles entradas sin necesidad de ejecutar código. Identifique instrucciones que nunca presentarán un error en tiempo de ejecución, independientemente de las condiciones en tiempo de ejecución, y encuentre las instrucciones que requieran atención.

Documentación

Ayuda contextual que muestra los posibles rangos de condiciones en tiempo de ejecución.

Mejora del diseño de software y la comprensión de código

Utilice código C++ para examinar el flujo de control y datos, y vea información sobre los rangos relacionados con variables y operadores.

Documentación

Detección de código no utilizado en lógica y estructura de un programa.

Optimización del rendimiento del software

Elimine la programación defensiva identificando operaciones seguras y protegidas, tales como la división por cero y los desbordamientos. Detecte ramas de código inaccesibles a través de una ruta de ejecución. Identifique errores de lógica y en la estructura de un programa, y elimínelos para así reducir la superficie de memoria.

Documentación

Panel de visualización de acceso a variables.

Análisis del uso de variables globales

Reduzca el tiempo de depuración de operaciones de lectura/escritura en variables globales, incluidas las variables compartidas por tareas o subprocesos.
Utilice el gráfico de acceso simultáneo para comprender el flujo de control y datos que puede provocar problemas de carrera de datos. Identifique variables globales no utilizadas para optimizar el código.

Documentación

Soporte para certificación

Cree los artefactos necesarios para completar el proceso de certificación de conformidad con estándares de la industria. Complete el proceso de certificación por TÜV SÜD para su uso con los estándares IEC 61508 e ISO 26262. Utilice informes y artefactos para procesos de DO-178C.

Documentación

Integración de Simulink y Stateflow

Analice el código generado y rastree los resultados hasta los bloques de modelo de Simulink y los gráficos de Stateflow de origen. Inicie el análisis de Polyspace^® desde el entorno de Simulink.

Documentación

Análisis interactivo en equipos de escritorio

Ejecute análisis estático de código en proyectos de software completos o parciales. Utilice la herramienta de escritorio para generar informes, y revisar y clasificar los resultados.
Identifique la causa raíz de bugs complejos en una vista de depuración, investigando una por una las instrucciones que provocan un error en tiempo de ejecución. Organice y configure proyectos, con soporte nativo para más de 60 compiladores de C y C++, y configuración automática del análisis de Polyspace extraído del sistema de compilación del proyecto.

Documentación

Pruebas estáticas de la seguridad de aplicaciones

Compruebe la ausencia de vulnerabilidades de seguridad críticas, tales como desbordamientos de buffer, acceso a memoria y desbordamientos numéricos. Reduzca la necesidad de realizar pruebas fuzzing analizando el código en todas sus rutas y entradas sin necesidad de ejecutarlo.

Análisis de impacto

Realice un seguimiento y verificación formal del impacto de una variable global o local especificada, sobre otras variables o instrucciones específicas. Realice análisis de señales para cumplir con los requisitos de CARB para software relacionado con OBD, demuestre que no existen interferencias de conformidad con ISO 26262, y analice el efecto de los parámetros de calibración. En cuanto a seguridad de software, realice análisis de contaminación y seguimiento de flujos de datos confidenciales.

Recursos del producto:

Documentación Ejemplos Vídeos Artículos técnicos Requisitos Notas de la versión

Línea de productos Polyspace

Los productos Polyspace consiguen que el código crítico sea seguro y esté protegido probando y supervisando la calidad del software a lo largo del ciclo de desarrollo.