【摘 要】
：
相比软件测试和人工审查,静态分析软件缺陷近年来有较大发展.我们设计并实现了一个基于源代码的缺陷自动化分析器ABAR.ABAR采用状态机检测方法,提供一种缺陷描述语言将缺陷描
【机 构】
：
北京邮电大学,北京,100876 中国科学院计算机科学国家重点实验室,北京,100190
【出 处】
：
第三届信息安全漏洞分析与风险评估大会
论文部分内容阅读
相比软件测试和人工审查,静态分析软件缺陷近年来有较大发展.我们设计并实现了一个基于源代码的缺陷自动化分析器ABAR.ABAR采用状态机检测方法,提供一种缺陷描述语言将缺陷描述为基于变量的状态机,通过对源程序每一条执行路径上的变量进行状态追踪,可以有效地检测出真实源代码中存在的缺陷,同时能对发现的缺陷进行回溯和准确定位.为提高检测效率,我们在路径缩减、等值及别名分析、缓存等方面作了优化.
其他文献
当前，医院感染已成为医学界的重要研究课题，研究表明，医护人员手上携带的细菌与医院感染密切相关，手是医院感染传播的主要媒介之一。为此，我们对本院５个科室１２６名医护人员手的带菌情况
金融改革成为中国资本市场上一个新的标签,但对于个人投资者而言,这到底显现出怎样的一条财富路径?作为社会经济的核心,金融业在社会所有行业的金字塔中处于顶端,为社会经济
对于肯德基这个再也熟悉不过的“洋快餐”,大家是不会去谈论它的生存问题,因为它已深深地扎根在中国这块土地上.我也经常光顾肯德基,有时与家人孩子,有时与亲戚朋友,有时与合
寂寞是解不开的结,缠绕的是万千烦恼丝;寂寞是煮不开的水,温温的,始终没有兴奋的感觉;寂寞是甩不掉的影,朦朦胧胧,隐隐约约……有人说寂寞是一种病,如同感冒一般,人所难免.就
妈妈,爸爸走了,我陪你一起过吧童年给我的最深刻的记忆,就是爸爸妈妈吵架,他们总是在吵。我12岁那年,爸爸妈妈离婚了。至今我还记得妈妈从法院回来的那一天,一进门就抱着我哭
压力蒸气灭菌因处于一定压力，穿透力强，温度高，是热力消毒中效果最好及目前医院应用最广泛的一种方法，我院于1992－of－1997－07运用化学方法3M胶带指示剂，物理方法留点温度计及生物方法
凹印发展到今天,是与众多相关行业的共同努力分不开的,如设备制造、油墨、溶剂、制版行业新技术的采用,印刷行业新工艺的实施等无不推动着凹印向着繁荣发展的方向迈进.当然,
输血后疟疾的调查及防治无锡市红十字中心血站吴定芳输血可引发疟疾（以下简称输血疟）传播，本文对我站输血疟发生情况的调查结果及防治措施报告如下。１调查内容与方法以疫情报告为
2005年8月18日,由中国印刷集团、中国印刷科学技术研究所和全国印刷标准化技术委员会主办,科印传媒《数码印刷》杂志承办的首届“数码印刷在中国”技术高峰论坛暨“科印杯”
谢玉岑,一个才高命薄、有情有义的男子。他用一生的孤独将痴情化作一种姿态,心甘情愿地做了深情的囚徒。 谢玉岑出生在江南水乡常州,谢家曾是书香望族,他的祖父、父亲、伯父皆工诗善文,有着深厚的文学功底。到了谢玉岑这一代,兄弟姐妹数人也都算是颇有才华的青年才俊。 可是,谢玉岑偏偏出生在清末民初这个动荡的年代。飘摇不定的时局似乎注定了谢玉岑一生坎坷的命运。 在他年仅十三岁时,谢玉岑的父亲、伯父相继离世