论文部分内容阅读
研究了细颗粒动态污点分析的瓶颈所在，提出一种基于roBDD的细颗粒度离线污点分析方法。实验结果表明该方法能够显著提高细颗粒度污点分析的性能，并减低内存需求，为进一步扩大细颗粒度污点分析的应用提供了途径。
基于roBDD的细颗粒度动态污点分析
【摘 要】
：
研究了细颗粒动态污点分析的瓶颈所在，提出一种基于roBDD的细颗粒度离线污点分析方法。实验结果表明该方法能够显著提高细颗粒度污点分析的性能，并减低内存需求，为进一步扩大细
【机 构】
：
北京大学互联网安全技术北京市重点实验室,北京大学计算机科学技术研究所
【出 处】
：
北京大学学报：自然科学版
【发表日期】
：
2011年6期
【基金项目】
：
国家自然科学基金（61003216）资助
其他文献
目的对黔江区孤寡老人视力健康状况调查,探讨影响黔江区孤寡老人视力健康的因素。方法选取该区现有的4 582名孤寡老人作为研究对象(2015年10月—2016年10月),对所有入选该次
研究了0515号登陆台风“卡努（Khanun）”对江苏暴雨过程的影响．结果表明，此暴雨过程属主要由台风本身的气旋性涡旋所造成的区域性暴雨，位于台风移向的右前方．通过对物理量场诊断分析
目的在预计自主呼吸困难气道患者的麻醉诱导期间应用七氟醚与瑞芬太尼及丙泊酚,评价其对保留自主呼吸困难气道的临床意义。方法该次探究需要利用自愿参与原则在该院所收治的
海水养殖业在带来巨大的经济效益的同时，也给近岸海湾带来环境污染．目前．海上太多的网箱养鱼，阻碍了海水流动，使得水流减弱，残饵和鱼的排泄物沉积于海底，造成底质恶化，硫化物严重超标
在以前工作基础上对有限长方柱的瞬态响应进行了研究,得到了其在任意外力作用下解析形式的瞬态响应图。从绘制的图谱中能够清晰地看到柱面的翘曲变形和机械信号沿着拟P波、拟
根据2003年南沙群岛西南陆架区春秋两季调查资料,分析南沙群岛西南陆架区条尾鲱鲤的资源现状.结果表明,渔获率有明显的季节变动,秋季（1.76kg/h）高于春季（0.08kg/h）,春季密集分布
应用垂直平板聚丙烯酰胺凝胶电泳技术(PAGE),研究分析了取自浙江舟山朱 家尖养殖区的三疣梭子蟹5种组织中10种同工酶以及肌浆蛋白的表达情况,并进行 生化遗传分析．结果显示,在
本文应用分子系统发育学的方法,以“白蚝”和“赤蚝”的18SrDNA、ITS1和ITS2片段序列信息为分子标记,对它们的分类地位进行了探讨.综合上述3种分子标记的分析结果,初步认为“
目的神经内镜下与传统分流术对治疗脑积水的效果比较。方法选取2015年12月—2017年1月该院所收治的137例脑积水患者,按照患者手术治疗方式将137例患者分成为2组,分别为观察组
提出了在XML数据流上有效评测XPath订阅的技术和方法。根据XPath层次结构的语义特征,设计了基于非确定有限状态自动机的动态索引结构,使得具有相同前缀的XPath查询可以共享存