Microsoft Slayer. um verificador de segurança de memória automática, baseado em lógica de separação
Baixe Agora

Microsoft Slayer. Classificação e resumo

Microsoft Slayer. Tag

Verifica verificador memória de verificação

Microsoft Slayer. Descrição

O Slayer (analisador lógico de separação) é um verificador de segurança de memória projetado para verificar se seu código C não diferencia os ponteiros pendurados, faz uma dupla liberdade, nem vazamento de memória. usando a ferramenta Para executar um teste, digamos cleanup_isochresourcedata_remove_head_list.c que Mallocs e, em seguida, libera uma lista Plist_entry, execute isso em um shell cmd: C: \> CD C: \ Slayer C: \> setup.cmd C: \> teste de CD \ kmdf \ 1394 \ cleanup_isochresourcedata_remove_head_list C: \> slayer cleanup_isochresourcedata_remove_head_list.c Na saída, o Slayer imprime uma mensagem "Result: Seguro" e deixa vários arquivos de saída (a representação interna do programa no formato de ponto, um contra-exemplo no formato Defect.tt, etc).

Microsoft Slayer. Software Relacionado