静态检查
静态检查技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
静态检查 热门资料
查看全部 500 份 →飞机全静压系统检查仪的研制
全静压系统检查仪对飞机上该系统的气密性与仪表指示的准确性有直接影响。针对原检查仪存在的问题,研制了无油真空压力泵和以单片机为控制核心基于振动筒式压力传感器的测量显示组件,设计了新的检查仪。经实
2024-04-05
7
PC-Lint是一种静态代码检测工具
PC-Lint是一种静态代码检测工具，可以说，PC-LINT是一种更加严格的编译器，不仅可以象普通编译器那样检查出一般的语法错误，还可以检查出那些虽然完全合乎语法要求，但很可能是潜在的、不易发现的错误。
2015-03-27
165
软件安全漏洞的静态检测技术
软件安全漏洞问题日益严重，静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面：静态分析和程序验证，重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执
2024-05-03
10