公开(公告)号：CN104778092A

公开(公告)日：2015-07-15

申请号：CN201510218338.9

申请日：2015-04-30

Applicant: 南京大学

Inventor： 许畅 ,  马晓星 ,  吕建 ,  李其玮

IPC: G06F11/00

Abstract: 目前的安卓应用的传感器分析检测系统存在覆盖范围窄，效率低，分析检测结果不稳定等缺陷。为了解决以上问题，本发明提供了一种针对安卓应用对传感器的能耗漏洞的分析与检测系统，由安卓应用执行模块，传感器数据产生模块和传感器数据利用率分析模块构成，安卓应用执行模块分别和传感器数据产生模块和传感器数据利用率分析模块连接，并且所有的模块运行于验证可执行Java程序的JPF(Java Pathfinder)系统上。本发明提出的针对安卓应用对传感器的能耗漏洞的分析与检测系统，最后得到的诊断结果是正确的、高效的和稳定的，上述所有的过程都是自动化的，不需要用户的额外参与。

公开(公告)号：CN104778092B

公开(公告)日：2017-09-12

申请号：CN201510218338.9

申请日：2015-04-30

Applicant: 南京大学

Inventor： 许畅 ,  马晓星 ,  吕建 ,  李其玮

IPC: G06F11/00

Abstract: 目前的安卓应用的传感器分析检测系统存在覆盖范围窄，效率低，分析检测结果不稳定等缺陷。为了解决以上问题，本发明提供了一种针对安卓应用对传感器的能耗漏洞的分析与检测系统，由安卓应用执行模块，传感器数据产生模块和传感器数据利用率分析模块构成，安卓应用执行模块分别和传感器数据产生模块和传感器数据利用率分析模块连接，并且所有的模块运行于验证可执行Java程序的JPF(Java Pathfinder)系统上。本发明提出的针对安卓应用对传感器的能耗漏洞的分析与检测系统，最后得到的诊断结果是正确的、高效的和稳定的，上述所有的过程都是自动化的，不需要用户的额外参与。

公开(公告)号：CN106529304B

公开(公告)日：2019-06-14

申请号：CN201610952304.7

申请日：2016-10-27

Applicant: 南京大学

Inventor： 许畅 ,  马晓星 ,  吕建 ,  李其玮 ,  蒋炎岩

IPC: G06F21/57

Abstract: 本发明公开了一种安卓应用并发漏洞检测系统，包含并发漏洞分析模块、应用插装模块和应用执行模块；所述并发漏洞分析模块用于分析应用中的潜在并发漏洞，并传递给应用插装模块；应用插装模块根据并发漏洞分析模块的检测结果，在疑似数据竞争代码处插入能够改变线程调度的语句，在后台线程入口方法处插入能够阻塞线程运行的控制代码，同时插入获取应用运行时刻状态信息的后台服务；应用执行模块会运行被插装过的应用，并产生成对的疑似事件发送给应用以触发潜在的并发漏洞。本发明检测结果正确高效，全程自动化，不需要用户额外参与。

公开(公告)号：CN106529304A

公开(公告)日：2017-03-22

申请号：CN201610952304.7

申请日：2016-10-27

Applicant: 南京大学

Inventor： 许畅 ,  马晓星 ,  吕建 ,  李其玮 ,  蒋炎岩

IPC: G06F21/57

CPC classification number: G06F21/577 ,  G06F2221/033

Abstract: 本发明公开了一种安卓应用并发漏洞检测系统，包含并发漏洞分析模块、应用插装模块和应用执行模块；所述并发漏洞分析模块用于分析应用中的潜在并发漏洞，并传递给应用插装模块；应用插装模块根据并发漏洞分析模块的检测结果，在疑似数据竞争代码处插入能够改变线程调度的语句，在后台线程入口方法处插入能够阻塞线程运行的控制代码，同时插入获取应用运行时刻状态信息的后台服务；应用执行模块会运行被插装过的应用，并产生成对的疑似事件发送给应用以触发潜在的并发漏洞。本发明检测结果正确高效，全程自动化，不需要用户额外参与。