检具

检具技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

检具 热门资料

查看全部 500 份 →

corba是一款商用内存检测工具，功能全面 在Linux下，使用Insure++检测程序，需要用Insure命令协同编译器来编译和连接程序，在源编译器编译前加Insure命令。 程序为其使用的一个例子

2013-12-23 169 检具

介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议，并引进线性时序逻辑刻画了安全协议的性质，用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。

2023-12-20 7 检具

PC-Lint是一种静态代码检测工具，可以说，PC-LINT是一种更加严格的编译器，不仅可以象普通编译器那样检查出一般的语法错误，还可以检查出那些虽然完全合乎语法要求，但很可能是潜在的、不易发现的错误。

2015-03-27 165 检具