Polyspace Code Prover Server se integra en flujos de CI para demostrar la ausencia de errores de tiempo de ejecución, como desbordamientos, división por cero y accesos fuera de los límites de un array en código C/C++. También proporciona información sobre el flujo de control y datos, y verifica el acceso correcto simultáneo a la memoria compartida entre tareas (hilos).
Polyspace Code Prover Server utiliza análisis estático basado en interpretación abstracta y métodos formales, lo que permite obtener resultados sin ejecutar código, añadir instrumentación ni escribir casos de prueba. Puede cargar los resultados a Polyspace Access para la colaboración y el seguimiento de las tendencias de calidad, y exportarlos en formatos legibles por máquina adecuados para los controles de calidad de CI. Puede analizar cualquier combinación de código C/C++, escrito manualmente o generado desde Simulink o un asistente de IA.
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).
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.
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 integrados.
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 Code Prover Server
Polyspace Code Prover Server es un motor de análisis estático que se ejecuta en sistemas servidor para demostrar la ausencia de errores críticos en run-time y proporcionar vistas arquitectónicas, como gráficos de llamadas e información sobre el uso de datos globales en código C y C++, como parte de los workflows de integración continua.
Polyspace Code Prover Server utiliza un análisis estático basado en métodos formales para explorar todas las rutas de ejecución y entradas en el código C/C++ sin ejecutarlo.
Ayuda a mejorar la seguridad del software demostrando la ausencia de vulnerabilidades críticas, como desbordamientos de búfer, accesos inválidos a memoria y desbordamientos numéricos, en todas las rutas de ejecución y para todas las entradas, sin ejecutar el código.
Polyspace Code Prover se usa de forma interactiva en una interfaz de escritorio, mientras que Polyspace Code Prover Server está optimizado para análisis automatizados en workflows de integración continua y para compartir resultados a través de Polyspace Access.
Sí, puede analizar código generado automáticamente, con resultados trazables hasta los modelos de Simulink y los bloques dSPACE TargetLink.
Sí. Polyspace Code Prover Server se integra con las canalizaciones de integración continua para admitir el análisis estático automatizado en workflows DevOps.
Polyspace Code Prover Server puede ejecutarse en servidores de automatización locales o en la nube, incluidas implementaciones en contenedores basadas en las arquitecturas de referencia de MathWorks.
Polyspace Code Prover Server publica los resultados del análisis en Polyspace Access para la revisión y el triaje de resultados por parte de los equipos.
Admite flujos de trabajo de certificación para IEC 61508, ISO 26262, EN 50128, EN 50657, IEC 62304, ISO 25119 y DO 178C/ED 12C mediante kits de certificación y calificación, con orientación adicional para ISO/SAE 21434 y Automotive SPICE.
¿Tiene interés en Polyspace Code Prover Server?
Siguientes pasos
Navegación de panel
ARTÍCULOS GRATUITOS
Notas sobre análisis estático de Polyspace
Navegación de panel
PRODUCTO
