¿Cómo Funciona?
Parasoft Insure ++ es una herramienta de detección de errores y análisis de memoria en tiempo de ejecución para C y C ++ que identifica automáticamente una variedad de errores de programación, acceso a la memoria y seguridad difíciles de encontrar, junto con posibles defectos e ineficiencias en el uso de la memoria.
Durante las pruebas, Insure ++ verifica todos los tipos de referencias de memoria, incluidas las de memoria estática (global), de pila y compartida, ya sea en el código del usuario o en sus bibliotecas de terceros.
Las capacidades de análisis de memoria de Insure ++ de Parasoft se basan en algoritmos de instrumentación de origen patentados. La instrumentación del código fuente permite a Insure ++ detectar más tipos de errores que otras tecnologías de detección de errores de memoria, y proporciona información completa que indica las causas fundamentales de los errores encontrados, utilizando una base de datos completa de elementos de programa y estructuras de memoria. Hay dos formas de utilizar Insure ++ para el análisis de memoria y la detección de errores.
Modo de instrumentación de fuente
El primer y más detallado análisis se logra con la instrumentación completa del código fuente. Esto requiere que las fuentes de la aplicación estén compiladas y vinculadas con Insure ++, que genera sus propios archivos instrumentados que se pasan al compilador real.
Modo de enlace
Sin instrumentación de código fuente, al vincular el código de objeto de la aplicación y las bibliotecas con Insure ++, la herramienta puede "espiar" la interfaz del programa de aplicación / kernel para detectar errores como fugas, referencias de memoria erróneas, errores de uso de API estándar, etc.