资源列表
[弱点检测代码] mops-0.9.1.tar
说明:Mops 模型检测工具 用来对C程序进行检测-model checking c programs<gavin> 在 2025-06-05 上传 | 大小: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> 在 2025-06-05 上传 | 大小:20kb | 下载:0
[弱点检测代码] NuSMV-2.4.3.tar
说明:NuSMV是一个符号模型检测器,由CMU的SMV发展而来的。-NuSMV-2.4.3 a model checking tool<gavin> 在 2025-06-05 上传 | 大小:3.17mb | 下载:0
[弱点检测代码] Mcafee_VSE_RULE
说明:Mcafee VSE配置资料,设置规则。-Mcafee VSE configuration information, set the rules.<张明> 在 2025-06-05 上传 | 大小: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-05 上传 | 大小:204kb | 下载:0
[弱点检测代码] arpmim.tar
说明:数据包测试程序,能够一对一,多队一,和所有对一-Packet test program can be one on one, multi-team one, and all of a<linlink> 在 2025-06-05 上传 | 大小: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-05 上传 | 大小:3.06mb | 下载:0