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
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:
¿Tiene interés en Polyspace Bug Finder Server?
Siguientes pasos
You can also select a web site from the following list:
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asia Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)