使用共享变量分析和约束求解检测安卓应用数据竞争

来源 :软件学报 | 被引量 : 0次 | 上传用户：QQ747881021

【摘要】

：

安卓系统在移动端操作系统始终占据主导地位,在增强用户体验和提高程序性能的同时,其特有的事件驱动模型和多线程模型也造成了并发缺陷.并发程序中,线程调度的不确定性和难以

【作者】

：

孙全许蕾夏昕濛张卫丰

【机构】

：

计算机软件新技术国家重点实验室（南京大学）,南京大学计算机科学与技术系,南京邮电大学计算机学院

【出处】

：

软件学报

【发表日期】

：

2019年11期

【关键词】

：

安卓应用数据竞争事件驱动模型多线程模型约束求解 Android application data race event driven model mul

【基金项目】

：

国家重点基础研究发展计划(973)(2014CB340702),国家自然科学基金(61272080,91418202,61403187),江苏省自然科学基金(BK20140611)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

安卓系统在移动端操作系统始终占据主导地位,在增强用户体验和提高程序性能的同时,其特有的事件驱动模型和多线程模型也造成了并发缺陷.并发程序中,线程调度的不确定性和难以再现性是并发缺陷检测困难的原因.现有技术主要在动态生成执行路径的基础上进行发生序(happens-before)分析,进而检测安卓应用的并发缺陷,但仍然存在低覆盖率、误报、漏报等问题.结合共享变量分析和约束求解方法实现了安卓应用数据竞争的检测,并实现了检测工具RaceDetector.该工具首先根据安卓系统的特性和数据竞争的定义,通过静态分析抽

其他文献

绿典执着追求品质完美

北京天彩纺织服装有限公司是我国国内成立较早集天然彩色棉系列纺织品研发、设计、生产、营销于一体的产业化运作的环保科技型纺织企业，自2000年成立以来，始终把“环保、绿色、

期刊

品质环保科技天然彩色棉产业化运作纺织服装纺织企业经营理念纺织品

第二军大学长征医院——应用氧化苦参碱治疗病毒性肝炎有效

期刊

第二军大学长征医院氧化苦参碱治疗病毒性肝炎低氧血症

快乐儿童节欢乐MALL中游

一年一度的儿童节到了,今年的儿童节,身为家长的您都带孩子们到哪里快乐了呢？我倒是发现一个好去处,在那里,可以找到小朋友们想要的一切,好吃的、好玩的、学习的、穿戴的……

期刊

MALL儿童中游生活区孩子