论文部分内容阅读
介绍了当前主流的静态代码分析技术,在分析讨论其优缺点的基础上提出了一种新的静态代码检测模型。该模型结合了当前成熟的静态分析技术,并借鉴了编译器中数据流和控制流分析的思想,获取上下文关联的数据信息,从而更加准确地分析代码中存在的安全问题。
基于静态分析技术的源代码安全检测模型
【摘 要】
：
介绍了当前主流的静态代码分析技术,在分析讨论其优缺点的基础上提出了一种新的静态代码检测模型。该模型结合了当前成熟的静态分析技术,并借鉴了编译器中数据流和控制流分析的思想,获取上下文关联的数据信息,从而更加准确地分析代码中存在的安全问题。
【机 构】
：
北京邮电大学网络与交换技术国家重点实验室信息安全中心
【出 处】
：
计算机应用研究
【发表日期】
：
2008年09期
【基金项目】
：
国家教育部博士学科点专项基金资助项目（20050013011）,国家“973”重点基础研究发展计划资助项目（2007CB310704）
其他文献
介绍了从含钛高炉渣中回收钛的绿色分离技术.该技术包括三个连续的单元操作过程：（1）促使渣中分散于各矿物相的钛组分选择性转移并富集于设计的矿物相-钙钛矿,实现“选择性富集”
转炉大补炉后冶炼第一炉钢时钢中磷含量容易偏高,有时甚至超出钢种要求的磷含量上限.结合某厂90t转炉大补炉后冶炼第一炉钢时的生产情况,分析了入炉铁水硅含量、脱磷剂加入量
分析了金属消费函数表现为4种组合特征时与其折旧再生指数的变化关系．根据统计资料，确定了近几十年来美国、日本、中国的钢铁消费函数对应的组合特征．在此基础上，讨论了这三国钢
序在辛亥革命百年的2011年的金秋十月，材料与冶金学院迎来了建院十五周年。十五年间材料与冶金学院的全院师生员工，秉承“献身求实、团结创新”的校风，齐心协力、开拓探索，在学科
在透射电镜实验结果的基础上，提出了Bi-2212相向Bi-2223相转变的位错管扩散机制模型．根据固体扩散相变理论结合位错动力学公式，计算了在高温下Bi-2223相形核所需要的能量和生长
焚烧是目前垃圾处理的主要方式之一，但垃圾焚烧所产生的飞灰中含有大量的重金属，如不进行妥善处理，会对环境产生破坏．本文采用铁浴熔池对垃圾焚烧飞灰中的重金属进行了熔融分离试
首次将802.11e的接入机制放入多跳环境中进行仿真分析和定量研究。提出一种新的多跳环境下802.11e网络模型,结合M/G/1/K排队模型,定量分析在隐藏终端影响下802.11e网络的MAC层吞吐率、MAC时延和帧丢失率,研究802.11e在多跳环境下性能表现的内在原因。经过仿真实验结果与数值分析结果的对比,验证了分析模型的准确性;通过有(无)隐藏终端影响下MAC层性能的对比分析,指出了802.
为获得高质量的水稻叶部病害图像,在自行设计的灯箱中充分考虑了物距、灯管数目、灯管高度、灯管侧距等成像环境因素对图像质量的影响,通过主客观评价方法对不同成像环境因素水平下拍摄的照片进行质量评价,最终得出最佳成像环境因素取值水平。该过程分为三步:首先采用正交试验法设计各环境因素取值水平并拍摄照片,然后采用客观评价方法进行图像质量评价,最后通过与主观评价方法对比确定成像环境因素最佳取值水平。经过大量实验
采用反射和开放编译技术,设计并实现了一个面向对象程序静态分析器,对开放编译器Open C++进行了扩展与改进。通过实验研究表明,该程序静态分析器可以得到全面的系统依赖信息,可以有效地辅助程序理解。
提出了一种新的适用于Ad hoc网络的媒体接入控制算法,该算法通过五次握手预约调度资源,利用节点底层的多包接收(MPR)能力,保证高概率的接入和提高并行传输率,从而提高网络吞吐率。对算法进行了理论分析和仿真,分析结果表明与FPRP相比,有效地提高了Ad hoc网络的吞吐率。