【摘 要】
:
隐式流对于污点分析方法的准确性有重要影响。为此,提出一种基于程序单静态赋值形式的隐式流检测方法。通过生成控制流图的必经节点树检测控制依赖关系,计算必经边界发现程序
【机 构】
:
国家数字交换系统工程技术研究中心,中国信息安全测评中心,北京华夏信安科技有限公司
【基金项目】
:
国家“863”计划基金资助项目(2008AA01Z420)
论文部分内容阅读
隐式流对于污点分析方法的准确性有重要影响。为此,提出一种基于程序单静态赋值形式的隐式流检测方法。通过生成控制流图的必经节点树检测控制依赖关系,计算必经边界发现程序汇合点,引入虚拟取值函数获得汇合点变量的多个赋值,从而判别变量取值分歧并标记污点属性。与人工审计结果的对比证明,该方法能够诊断2个污点分析工具的污染缺失和污染过度问题,有效降低隐式流分析的误报率和漏报率。
其他文献
针对电子鼻伤口感染检测中的背景干扰问题,提出一种带参考向量的独立分量分析(ICA)背景干扰消除算法。利用ICA分解传感器阵列信号并提取独立分量,通过计算独立分量与参考向量的相
对外承包工程是指承包商按照合同规定承揽境外工程项目的活动,是一项集设计、咨询、采购、施工、结算等多项环节为一体的综合性的国际经济合作方式。与对外承包工程相关的很多
通过信息技术的引入,将能够帮助数学课堂重新焕发活力,激发学生学习兴趣,加强学生的理解和情感体验,提高学习效率,从而正确学生对数学的学习效果。
【摘要】 对学生而言,他们喜欢体育活动而不喜欢体育理论课,而根据《体育、体育与健康教育标准》的要求,在运动参与、运动技能、身体健康、心理健康和社会适应五个领域中,都有一定比例的理论课要求,怎样创设情境,调动学生学习积极性,激发学生的学习兴趣,活跃课堂气氛,促使学生主动观察、思考、记忆,培养实践创新能力,成了体育教师面临的新课题。 【关键词】 体育;理论课;情境教学;导入法 情境创设是教学设
为利用统一计算设备架构(CUDA)强大的并行处理能力实现快速图像融合,提出一种适用于并行运算的图像融合算法,包括高斯滤波、直方图均衡、基于小波变换的图像融合。通过CUDA编程对以上算法进行实现,并将其与对应的CPU程序相比较,实验结果表明,图形处理单元(GPU)执行效率比CPU高出一个数量级,并且随着数据量的增加,GPU的加速比还会增大。
目的观察不同封管液对血液透析(HD)患者深静脉留置导管的影响及护理。方法将60例深静脉留置导管维持血液透析患者分成对照组(以肝素钠10 000 U的生理盐水2.7 mL封管)和观察组
《寻金者》是2008年诺贝尔文学奖得主勒克莱齐奥的代表作之一。自然地理元素在《寻金者》的叙事框架、主题表现方面发挥了重要作用。在当代空间理论视域下,这部小说的空间叙
介绍冲击压实技术在广东省省道S230定忠线和平南段水泥砼路面大修工程中的应用情况.探讨冲击压实的作用机理,并对使用效果进行分析.供同类工程施工提供参考。
提出一种基于金字塔梯度方向直方图的分层投票方法,将其用于人脸识别、对象识别和对象检测等领域。利用分层投票机制选出分类效果最好的层,并为它们赋予相应的投票权值,最终对图像类别进行投票。在ORL和UIUC Car数据库上进行实验,结果表明,改进方法优于传统的特征向量分类方法。
针对视频中噪声点难以消除和路面背景难以提取的问题,提出一种基于车辆平均轨迹的车道提取方法。对视频中的车辆进行跟踪,得到它们在每一帧中的位置,将这些位置中心点根据算法拟合成一条平均轨迹。从视频帧中选择出合适的一帧作为背景图,对背景图进行形态学处理以消除天空及两边景物等干扰较大的噪声点,并通过进一步处理得到二值化的背景图。将平均轨迹与二值化图进行匹配,提取出车道。实验结果表明,该方法适用于多种道路且不