论文部分内容阅读
提出一种基于SSA中间表示的源代码信息流分析算法，介绍隐蔽通道识别过程，采用基于信息流的工作表实现该算法，讨论其在时空代价以及分析精度方面的特点，并将分析框架嵌入GCC编译器。仿真实验结果表明，该算法是有效的，且具有一定应用价值。
基于SSA中间表示的源代码信息流分析
【摘 要】
：
提出一种基于SSA中间表示的源代码信息流分析算法，介绍隐蔽通道识别过程，采用基于信息流的工作表实现该算法，讨论其在时空代价以及分析精度方面的特点，并将分析框架嵌入GCC编译器
【机 构】
：
南京大学计算机科学与技术系,南京大学计算机软件新技术国家重点实验室
【出 处】
：
计算机工程
【发表日期】
：
2009年13期
【基金项目】
：
国家自然科学基金资助项目（60773170,60721002）,国家“863”计划基金资助项目（2006AA01Z432）
其他文献
随着我国资本市场的产生、发展和完善，人们对于资本市场功能的认识呈现为一个不断深入的过程。随着这一过程的推进，资本市场在宏观调控中的重要作用日益为人们所重视。我国资本
从古至今，相近的地理、文化及相同的历史遭遇使中韩两国经贸交流十分活跃。特别是1992年两国建交以来，两国的经贸往来发展更为迅猛。目前韩国已成为中国第三大贸易对象国和第三
金融数据的波动性一直是经济学研究的热点问题之一。刻画金融数据的波动性通常有两类模型：其一是ARCH模型族，它包括Engle于1982年提出的自回归条件异方差模型(ARCH模型)和Bolle
根据激光对抗中引偏干扰的特点，提出了适应于引偏干扰效果评估的准则，对其合理性进行了分析，并设计了干扰效果评估试验方案，模拟试验结果表明指向角度的变化反映了“干扰”激光的
采用溶胶-凝胶法在毛玻璃表面制备了均匀透明的过渡金属与稀土金属离子共掺杂纳米TiO2薄膜，并用甲基橙进行了该薄膜的光催化降解性能的实验研究。借助于X射线衍射、扫描电子显
银行业是整个国民经济中至关重要的一个部门,一个健全高效的银行体系能够为社会提供快捷的支付系统、动员全社会的储蓄并为整个经济建设的其它部门输送资金。也就是说,银行业
如何提高网格信息系统的查询效率是提高网格性能的关键问题之一。在基于资源分类树(将计算资源按其属性和数值组织成平衡二叉树)的网格信息系统中,资源分类树深度过大,搜索效率就会降低。针对该问题,提出基于启发式搜索算法的查询优化方案并成功应用于原有的查询系统。给出具体的算法、实验步骤及结果分析。实验结果表明,采用启发式搜索可以提高网格查询系统的查询效率。
针对一种直线电机驱动的2-DOF并联机构，结合直线电机的动力学特性，采用Lagrange方法对其进行动力学建模。考虑该机构重复性动作及其不确定性和非线性特点，提出一种自适应神经网
本研究对接受产前保健教育的妊娠妇女进行了问卷调查[1],旨在了解妊娠妇女对分娩方式的选择取向、对分娩镇痛的认同以及产前教育对妊娠妇女的影响。一、资料与方法1.调查对象
高校大学生班级学生干部是辅导员的得力助手,也是班级发展的重要动力,大学生班级干部的选拔和培养是新生入学和完成大学学业所面临的重要课题,也是辅导员完成好学生工作的重