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 logran 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 is an IDE plugin that detects critical defects, security vulnerabilities, and code compliance issues directly within the source code view as developers write or modify code.
Polyspace as You Code detects more than 300 types of C/C++ coding defects, including numerical, data flow, memory, and general programming errors that can cause runtime failures or security issues.
It checks C/C++ code against industry coding standards including MISRA C, MISRA C++, AUTOSAR C++14, JSF++, CWE, CERT C, and CERT C++, and supports enforcement of custom coding rules and naming conventions.
Polyspace as You Code applies static analysis methods, including semantic analysis, to analyze control flow, data flow, and interprocedural behavior in C/C++ code without requiring code execution.
Polyspace as You Code supports Visual Studio, Visual Studio Code, Eclipse, and Eclipse-based IDEs, with an API for integration into other environments.
Polyspace Bug Finder identifies bugs, coding-rule violations, and code quality metrics across complete projects during integration and verification. Polyspace Code Prover uses formal methods to exhaustively prove the absence of selected runtime errors. Polyspace as You Code runs a subset of Polyspace Bug Finder analysis directly in the IDE to help developers detect issues as they write code.
Yes. Polyspace as You Code can highlight only issues newly introduced in your code by comparing analysis results against a baseline, either from your local checkout or from the latest integration results when connected to 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
