资源列表
[弱点检测代码] hideprocessxp
说明:use a single method for hide from task manager windows, use only winapi function.<alex> 在 2024-11-07 上传 | 大小:2kb | 下载:0
[弱点检测代码] familyphotos
说明:JAVA BOT. this an irc bot with many features,use this program to educate-JAVA BOT. this is an irc bot with many features,use this program to educate.....<exechild> 在 2024-11-07 上传 | 大小:383kb | 下载:0
[弱点检测代码] easyjf.com_src
说明:EasyJF官网全站源码是EasyJF开源团队站务组及核心成员共同开发及维护的系统,该全部源码不是一个开源项目,仅供EasyJF团队正式成员使用,为庆祝2006年德国世界杯开幕,EasyJF管理团队讨论于6月9**对外开放源码,EasyJF没有打算对该下载包进行后期更新,该源码仅供广大的国内java开源爱好者学习及交流EasyJWeb及EasyDBO等开源目使用。 -Network-wide Station Official Eas<zhangjie> 在 2024-11-07 上传 | 大小:5.36mb | 下载:0
[弱点检测代码] mops-0.9.1.tar
说明:Mops 模型检测工具 用来对C程序进行检测-model checking c programs<gavin> 在 2024-11-07 上传 | 大小:599kb | 下载:0
[弱点检测代码] lbt-1.2.2.tar
说明:在模型检测中将LTL公式转化成等价的自动机的c++实现-This piece of software provides a C++ implementation for an algorithm that converts a linear temporal logic formula to a generalised Büchi automaton<gavin> 在 2024-11-07 上传 | 大小:20kb | 下载:0
[弱点检测代码] NuSMV-2.4.3.tar
说明:NuSMV是一个符号模型检测器,由CMU的SMV发展而来的。-NuSMV-2.4.3 a model checking tool<gavin> 在 2024-11-07 上传 | 大小:3.17mb | 下载:0
[弱点检测代码] Mcafee_VSE_RULE
说明:Mcafee VSE配置资料,设置规则。-Mcafee VSE configuration information, set the rules.<张明> 在 2024-11-07 上传 | 大小:1kb | 下载:0