Polyspace Bug Finder Server

 

Polyspace Bug Finder Server

Identifique defectos de software con análisis estáticos ejecutados en servidores

Polyspace Bug Finder Server es un motor de análisis estático que identifica clases de bugs frecuentes en C y C++, como errores en tiempo de ejecución, problemas de simultaneidad y otros defectos de codificación. Polyspace Bug Finder Server también comprueba si el código fuente cumple las reglas de codificación (MISRA C®, MISRA C++, JSF++), las reglas de seguridad (CWE, CERT® C, CERT C++, ISO/IEC 17961) y las reglas personalizadas.

Con Polyspace Bug Finder Server, puede supervisar métricas de código, tales como complejidad ciclomática y métricas de HIS en los niveles de proyecto, archivo y función. Puede configurar el servidor para utilizarlo con diversos compiladores, procesadores de destino y entornos RTOS, y automatizar la ejecución con sistemas de integración contínua utilizando herramientas tales como Jenkins®. Los resultados del análisis del código 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).

Automatización del análisis de código con Polyspace Bug Finder Server

Automatización del análisis de código con Polyspace Bug Finder Server

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, y cumpla con estándares y directrices de codificación de seguridad tales como CERT C/C++, CWE, ISO 17961 y 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.

Ejecución de análisis estático de código en cualquier plataforma

Ejecute Polyspace Bug Finder 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®.

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 de uso habitual, tales como Jenkins y Bamboo®.

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.