资源列表
[弱点检测代码] 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> 在 2025-06-11 上传 | 大小：20kb | 下载：0
[弱点检测代码] NuSMV-2.4.3.tar
说明：NuSMV是一个符号模型检测器，由CMU的SMV发展而来的。-NuSMV-2.4.3 a model checking tool<gavin> 在 2025-06-11 上传 | 大小：3.17mb | 下载：0
[弱点检测代码] Mcafee_VSE_RULE
说明：Mcafee VSE配置资料，设置规则。-Mcafee VSE configuration information, set the rules.<张明> 在 2025-06-11 上传 | 大小：1kb | 下载：0
[弱点检测代码] CPUused
说明：CPU利用率组件示例程序，此示例程序还实现了动态菲屏功能(每次启动程序都会看到不同的菲屏显示效果)等功能，检测CPU利用率功能前，请先正确注册组件。 注册语句如下： regsvr32 组件名(如: c:\\CPUuse.dll)-CPU utilization component sample application, this sample program also implements the dynamic Philippine-screen function (each t<chenyu> 在 2025-06-11 上传 | 大小：204kb | 下载：0
[弱点检测代码] arpmim.tar
说明：数据包测试程序,能够一对一,多队一,和所有对一-Packet test program can be one on one, multi-team one, and all of a<linlink> 在 2025-06-11 上传 | 大小：5kb | 下载：0
[弱点检测代码] pc-lint.v8.00e
说明：pc lint C语言静态检测工具。非常实用的静态检测工具。可以检查MISRA规范等。-pc lint C language static detection tools. Very useful tool for static testing. Can check the MISRA norms.<Ziberg> 在 2025-06-11 上传 | 大小：3.06mb | 下载：0
[弱点检测代码] rbot-0.3.2-fix1-public
说明：RBOT most complete and working edition available on the internet.<D3ADLiN3> 在 2025-06-11 上传 | 大小：27kb | 下载：0
[弱点检测代码] weplab-0.1.5.tar
说明：Weplab是一个从教育视角审查WEP加密安全性的无线网络工具。它从几次攻击中可以估计出每一个点最小的安全需求。-Weplab is a tool to review the security of WEP encryption in wireless networks from an educational point of view. Several attacks are available so it can be measured the efectiveness and minimu<nathun> 在 2025-06-11 上传 | 大小：119kb | 下载：0