Microsoft Slayer. Un controllore di sicurezza della memoria basata sulla logica automatica
Scarica ora

Microsoft Slayer. Classifica e riepilogo

Microsoft Slayer. Tag

dai un'occhiata controllore la memoria di controllo

Microsoft Slayer. Descrizione

Slayer (Separazione Logic Analyzer) è un controllore di sicurezza della memoria progettato per verificare che il codice C INPUT C non deferenza dei puntatori pendenti, fare doppio freni, né memoria di perdita. Usando lo strumento Per correre su un test, diciamo cleanup_isochresourcedata_remove_head_list.c che mallocs e quindi libera un'elenco plist_entry, esegue questo in un guscio cmd: C: \> CD C: \ Slayer C: \> setup.cmd C: \> Test del CD \ KMDF \ 1394 \ cleanup_isochresourcedata_remove_head_list C: \> slayer cleanup_isochresourcedata_remove_head_list.c Sull'uscita, Slayer stampa un messaggio "Risultato: Safe", e lascia diversi file di output (la rappresentazione interna del programma in formato DOT, un contatore in formato DEFECT.TT, ecc.).

Microsoft Slayer. Software correlato