静态检测

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

资源总数
500

静态检测 热门资料

查看全部 500 份 →

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

2015-03-27 165 静态检测

软件安全漏洞问题日益严重，静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面：静态分析和程序验证，重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执

2024-05-03 10 静态检测

软件密集型装备故障的静态检测:软件密集型装备是指软件和硬件紧密结合的装备，软件密集型装备中的故障多由软件与硬件相互作用引发。本文对程序流程违反硬件工作时序引起的故障进行了分析，并建立了故障模型，

2024-03-29 5 静态检测

HTML静态，适合初学者，适合初学者，下载个Macromedia Dreamweaver 8运行

2014-01-12 46 静态检测

zlib静态库，实现数据压缩的工具！可以放在开发VC++程序中使用

2016-04-02 143 静态检测