【摘 要】
：
为了产生高质量和高可靠性代码,提出一种指针解引用静态检测方法,该方法给出了指针状态转换的有限状态机定义。通过对源代码进行语义分析,得到指针指向信息,建立指针与内存单
【机 构】
：
电子科技大学计算机科学与工程学院,电子科技大学信息与软件工程学院
【基金项目】
：
国家核高基重大专项资助项目（2009ZX01039-003-001-002）, 国家自然科学基金面上资助项目（60973016）, 电子科技大学中央高校基本科研业务费专项资金资助项目（ZYGX2009J062）
论文部分内容阅读
为了产生高质量和高可靠性代码,提出一种指针解引用静态检测方法,该方法给出了指针状态转换的有限状态机定义。通过对源代码进行语义分析,得到指针指向信息,建立指针与内存单元之间的映射关系,并根据有限状态机中的指针状态判断指针解引用是否合法。本方法不仅记录了变量的作用域和指针集,还分析了指针的确定指向和可能指向,并对部分控制块采取延迟写入指向的方法,提高了指针解引用分析的精度,同时还可以检测内存释放异常的问题。实验结果表明该方法能有效检测非法指针解引用和内存释放异常。
其他文献
建筑工程事业中，土地资源有着不可替代的重要意义，而且它还被划分为稀缺资源行列。我们国家的土地所有权统一归国家持有，个人及各企事业单位只可以行使使用权，所以，土地资源价格根
目的：建立我国儿童福利机构儿童康复医学学科。方法：通过背景和现状分析，认为制约儿童福利机构儿童康复学科发展的主要因素为：一是儿童康复工作的相关政策法规及行业标准不完善；二
脱硝技术是电厂的关键技术，对电厂的正常运转有着重要的作用。为了有效提升脱硝效果，在今后工作中需要加强对新时期电厂脱硝技术的研究。本文将重点探讨SCR脱硝技术，通过对其分
1病例患者，男，75岁，无故坚信其老伴有外遇，伴记忆力下降半年余。该患者半年前开始特别关注老伴的行踪，每次老伴外出回来他都刨根问底，问老伴干什么去了，跟谁一起去的。不让老伴跟异
目的：探讨甲状腺良性肿瘤切除术术前、术后的护理要点。方法：对我院术后病理确诊的215例甲状腺良性肿瘤切除术术前、术后护理资料进行回顾性分析。结果：经过仔细观察、护理,及时
春节前的功北地区粳米市场货源充足．各加工厂、超市纷纷抓住节前的消费高峰打灯促销牌，但通过对该地区稻米监测发现，由于货源允分，新产粳米市场价格平稳．没有出现涨价现象。
国家发展和改革委员会9月26日对外公布了明年我国粮食、棉花进口关税配额数量、申请条件和分配原则。
世界种子市场无论从营业额角度还是获取的植物育种者权益角度看，都是发达国家的种子公司居于主导地位。尤其是美国种子的科研生产推广水平处于国际领先水平。
新鲜黑玉米具有较高的营养与保健价值，玉米汁与鲜牛乳混合发酵后营养与保健价值更高。本实验对有机鲜黑玉米双歧乳的加工技术进行了研究。
目的：回顾性分析2000年至2009年收住我院的152例腰椎间盘突出症保守治疗的效果及作用机理。方法：152例腰椎间盘突出症患者都采用中药活血化瘀法结合骶管注射治疗。结果：根据杨氏