【摘 要】
：
Android手机在全球占有很大的市场份额,基于Android衍生的第三方系统也为数不少.针对Android系统重大安全问题频发的现状,提出一种使用Clang编译前端对Android源码进行静态分
【机 构】
：
中国科学院软件研究所基础软件实验室,中国科学院大学
【基金项目】
：
国家高技术研究发展计划（“863”计划）（2015AA016003）
论文部分内容阅读
Android手机在全球占有很大的市场份额,基于Android衍生的第三方系统也为数不少.针对Android系统重大安全问题频发的现状,提出一种使用Clang编译前端对Android源码进行静态分析的方法.该方法从已公布的CVE漏洞中提取规则和模型,通过改进的Clang编译前端,对Android源码进行静态分析,从而检测出有潜在安全风险的代码片段.在对Android源码进行污点分析时,调用新加入的stp约束求解器,通过符号执行,对敏感数据进行污点标记,并对敏感函数、敏感操作、敏感规则进行污点分析,如果存在
其他文献
激光切割做为机加工领域的新技术．可解决传统机加工中难以解决的诸多弊端，从而获得事半功倍的加工效果。其性价比较高．值得推广。
现有RPKI体系中, RPKI资料库与RP服务器之间的数据同步使用开源工具Rsync,但由于RPKI体系中证书数据结构的特殊性,使用Rsync进行数据的同步不仅效率低下,而且Rsync会消耗过多
PET材料用于啤酒包装在世界上许多国家已广泛应用。从2000年开始，国内的相关企业通过引进技术并率先实现产业化，但是由于市场因素总体效果并不理想，本文力图从客观的视角进行分
中国啤酒、饮料包装机械行业的技术发展水平日益提高，同时也促使了行业竞争进一步深入，同类产品的区域市场和局部市场呈现出白热化的竞争态势。唯有根源于企业培养的品牌才会赢
在一些运动目标检测过程中,需要自动判断是否检测到运动目标,虽然在场景中没有出现运动目标,检测结果却错误的判断为检测到了运动目标.为了找到这个错误的根源,通过实验,发现了光流扰动效应,并且设计了光流扰动效应检测算法,清晰地检测出了光流扰动效果.接下来,通过图像二值化方式,消除了光流扰动效应,避免了运动目标误判现象,得到了理想的运动目标检测结果.研究证明在空间中存在光流扰动效应,该效应会对运动目标检测
手机短信3D动画自动生成系统是根据发送方短信的内容,经过信息抽取、语义分析等一系列步骤,最终生成一段与短信内容匹配的三维动画并发送给接收方.信息抽取处于手机3D动画自
经国务院批准，财政部、国家税务总局10月21宣布，从2008年11月1日起，适当调高部分劳动密集型和高技术含量、高附加值商品的出口退税率。此次出口退税调整的目的是刺激我国出口业
本文设计实现了一种基于组件的信息物理系统描述语言CDL（CPS Description Language）.基于面向参量模型,将信息物理系统中的传感器、执行器和计算组件封装成具有统一抽象的组件,
FMC是美国最大的果汁及农产品加工机械制造商．在世界的几个主要柑橘加工产地及我国汇源集团都有该公司的设备在运行。本刊特约该公司柑橘系统及鲜果加工部中国区经理钱钧先生．
作者根据啤酒企业ERP管理（企业资源计划管理）构架的四个模块构成，提出系统的实施可及时分析出企业的生产状况，对新产品和特种产品也能有效地进行监控，可促使对企业产品生产营销全