Polyspace Code Prover Server es un sólido motor de análisis estático que 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 C y C++. Realiza un análisis interprocedimental de todos los flujos de control y datos posibles, incluido el código de subprocesos múltiples, para identificar cada operación como siempre segura, siempre defectuosa, inaccesible o vulnerable. Polyspace Code Prover Server identifica segmentos de código que están libres de errores en tiempo de ejecución, inaccesibles, comprobados como defectuosos o no comprobados.
Puede ejecutar Polyspace Code Prover Server en un equipo servidor e integrarlo en sistemas de compilación e integración continua para realizar verificación automatizada con herramientas como Jenkins®. Los resultados del análisis se pueden publicar en Polyspace Access para su clasificación y resolución.
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).
Automatice el análisis de código con Polyspace Code Prover Server
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.
Automatización e integración en DevOps
Soporte de prácticas de desarrollo de software modernas mediante la conexión con flujos de trabajo y herramientas de DevOps existentes. Polyspace® funciona con herramientas de integración continua más utilizadas, tales como Jenkins y Bamboo®.
Ejecución de análisis estático de código en cualquier plataforma
Ejecute Polyspace Code Prover Server en un servidor de automatización local o en la nube. Utilice arquitecturas de referencia de MathWorks para realizar despliegues en plataformas tales como Docker, AWS® y Azure®.
Soporte para certificación
Cree los artefactos necesarios para completar el proceso de certificación de conformidad con estándares de la industria. Certificado por TÜV SÜD para los más altos niveles de seguridad funcional de IEC 61508 e ISO 26262. Admite cualificación para DO-178C.
Prevención del comportamiento imprevisto del software
Identifique todas las secciones de código inaccesibles a través de una ruta de ejecución, así como errores de lógica y en la estructura del programa.
Análisis del uso de variables globales
Reduzca el tiempo de depuración de operaciones de lectura/escritura en variables globales. Identifique variables compartidas y no utilizadas que no tengan protecció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:
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.
Polyspace Access
Identifique defectos de codificación, revise resultados de análisis estático y supervise métricas de calidad de software.
Polyspace Code Prover Server
Compruebe la ausencia de errores en tiempo de ejecución en el software.
Polyspace Bug Finder
Identifique bugs de software mediante análisis estático.
Polyspace Test
Desarrolle, gestione y ejecute pruebas de código C y C++ en sistemas integrados.
Polyspace Bug Finder Server
Identifique defectos de software con análisis estáticos ejecutados en servidores.
Polyspace Client for Ada
Compruebe la ausencia de errores en tiempo de ejecución en código fuente.
Polyspace Code Prover
Compruebe la ausencia de errores en tiempo de ejecución en el software.
Polyspace Server for Ada
Realice verificación de código en clusters de escritorio y publique las métricas.
