【摘 要】
：
当前,静态污点分析检测Android应用隐私泄露存在误报率较高的问题,这给检测人员和用户带来很大的不便.针对这一问题,提出了一种多源绑定发生的污点分析技术.该技术可以精确地
【机 构】
：
计算机体系结构国家重点实验室（中国科学院计算技术研究所）,中国科学院大学
【基金项目】
：
国家重点研发计划(2017YFB0202002);国家自然科学基金(61521092,61432016)~~
论文部分内容阅读
当前,静态污点分析检测Android应用隐私泄露存在误报率较高的问题,这给检测人员和用户带来很大的不便.针对这一问题,提出了一种多源绑定发生的污点分析技术.该技术可以精确地判断污点分析结果中多组源是否可以在一次执行中绑定发生,用户可以从单一分析1条结果转为分析有关联的多组结果,这既缩小了分析范围,又降低了检测的误报率.在精度上,该技术支持上下文敏感、流敏感、域敏感等特性,并可以有效地区分出分支互斥的情况.在效率上,提供了一种高效的实现方法,可以将高复杂度(指数级别)的分析降低为与传统方法时间相近的分析(初
其他文献
城市地下管线是城市的重要基础设施,是城市的生命线。简要分析了东莞市地下管线的现状,详细阐述了地下管线规划建设,尤其是信息化管理存在的各方面问题,最后有针对性提出了解
随着我国铁路提速、重载的发展，轮轨接触应力越来越大，钢轨伤损越来越严重，影响了行车的平稳性和安全性。开展高强钢轨的研究，对于预防和减缓伤损的出现，延长钢轨的使用寿命，具有重
猪肉消费一直是肉类消费中最重要的组成部分。猪肉新鲜度一直是人们关注的焦点,传统的猪肉新鲜度的检测方法操作复杂,具有很大的主观性,迫切需要开发一种客观、简洁、快速、
<正>1.准备:需要一支5 ml注射器,一支20 ml注射器,一支利多卡因,一支罗哌卡因,及10 ml生理盐水。2.配置成1%利多卡因及0.5%罗哌卡因的混合液。3.胫后神经的麻醉:首先触及胫后
为贯彻湖南省卫生厅"关于开展查处违法宣传改善性功能的健康相关产品专项行动的紧急通知",2003年3月对祁东县辖区内的性保健品市场进行了拉网式检查.结果表明,市售性保健品品
目的探讨2型糖尿病患者肌少症的发生情况及其相关因素的关系。方法采用横断面调查方法,选取2015年4月至2015年11月在贵州医科大学附属医院内分泌代谢科住院的2型糖尿病患者45
<正>由于我国幅员辽阔,各地区之间不仅资源条件不同(如耕地质和量的差异,土地后备资源多少不等、开垦难易不一等等),而且所处经济发展的阶段极不平衡,所需耕地的数量和时段也
采用疏水聚四氟乙烯(PTFE)中空纤维膜对垃圾渗滤液反渗透浓水进行真空膜蒸馏(VMD)试验,研究了曝气量、原液温度、冷侧真空度和浓缩倍数等对产水通量、COD、BOD5、氨氮含量、
中华古典诗歌是汉文化的瑰宝，以其情感细腻和意境之美而闻名于世，有着不可动摇的艺术地位。教师可通过知人论世、语词解码、熟读入境、掘源引水四个方面引导学生尽可能深刻地体
目的:比较3Dbody软件辅助教学模式与传统多媒体辅助教学模式在健康评估教学中的效果。方法:以湖南医药学院2016级助产专业58名学生为评价对象,以班级为单位随机分为两组,第一