Análisis de código estático C / C ++

La prueba Parasoft C / C ++ detecta problemas complejos similares al tiempo de ejecución al principio de la etapa de desarrollo, sin la necesidad de ejecutar costosas pruebas en tiempo de ejecución. La prueba C / C ++ analiza las rutas de ejecución a través del código y encuentra posibles problemas (es decir, desreferenciación de puntero nulo, división por cero, fugas de memoria) y vulnerabilidades de seguridad (es decir, archivo de datos contaminado, desbordamientos de búfer, inyección de comandos, inyección SQL).

Parasoft C/C++test proporciona un conjunto de verificadores de código C/C++ incorporados (reglas) para verificar el cumplimiento de estándares como MISRA C 2023, MISRA C 2012, MISRA C++ 2023, MISRA C++ 202x, JSF AV C++, SEI CERT C /C++, AUTOSAR C++14, HIC++ y más. Dicho análisis es recomendado/requerido para industrias reguladas (automotriz, médica, aviación, etc.), desarrollo de seguridad funcional (con estándares como ISO 26262, IEC 61508 o DO-178C) y seguridad (SEI CERT C/C++, CWE, OWASP) . Los paquetes de cumplimiento de Parasoft brindan a los usuarios configuraciones específicas de la industria, junto con paneles dinámicos de informes de cumplimiento, para ayudar a las partes interesadas a comprender fácilmente el progreso.

La prueba C / C ++ ayuda a los usuarios a verificar las pautas y los estándares de codificación específicos de la empresa o del equipo con su editor especializado para crear reglas personalizadas (verificadores), lo que permite a los usuarios ampliar (o reemplazar) las reglas integradas proporcionadas con C / C + + prueba, sin escribir ningún guión.

Las métricas de código recopiladas durante el análisis estático de C / C ++ brindan más información sobre la calidad del código y lo ayudan a eliminar errores. Estas métricas se recopilan y analizan en un nivel de granularidad por unidad y por compilación. Los equipos pueden usar esta información para acceder a código de alto riesgo que es demasiado complejo, por ejemplo, como candidatos para mejores pruebas o refactorización.

Los resultados de las herramientas de análisis de código estático de la prueba C / C ++ se pueden ver en el panel de informes dinámicos de Parasoft, lo que permite el posprocesamiento automatizado y las estrategias avanzadas de informes utilizando datos históricos. Es fácil ver los resultados del analizador estático en las compilaciones a lo largo del tiempo, incluso cuando se trabaja con grandes bases de código y código heredado donde la visibilidad del código suele ser un desafío, por lo que puede concentrarse rápidamente en la calidad del código recién agregado.

Con widgets que rastrean automáticamente el cumplimiento de un estándar de codificación determinado, los usuarios obtienen una vista dinámica del proceso de cumplimiento y pueden producir fácilmente informes automáticos para auditorías de código.

Además de contar con la certificación independiente para su uso en cualquier proyecto crítico para la seguridad por parte de TÜV SÜD, que autoriza el uso de herramientas de análisis estático C / C ++ sin ningún esfuerzo adicional de calificación / validación, Parasoft también proporciona Kits de calificación que van mucho más allá de la simple documentación para reducir drásticamente la cantidad de tiempo y esfuerzo necesarios para lograr la calificación de la herramienta para estándares como ISO 26262, DO-178C, IEC 61508, IEC 62304 y EN 50128.

Una solución de prueba unificada significa que solo hay que tratar con un proveedor. Los kits de calificación de Parasoft brindan un conjunto de herramientas de prueba certificables y calificables, eliminando el riesgo de las pruebas y calificaciones críticas para la seguridad, al tiempo que ahorra tiempo al tener que calificar una única solución para múltiples prácticas de prueba.