刘莉

作品数：2被引量：10H指数：1
导出分析报告
供职机构：北京邮电大学计算机学院网络与交换技术国家重点实验室更多>>
发文主题：循环处理算子程序切片误报程序语义更多>>
发文领域：自动化与计算机技术自然科学总论更多>>
发文期刊：《清华大学学报（自然科学版）》《计算机学报》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
提高区间运算的循环处理精度被引量：1
《清华大学学报（自然科学版）》2011年第S1期1483-1486,1493,共5页刘莉 金大海 宫云战 
国家自然科学基金项目(91018002)
循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象...
关键词：静态分析 区间运算 循环处理 Widening/Narrowing算子 
提高路径敏感缺陷检测方法的效率及精度研究被引量：9
《计算机学报》2011年第6期1100-1113,共14页赵云山 宫云战 刘莉 肖庆 杨朝红 
国家"八六三"高技术研究发展计划项目基金(2009AA012404);国家自然科学基金项目"航天嵌入式软件缺陷检测方法研究;系统研发及应用"(91018002;2010)资助
路径敏感的缺陷检测方法其缺陷状态会关联当前控制流节点的所有数据流信息,由于其中包含与缺陷检测无关的数据流,因此会导致分析效率下降.为了避免全路径敏感分析时的路径爆炸问题,一般会在控制流汇合节点进行缺陷状态合并,而这种粗糙...
关键词：静态分析 缺陷检测 路径敏感 误报 程序切片 上下文敏感分析 域敏感分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部