【摘 要】
：
为了实现对C程序中空指针引用的充分检测,本文提出了一种基于区域内存模型的空指针引用缺陷检测方法.首先,提出了基于区域的符号化三值逻辑(Region-based Symbolic Three-Val
【机 构】
：
北京邮电大学网络与交换技术国家重点实验室,中国石油大学华东计算机与通信工程学院
【基金项目】
：
国家自然科学基金(No.91318301,No.61202080);国家863高技术研究发展计划(No.2012AA011201)
论文部分内容阅读
为了实现对C程序中空指针引用的充分检测,本文提出了一种基于区域内存模型的空指针引用缺陷检测方法.首先,提出了基于区域的符号化三值逻辑(Region-based Symbolic Three-Valued Logic,RSTVL),RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及可寻址表达式间的各种关系;其次,给出了基于抽象语法树与函数摘要识别被引用指针方法;最后,结合基于RSTVL的数据流分析结果,将对被引用指针的检测转换为对相应区域的检测,给出了空指针引用缺陷检测的方法,通过函数摘要实现过程间的空指针引用缺陷检测.对比实验结果表明,本文方法在保证一定检测准确率的前提下,能够极大的减少空指针引用缺陷的漏报.
其他文献
3月9日上午，山东省无线电管理办公室济宁管理处（以下简称“济宁无管处”）接到兖州矿业集团铁路运输处的干扰投诉称．其所属大东章车站的无线电平面调车频率受到不明电台干扰，影响铁
调频发射机“２＋１”备份共用天馈线方案邹朝阳（成都广播电视局蜀都发射台６１００１６）１．前言目前，各城市广播电台为了扩大其影响和知名度，都在充分利用频率资源，多上几套节目，争办系列台和专业台。但
目的对肠造口患者应用全程化护理管理,分析其对患者生活质量的影响。方法选取2013年6月至2014年6月肠造口患者100例为研究对象,随机分为2组,对照组采用常规护理干预,观察组采
根据VHF／UHF频段电波传播特性．无线电业务的发展和无线电技术设施的整体情况，结合当地电磁传播环境，利用ITU—RP．1546传播模型对小型无线电监测系统的覆盖范围进行了仿真，估算出了
工业革命发展以来，社会经济得到了充足地发展，但生态系统的破坏日益加重。建筑业作为高消耗的、具有严重污染性的行业，尤其适用于生态技术。本文对生态技术和建筑结合的必要性进
今年高考期间，孝感市无线电管理处应湖北孝感市政府要求为当地考点进行了无线电保障。我们在查处作弊人员的过程中积累了一些宝贵的经验。
马克思世界历史思想是马克思揭示相对离散的个体为什么会和如何形成资产阶级属性世界历史的,以及在这个历史的前提和基础上无产阶级属性世界历史如何最终形成的特定思想。本
2010年12月27日,在工业和信息化部科技司主办的2009年度国际电信联盟（ITU）优秀文稿评选活动中,国家无线电监测中心11名同志的7篇文稿被评为优秀文稿。