Microsoft Slayer Eine automatische, trennungslogikbasierte Speichersicherheits-Kontrolleure
Jetzt downloaden

Microsoft Slayer Ranking & Zusammenfassung

Microsoft Slayer Stichworte

überprüfen Schacher Check-Speicher

Microsoft Slayer Beschreibung

Der Slayer (Separation Logic Analyzer) ist ein Speichersicherheits-Checker, der darauf hingewiesen ist, dass sein Eingang-C-Code nicht arrangiert baumelnd Zeiger, doppelte Frees, noch Leckspeicher. Verwenden des Werkzeugs Um auf einem Test auszuführen, sagen Sie CleanUp_Isochresourcedata_remove_head_list.c, dass Mallocs eine Plist_Enry-Liste befreit, diese in einer CMD-Shell ausführen: C: \> CD C: \ Slayer C: \> setup.cmd C: \> CD-Test \ KMDF \ 1394 \ cleanup_iochresourcedata_remove_head_list C: \> slayer cleanup_iochresourcedata_remove_head_list.c Auf EXIT, Slayer druckt ein "Ergebnis: sicherer" Nachricht und lässt mehrere Ausgabedateien (die interne Darstellung des Programms im DOT-Format, ein Gegenbeispiel in Defect.tt-Format usw.).

Microsoft Slayer Zugehörige Software