Dr. Memory: il debugger della memoria

Informazioni su Dr. Memory

Dr. Memory è uno strumento di monitoraggio della memoria in grado di identificare errori di programmazione legati alla memoria come accessi a memoria non inizializzata, accessi a memoria non indirizzabile (inclusi accessi al di fuori delle unità di heap allocate e underflow/overflow dell'heap), accessi a memoria liberata, doppie liberazioni, perdite di memoria e (su Windows) perdite di handle, errori di utilizzo dell'API GDI e accessi a slot di archiviazione locale del thread non riservati.

Dr. Memory opera su binari di applicazioni non modificati in esecuzione su Windows, Linux, Mac o Android su hardware IA-32, AMD64 e ARM commodity.

Dr. Memory è rilasciato sotto licenza LGPL e i pacchetti binari sono disponibili per il download.

Dr. Memory è costruito sulla piattaforma di strumentazione dinamica DynamoRIO.

Prestazioni di Dr. Memory

Dr. Memory è più veloce di strumenti comparabili, incluso Valgrind, come mostrato nel nostro articolo CGO 2011 Practical Memory Checking with Dr. Memory, dove confrontiamo i due strumenti su Linux con la suite di benchmark SPECCPU 2006:

(Valgrind non è in grado di eseguire 434.zeusmp e 447.dealII).

Documentazione

La documentazione è inclusa nel pacchetto di rilascio. Manteniamo anche una copia per consultazione online.

Tracer di chiamate di sistema per Windows

Il pacchetto Dr. Memory include uno strumento "strace per Windows" chiamato drstrace.

Ottenere aiuto

Dr. Memory ha una propria lista di discussione.

Per segnalare un bug, usa il tracker dei problemi.

Vedi anche la home page di Dr. Memory: http://drmemory.org/