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 Bug Finder
Compruebe reglas de codificación, estándares de seguridad y métricas de código, y detecte errores.
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 Server
Identifique defectos de software y aplique reglas de codificación en flujos de integración continua.
Polyspace Client for Ada
Verifique exhaustivamente unidades de instrucciones Ada críticas utilizando métodos formales.
Polyspace Code Prover
Verifique exhaustivamente las instrucciones C y C++ más críticas utilizando métodos formales.
Polyspace Server for Ada
Verifique continua y exhaustivamente instrucciones de código Ada críticas en flujos de integración continua.
Preguntas frecuentes sobre Polyspace as You Code
Polyspace as You Code es un complemento de IDE que detecta defectos críticos, vulnerabilidades de seguridad e incumplimientos de normas de codificación directamente en la vista del código fuente mientras los desarrolladores escriben o modifican el código.
Polyspace as You Code detecta más de 300 tipos de defectos en código C/C++, que abarcan errores numéricos, de flujo de datos, de memoria y otros errores de programación que pueden generar fallos en tiempo de ejecución o problemas de seguridad.
Polyspace as You Code permite verificar código C/C++ conforme a los estándares de codificación de la industria MISRA C, MISRA C++, AUTOSAR C++14, JSF++, CWE, CERT C y CERT C++. Admite la aplicación de reglas de codificación y nombres convencionales personalizados.
Polyspace as You Code aplica métodos de análisis estático, análisis semántico, para analizar la estructura de control, flujo de datos y comportamiento interprocedimental en código C/C++ sin necesidad de ejecutar código.
Polyspace as You Code admite Visual Studio, Visual Studio Code, Eclipse y otros IDE basados en Eclipse, con una API que permite su integración en otros entornos.
Polyspace Bug Finder detecta errores, infracciones de reglas de codificación y métricas de calidad del código en proyectos completos durante las fases de integración y verificación. Polyspace Code Prover utiliza métodos formales para demostrar exhaustivamente la ausencia de ciertos errores en tiempo de ejecución. Polyspace as You Code ejecuta un subconjunto del 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 el código comparando los resultados del análisis con una base de referencia, 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.
¿Tiene interés en Polyspace as You Code?
Siguientes pasos
Navegación de panel
Artículos gratuitos
Notas de la versión de Polyspace
Navegación de panel
Producto
