代码静态分析相关论文
缓冲区溢出已经成为一种常见的安全漏洞．本文介绍了一种基于代码静态分析的缓冲区溢出检测算法，该算法对源代码进行建模，构造其抽象语......
目前,嵌入式系统已广泛地应用于控制系统部件和智能仪表中,在控制系统部件对嵌入式系统依赖性增强的同时,对嵌入式软件质量的要求......
代码复用是重要的软件复用方式之一,复用者需要理解软件代码实现的功能方能有效实施软件复用.基于主题建模技术的程序理解方法逐渐......
为降低软件工程项目的开发风险和后期维护成本,本文提出一种模型检验的可扩展C代码静态检查方法。该方法将C代码常见错误归纳为可......
作为程序源码漏洞检测的重要方法,静态代码分析技术一直活跃在代码分析领域的前沿。本文首先对近年来静态代码分析技术 的研究现状......
为了满足代码分析对多语言静态信息提取的需求,克服当前构建单语言提取重用率低、过程复杂等不足,采用直接修改GCC特定解析阶段源......
