【摘 要】
：
空指针引用错误是一种常见的、难以发现和避免的程序错误。针对该错误，结合传统静态分析方法和符号执行方法，提出一种过程内流敏感、路径敏感和过程间上下文敏感的多敏感静态分
【机 构】
：
清华大学计算机科学与技术系,北京,100084
论文部分内容阅读
空指针引用错误是一种常见的、难以发现和避免的程序错误。针对该错误，结合传统静态分析方法和符号执行方法，提出一种过程内流敏感、路径敏感和过程间上下文敏感的多敏感静态分析方法。对全局指针、局部指针以及函数的指针类参数进行建模，对指针指向地址进行简化分类。在函数间传递指针的指向状态，在函数内遍历路径，使用约束求解的方式判定路径可达性，当函数分析结束后，在退出点进行指针状态信息合并，以减少漏报和误报。在此基础上，使用人工标注错误触发条件的方式进一步提高分析效率，减少漏报和误报。实验证明，该方法能够高效地检测出各类空指针引用错误。
其他文献
十八届六中全会重申了“全面从严治党”的主题。而推动“全面从严治党”向纵深发展,就必须加强和规范党内政治生活。六中全会通过的《关于新形势下党内政治生活的若干准则》
文章阐述了干燥剂自动投放机存在的问题（切破包），并对问题进行了分析，进而运用光纤电眼和PLC逻辑控制对设备进行改造，基本上解决了问题。
去年深秋,在老北京一间古色古香的会客室里,接受我们釆访时,陆德教授打开记忆的闸门,向我们娓娓道来父亲陆定一与广州起义的渊源,并回忆起在他心目中父亲最感人的四件事——
一般来说,城建档案整理工作具体可划分为分类、组卷、排列、编目四个工作环节,其中分类是整理工作的首要环节,它决定着城建档案保管与利用工作的质量和效率,因此分类又是城
学生社团是大学中一种十分重要的组织.目前,学生社团已逐渐在高校的现行管理环境中不断提升自身的自治水平,学生社团自治有利于塑造学生社会主体性,引导学生参与学校管理以及
2007年4月太湖梅梁湾比往年提早一个月出现大面积蓝藻水华,随后太湖水源地受到污染,自来水出现恶臭,无锡市大部分生产与生活用水供应中断,造成重大经济损失和严重社会影响.
毛泽东是一个内心充满着爱和痛苦的伟大的父亲。他的爱之博大,我们完全可以从他的人格魅力和传奇的故事中感受得到,但他内心深沉的痛苦却并不是我们常人所能体味的。毛泽东共
摘 要：大数据显示，近几年的电力企业，由于多种原因影响，遭受到的客户投诉率逐年增长，在新时代的浪潮下，电力企业的竞争越发激烈，电力企业如何提高服务质量，降低客户投诉率，对电力企业抢占市场份额尤其重要，由于我国市场的特殊情况，电力企业遭到投诉的情况时有发生，在这种大环境下，良好的服务质量，能为电力企业赢来良好的口碑，增加企业在时代的竞争力。 关键词：电力企业；服务质量；职业技能 前言：近几年随着
《小学语文课程标准》对口语交际提出了这样的总体目标：“具有日常交际的基本能力，在各种交际活动中，学会倾听、表达和交流，初步学会文明地进行人际沟通和社会交往，发展合作精神”。这一目标，对于城市孩子来说，极易达到，但对于农村小学的孩子来说，却是非常不容易的。那么，如何使这些学生“愿说、善说、乐说”，掌握较强的口语交际能力呢？ 注：本文中所涉及到的图表、注解、公式等内容请以PDF格式阅读原文
从我国目前焦化厂的现状来看,干熄焦炉冷却室中的磨损程度直接制约了焦化厂长期安全和稳定的生产,其主要表现虽然不同,但是实际的原因基本一致,主要因素在于所用的耐高温砖体