Microsoft Slayer

Un verificador de seguridad de memoria basado en la lógica de la lógica automática
Descargar ahora

Microsoft Slayer Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • Freeware
  • Nombre del editor:
  • Microsoft Research
  • Sistemas operativos:
  • Windows XP / 2003 / Vista / 2008 / 7
  • Tamaño del archivo:
  • 21 KB

Microsoft Slayer Etiquetas


Microsoft Slayer Descripción

SLAYER (Separation Logic Analyzer) es un verificador de seguridad de memoria diseñado para verificar que su código C de entrada no le deja los punteros colgantes, realizan liebres dobles, ni la memoria de fugas. usando la herramienta Para ejecutarse en una prueba, digamos limpio_isochresurcedata_remove_head_list.c que Mallocs y luego libera una lista de PLIST_ENTRY, ejecute esto en una cáscara CMD: C: \> CD C: \ SLAYER C: \> Setup.cmd C: \> CD Test \ KMDF \ 1394 \ CLEINUP_ISOCHRESOURNEDATA_REMOVE_HEAD_LIST C: \> SLAYER CLEANUP_ISOCHRESOURNEDATA_REMOUT_HEAD_LIST.C En la salida, Slayer imprime un mensaje "Resultado: seguro", y deja varios archivos de salida (la representación interna del programa en formato DOT, un contador en formato DEFECT.TT, etc.).


Microsoft Slayer Software relacionado

N validador

Una biblioteca de validación extensible liviana para .NET que admite la sintaxis fluida ...

91 4.1 MB

Descargar

Sobre nosotros