软件名称：[B]微软除魔1.1_Microsoft SLAyer 1.1[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：30.1 MB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

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

除魔（分离逻辑分析仪）是一个存储安全检查，以验证其输入的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格式的，等等）。

要求：

·< Studio 2010中
·静态的驱动程序验证程序研究平台（SDVRP，）

[url=http://www.sot9.com/soft/101862.html][B]微软除魔1.1_Microsoft SLAyer 1.1[/B][/url]

点这里下载->微软除魔1.1_Microsoft SLAyer 1.1 [ 下载地址 ]