云南高校图书馆联盟文献共享服务平台- 李进辉

李进辉: 作品数：1被引量：3H指数：1; 导出分析报告; 供职机构：北京大学信息科学技术学院高可信软件技术教育部重点实验室更多>>; 发文主题：程序静态分析分析技术CODA更多>>; 发文领域：自动化与计算机技术更多>>; 发文期刊：《计算机学报》更多>>; 所获基金：国家自然科学基金创新研究群体项目国家自然科学基金国家重点基础研究发展计划更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

一个可半自动化扩展的静态代码缺陷分析工具被引量：3: 《计算机学报》2011年第6期1114-1125,共12页梁广泰孟娜李进辉钟浩张路王千祥; 国家自然科学基金重点项目(61033006);国家"九七三"重点基础研究发展规划项目基金(2009CB320703);国家自然科学基金(60773160);国家创新研究群体科学基金(60821003)资助; 基于缺陷模式的代码缺陷分析技术根据预先设定的缺陷模式知识对受检代码进行缺陷分析.这种分析技术具有使用简单、查找速度快等优点,是近年来静态代码缺陷分析方法中发展比较迅速的新技术.但是目前基于这种分析技术的大多数工具并没有...; 关键词：静态分析缺陷分析半自动化扩展缺陷模式