Microsoft Slayer Een automatische, scheidingslogica gebaseerde geheugenveiligheidscontrole
Download nu

Microsoft Slayer Rangschikking & Samenvatting

Microsoft Slayer Tags

controleren checker Controleer geheugen

Microsoft Slayer Beschrijving

Slayer (Separation Logic Analyzer) is een checker van het geheugenveiligheid die is ontworpen om te verifiëren dat de invoer C-code niet verijdelende pointers, Do Double Frees, noch lekgeheugen. Gebruik van de tool Om op een test te gaan, zeg Cleanup_isochresourcedata_remove_head_list.c dat Mallocs en vervolgens een PLIS_TRY-lijst bevrijdt, voer dit uit in een cmd-shell: C: \> CD C: \ Slayer C: \> setup.cmd C: \> CD-test \ kmdf \ 1394 \ cleanup_isochresourcedata_remove_head_list C: \> Slayer Cleanup_isochresourCedata_Remove_head_List.c Bij Exit drukt Slayer een "resultaat: veilig" bericht af en laat verschillende uitvoerbestanden (de interne vertegenwoordiging van het programma in DOT-indeling, een tegenvoorbeeld in defect.TT-indeling, enz.).

Microsoft Slayer Gerelateerde software