Herramienta de prueba estática integrada para pruebas de software integrado

Goanna es una herramienta para un análisis estático en profundidad de C/C para seguridad y confiabilidad, que proporciona la solución de análisis estático de código C/C líder en el mundo para software integrado seguro. Como parte importante para garantizar el cumplimiento de estándares de seguridad como DO-178B e ISO26262, Goanna incorpora los últimos resultados de investigación de verificación de programas y puede integrarse perfectamente con entornos de desarrollo integrados y crear servidores para brindar a los usuarios una solución de escritorio simple y potente. ganar confianza en la creación de código. Los productos Goanna se utilizan en numerosas industrias en todo el mundo, incluidas la automotriz, militar, médica, sistemas integrados de misión crítica y más.

Características de Goanna:

Detecta errores temprano antes de que entren en producción: el análisis estático profundo de Goanna solo requiere que el código fuente encuentre errores automáticamente en los programas C/C sin necesidad de compilar o simular. o ejecutar código. Al detectar errores en las primeras etapas del ciclo de vida de desarrollo, los usuarios pueden lograr los siguientes objetivos: mejorar la calidad del código; ahorrar tiempo de desarrollo y comercializar los productos más rápidamente;

Goanna se integra con la mayoría de los IDE y entornos de configuración, poniendo a su alcance un análisis estático potente y profundo con un solo clic, sin largos costos de instalación ni interrupciones en los flujos de trabajo existentes;

Único. Simulador de seguimiento: Goanna puede "reproducir" errores directamente en su entorno de desarrollo integrado. "Análisis incremental flexible: Goanna genera una huella digital de la función bajo análisis, asegurando que solo se analicen las partes del código que han sido modificadas desde la última ejecución, evitando así que la función se vuelva a analizar si no ha sido modificada. Costo potencial de reanálisis en caso de modificaciones, lo que permite ciclos de prueba rápidos sin tener que esperar potencialmente horas para el reanálisis;

Estándares de la industria: Goanna puede verificar el cumplimiento de las especificaciones de seguridad de la industria, como

Industria estándares: Goanna puede proporcionar verificación que cumpla con las especificaciones de seguridad de la industria, tales como: MISRA C: 2004; MISRA C: 2008 CWE, ayudando así a los clientes a aprobar las certificaciones de ISO26262, DO-178B y otros estándares; p>Cheques personalizables: es fácil personalizar los cheques según los estándares y requisitos del usuario;

Tecnología galardonada:

Tecnología galardonada: Goanna utiliza tecnología avanzada de verificación de modelos Turing Award , puede proporcionar todas las rutas de ejecución, proporcionando así una cobertura de ruta completa y eficiente, e incluso se pueden cubrir funciones muy complejas;

Análisis de código completo sensible a la ruta: la tecnología patentada única de Goanna puede proporcionar un análisis completo entre programas que puede encontrar fallas profundas en las cadenas de llamadas, como punteros nulos infranqueables y desreferencias en otras funciones, incluso entre múltiples funciones y archivos;

Seguimiento de datos abstractos: Goanna Los alcances potenciales de las variables se rastrean automáticamente, lo que facilita la detección de defectos que se pasan por alto fácilmente en las pruebas dinámicas y la inspección manual, como posibles desbordamientos del búfer o rutas inviables;

Más de 250 tipos de comprobaciones muy valiosas para: errores de puntero nulo, desbordamientos de matrices, desbordamientos de cadenas, pérdidas de memoria, Corrupción de memoria, dobles liberaciones, fallas de seguridad, malas estructuras, variables no inicializadas, código muerto, errores aritméticos, fallas de portabilidad, puesta a cero, bibliotecas inseguras, posibilidades ilimitadas para comprobaciones definidas por el usuario y más.

Informes gráficos visuales: A través de la interfaz web fácil de usar, los defectos se muestran instantáneamente en informes gráficos en forma de cuadros y se proporciona el historial de defectos y las áreas de problemas resaltadas que permiten a los desarrolladores identificar los puntos problemáticos tan pronto como ocurren y resolverlos lo más rápido posible. posible

Paneles de control y métricas integrados: al integrarse con paneles de control basados ​​en Sonar, Goanna también proporciona información adicional sobre análisis estático, análisis de complejidad cíclica, análisis de cobertura de código y métricas de duplicación.