静态编译

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

5,867 份资源

静态编译 全部资料 5,867 份

PDF文档

采用数据融合技术对源代码进行静态分析,实现可扩展的原型系统。对现有静态分析工具的分析结果进行解析和数据融合,并对相应的参数进行估计。为便于读取和分析输出结果,采用XML格式输出结果。对常用网络软件进行...

8 次
PDF文档

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

10 次