El depurador de memoria definitivo para C y C ++

Durante la depuración en tiempo de ejecución, Parasoft Insure ++ verifica todas sus referencias de memoria, incluidas las de memoria estática (global), de pila y compartida, tanto en su propio código como en bibliotecas de terceros.

• Memoria de pila y pila dañada
• Uso de variables y objetos no inicializados
• Errores de límites de cadenas y matrices en el montón y la pila
• Uso de punteros colgantes, NULL y sin inicializar
• Todo tipo de asignación de memoria y errores o desajustes gratuitos
• Todo tipo de fugas de memoria
• Incompatibilidad de tipos en declaraciones globales, punteros y llamadas a funciones

En el momento de la compilación, Parasoft Insure ++ detecta errores al identificar desviaciones de los estándares C / C ++ que pueden provocar pérdidas de memoria o inestabilidades de la aplicación.

• El elenco del puntero pierde precisión
• Discrepancia en la especificación de formato
• Discrepancia en el tipo de argumento
• El código no se evalúa, no tiene ningún efecto o es inalcanzable
• Identificador indefinido
• Variable declarada, pero nunca utilizada
• Devolviendo el puntero a la variable local
• La función devuelve un valor inconsistente
• Variables no utilizadas

El análisis de cobertura de Parasoft Insure ++ permite la identificación visual de qué secciones de código se han ejecutado y cuáles no. Esta capacidad permite a los usuarios centrarse en probar casos de uso para las áreas de código que aún no se han ejercido. Insure ++ también puede agregar un "recuento de aciertos" a los bloques básicos, mostrando cuántas veces se ha ejecutado cada bloque para detectar cuellos de botella de rendimiento sorprendentes.

Los desarrolladores de software obtienen una vista gráfica de los datos en vivo sobre el uso continuo de la memoria y las asignaciones de memoria a lo largo del tiempo con visibilidad específica del uso general del montón, asignaciones de bloques, posibles fugas pendientes, etc. Si se ha filtrado un bloque, puede ver el seguimiento de la pila de asignación, así como el seguimiento de la pila donde se produjo la fuga. Se supervisa el tamaño general del montón y se realiza un seguimiento de varias estadísticas, como el número de llamadas de asignación y desasignación.

Parasoft Insure ++ informa cualquier problema encontrado. La información detallada que obtiene incluye el tipo de error, el archivo fuente y el número de línea, el contenido real de la línea del código fuente, la expresión que causó el problema y la información sobre todos los punteros y bloques de memoria involucrados en el error. Los desarrolladores de software también pueden ver los valores del puntero, los bloques de memoria señalados, la información de asignación de bloques y el seguimiento de la pila que muestra cómo llegó el programa a la ubicación del error.

La mayoría de los proyectos son grandes y contienen varios archivos. Sin embargo, hay ocasiones en las que solo necesitará investigar un puñado de esos archivos en busca de presuntas violaciones del tiempo de ejecución. Esto se hace cuando Parasoft Insure ++ instrumenta los archivos individuales que decide investigar. Los archivos individuales pueden luego vincularse a un ejecutable no instrumentado. Esto encuentra errores en los archivos en cuestión a nivel de fuente con el mínimo esfuerzo.