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).
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®.
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 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 Test Server
Ejecute pruebas y analice la cobertura estructural de código C/C++ en servidores de automatización.
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
Compruebe reglas de codificación, estándares de seguridad y métricas de código, y detecte bugs.
Polyspace Client for Ada
Verifique exhaustivamente unidades de instrucciones Ada críticas utilizando métodos formales.
Polyspace Bug Finder Server
Identifique defectos de software y aplique reglas de codificación en flujos de integración continua.
Polyspace Server for Ada
Realice verificación de código en clusters de escritorio y publique las métricas
Polyspace Code Prover
Verifique exhaustivamente las instrucciones C y C++ más críticas utilizando métodos formales.
Preguntas frecuentes sobre Polyspace Bug Finder Server
Polyspace Bug Finder Server es un motor de análisis estático que se ejecuta en sistemas de servidor para identificar automáticamente errores, incumplimientos de reglas de codificación y métricas de calidad de código en código C y C++ como parte de los workflows de integración continua.
Detecta más de 350 tipos de defectos de codificación en C/C++, incluidos errores numéricos, de flujo de datos, de memoria, de concurrencia y errores de programación generales que pueden provocar fallos en tiempo de ejecución o problemas de seguridad.
Verifica el código C/C++ frente a estándares de la industria, incluidos MISRA C, MISRA C++, AUTOSAR C++14, JSF++, CWE, CERT C y CERT C++, y admite la aplicación de reglas de codificación personalizadas y convenciones de nomenclatura.
Polyspace Bug Finder Server aplica métodos de análisis estático, incluido el análisis semántico, para analizar el flujo de control, el flujo de datos y el comportamiento interprocedural en código C/C++ sin requerir la ejecución del código.
Polyspace Bug Finder se utiliza de forma interactiva mediante una interfaz de escritorio, mientras que Polyspace Bug Finder Server está optimizado para el análisis automatizado en workflows de integración continua y para compartir resultados a través de Polyspace Access.
Sí. Polyspace Bug Finder Server se integra con pipelines de integración continua para admitir el análisis estático automatizado en flujos de trabajo DevOps.
Polyspace Bug Finder Server puede ejecutarse en servidores de automatización locales o en la nube, incluidas implementaciones en contenedores basadas en arquitecturas de referencia de MathWorks.
Sí. Puede analizar código generado automáticamente, con resultados trazables hasta modelos de Simulink y bloques de dSPACE TargetLink.
Polyspace Bug Finder Server publica los resultados de análisis en Polyspace Access para la revisión y el triaje de resultados por parte de los equipos.
It supports certification workflows for IEC 61508, ISO 26262, EN 50128, EN 50657, IEC 62304, ISO 25119, and DO-178C/ED-12C through certification and qualification kits, with additional guidance for ISO/SAE 21434, and Automotive SPICE.
¿Tiene interés en Polyspace Bug Finder Server?
Siguientes pasos
Navegación de panel
ARTÍCULOS GRATUITOS
Notas de la versión de Polyspace
Navegación de panel
PRODUCTO
