[弱点检测代码] dct

说明：jpeg compression and expansion :P
<gaurav> 在 2024-11-08 上传 | 大小：1kb | 下载：0

[弱点检测代码] cvckybl

说明：实现网上书店系统,使用STRUTS框架,十分方便学习交流-The realization of online bookstore system, using STRUTS fr a mework, which is very convenient to study the exchange of
<zlhf521> 在 2024-11-08 上传 | 大小：5.01mb | 下载：0

[弱点检测代码] mops-0.9.1.tar

说明：Mops 模型检测工具 用来对C程序进行检测-model checking c programs
<gavin> 在 2024-11-08 上传 | 大小：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-08 上传 | 大小：20kb | 下载：0

[弱点检测代码] NuSMV-2.4.3.tar

说明：NuSMV是一个符号模型检测器，由CMU的SMV发展而来的。-NuSMV-2.4.3 a model checking tool
<gavin> 在 2024-11-08 上传 | 大小：3.17mb | 下载：0

[弱点检测代码] Mcafee_VSE_RULE

说明：Mcafee VSE配置资料，设置规则。-Mcafee VSE configuration information, set the rules.
<张明> 在 2024-11-08 上传 | 大小：1kb | 下载：0

[弱点检测代码] gmer

说明：ger,一个很好的安全检测工具，检测系统有没有被修改过。-ger, a very good tool for safety testing, detection systems have been modified.
<张明> 在 2024-11-08 上传 | 大小：272kb | 下载：0

[弱点检测代码] Untangle

说明：untangle manual in chinease
<liubin> 在 2024-11-08 上传 | 大小：1.3mb | 下载：0

[弱点检测代码] IP

说明：他是一个监控IP数据包的流量的课程设计，含有源代码-He is an IP packet to monitor the flow of the curriculum design, contains the source code
<星云> 在 2024-11-08 上传 | 大小：61kb | 下载：0

[弱点检测代码] CPUused

说明：CPU利用率组件示例程序，此示例程序还实现了动态菲屏功能(每次启动程序都会看到不同的菲屏显示效果)等功能，检测CPU利用率功能前，请先正确注册组件。 注册语句如下： regsvr32 组件名(如: c:\\CPUuse.dll)-CPU utilization component sample application, this sample program also implements the dynamic Phil
<chenyu> 在 2024-11-08 上传 | 大小：204kb | 下载：0

[弱点检测代码] arpmim.tar

说明：数据包测试程序,能够一对一,多队一,和所有对一-Packet test program can be one on one, multi-team one, and all of a
<linlink> 在 2024-11-08 上传 | 大小：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> 在 2024-11-08 上传 | 大小：3.06mb | 下载：0