微软除魔1.1_Microsoft SLAyer 1.1下载地址

自动分离逻辑基于内存的安全检查

除魔（分离逻辑分析仪）是一个存储安全检查，以验证其输入的C代码不尊重晃来晃去的指针，不要双释放，也没有内存泄漏。

使用的工具

要运行一个测试，说cleanup_isochresourcedata_remove_head_list.c mallocs，然后释放一个PLIST_ENTRY列表，在cmd shell中执行此操作：

C：\> CD C：\除魔
C：\> setup.cmd
C：\> CD测试\ KMDF \ 1394 \ cleanup_isochresourcedata_remove_head_list
C：\>除魔cleanup_isochresourcedata_remove_head_list.c

在出口处，SLAYER打印“结果：SAFE”的神器出山:www.shenqi73.com消息，并留下几个输出文件（程序的内部表示点的格式，一个反例defect.tt格式的，等等）。