Polyspace as You Code es un complemento para entornos de desarrollo integrados (IDE) que comprueba los archivos fuente de C/C++ en busca de defectos, infracciones de reglas de codificación y métricas de código. Permite detectar problemas antes de enviar los cambios para su integración.
Proporciona comentarios inmediatos sobre más de 300 tipos de defectos, entre ellos desbordamientos de buffer y errores de división por cero. Permite verificar el cumplimiento con los estándares de codificación MISRA C™:2023, MISRA C++:2023, CERT® C/C++ y CWE™. Los resultados aparecen directamente en el IDE con detalles de diagnóstico y recomendaciones de corrección.
Polyspace as You Code funciona con Visual Studio ® Code, Visual Studio y Eclipse™. Puede conectarse con Polyspace Access para sincronizar los resultados locales con los defectos procedentes de ramas de integración y así evitar la duplicación de revisiones.
Analice código C/C++ en el IDE
Analice archivos de código fuente en C y C++ directamente dentro del IDE, cuando guarde los archivos o ejecute el análisis bajo demanda. Los resultados aparecen como marcadores en el código fuente y en un panel de resultados específico. Utilice Polyspace as You Code como un complemento o extensión para Visual Studio 2019 y 2022, Visual Studio Code, Eclipse y ciertos IDE en Eclipse, como STM32 Cube o ® Workbench®. También puede integrarse con otros IDE mediante una API de línea de comandos.
Detecte vulnerabilidades en código C/C++
Garantice la calidad del código C y C++ embebido mediante la comprobación de más de 300 vulnerabilidades de software diferentes, como vulnerabilidades de seguridad, errores de memoria, defectos numéricos y errores de concurrencia, en conformidad con las versiones más recientes de los lenguajes C y C++.
Compruebe el cumplimiento de normas de codificación en C/C++
Verifique el cumplimiento de normas de codificación a medida que programa, con soporte para las normas de codificación de seguridad y protección MISRA C:2023, MISRA C++:2023, MISRA C:2012, AUTOSAR C++14, CERT C, CERT C++ y CWE.
Analice la causa raíz de los defectos
Determine la causa raíz de los defectos y aplique correcciones específicas. Cada resultado incluye una descripción del defecto, los tipos de datos involucrados, los valores de datos esperados y reales, una traza de eventos que conduce al defecto y las líneas de código relevantes.
Obtenga información contextual adicional y sugerencias de corrección con la extensión Polyspace Copilot de Polyspace as You Code.
Rastree defectos introducidos recientemente
Verifique los cambios en el código estableciendo una base de referencia del análisis, ya sea con la copia local del código o con los resultados más recientes de los procesos de integración continua cuando esté conectado a Polyspace Access. Utilice la lista de supervisión de calidad para determinar qué archivos analizar y revisar.
Personalice el análisis para lograr una calidad de código coherente
Amplíe el conjunto nativo de resultados de análisis de código C/C++ con verificadores personalizados. Aplique un conjunto de reglas coherente con catálogos de defectos personalizados para grupos de trabajo, proyectos o toda la empresa. Refuerce la capacidad de mantenimiento del código utilizando nombres convencionales y métricas de código personalizadas.
Recursos del producto:
"Con Polyspace, podemos garantizar la seguridad y calidad del software identificando y corrigiendo errores críticos en tiempo de ejecución antes de cada combinación de códigos".
Línea de productos de Polyspace
Los productos de Polyspace hacen que el código crítico sea seguro y esté protegido, probando y supervisando la calidad de software a lo largo del ciclo de desarrollo.
Polyspace Access
Identifique errores 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 normas 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 as You Code
Polyspace as You Code es un plugin de IDE que detecta defectos críticos, vulnerabilidades de seguridad y problemas de conformidad del código directamente en la vista del código fuente mientras los desarrolladores escriben o modifican código.
Polyspace as You Code detecta más de 300 tipos de defectos de programación en C/C++, incluidos errores numéricos, de flujo de datos, de memoria y errores generales de programación que pueden causar fallos en tiempo de ejecución o problemas de seguridad.
Comprueba el código C/C++ frente a estándares de codificación 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 as You Code 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 interprocedimental del código C/C++ sin requerir la ejecución del código.
Polyspace as You Code es compatible con Visual Studio, Visual Studio Code, Eclipse y los IDE basados en Eclipse, y dispone de una API para integrarse con otros entornos.
Polyspace Bug Finder identifica errores, violaciones de reglas de codificación y métricas de calidad del código en proyectos completos durante la integración y la verificación. Polyspace Code Prover utiliza métodos formales para demostrar exhaustivamente la ausencia de determinados errores de tiempo de ejecución. Polyspace as You Code ejecuta un subconjunto de los análisis de Polyspace Bug Finder directamente en el IDE para ayudar a los desarrolladores a detectar problemas mientras escriben código.
Sí. Polyspace as You Code puede resaltar únicamente los problemas introducidos recientemente en su código comparando los resultados del análisis con una baseline, ya sea a partir de su copia local o de los últimos resultados de integración cuando está conectado a Polyspace Access.
