[发明专利]一种基于下推自动机的信息流路径跟踪方法、装置及系统

权利要求书

1.一种基于下推自动机的信息流路径跟踪方法，其特征在于，所述方法应用于一种基于下推自动机的信息流路径跟踪系统中的服务器，所述基于下推自动机的信息流路径跟踪系统包括所述服务器和客户端，所述方法包括：

接收所述客户端发送的第一安卓应用程序安装包APK和自定义信息流策略，所述自定义信息流策略为用户对应用程序自定义的信息流策略；

根据所述自定义信息流策略，利用静态污点分析算法STA从所述第一APK中搜索出信息流路径集合；

根据所述自定义信息流策略，从所述信息流路径集合中获取敏感信息流路径；

利用静态插桩算法将预设的监控代码插入到所述第一APK中的所述敏感信息流路径，以得到第二APK，并将所述第二APK发送至所述客户端，使得所述客户端在接收到所述第二APK后运行所述第二APK；

通过所述监控代码监控所述敏感信息流路径的状态。

2.根据权利要求1所述的方法，其特征在于，所述根据所述自定义信息流策略，利用静态污点分析算法STA从所述第一APK中搜索出信息流路径集合，包括：

读取所述自定义信息流策略中的源语句集合；

利用所述STA从所述第一APK中搜索出以所述源语句集合中的源语句为起点的信息流路径集合。

3.根据权利要求2所述的方法，其特征在于，所述根据所述自定义信息流策略，从所述信息流路径集合中获取敏感信息流路径，包括：

读取所述自定义信息流策略中的释放点集合；

在所述以所述源语句集合中的源语句为起点的信息流路径集合中，获取以所述释放点集合中的释放点为终点的敏感信息路径。

4.根据权利要求1至3任一项所述的方法，其特征在于，在所述利用静态插桩算法将监控代码插入所述敏感信息流路径之前，所述方法还包括：

通过多级哈希映射表对所述敏感信息流路径进行分层管理。

5.根据权利要求1至3任一项所述的方法，其特征在于，在所述利用静态污点分析算法STA从所述第一APK中搜索出信息流路径集合之后，所述方法还包括：

将所述信息流路径集合中的所有信息流路径的关键节点信息记录在字符串数组中。

6.一种基于下推自动机的信息流路径跟踪装置，其特征在于，所述装置应用于一种基于下推自动机的信息流路径跟踪系统中的服务器，所述基于下推自动机的信息流路径跟踪系统包括所述服务器和客户端，所述装置包括：

接收模块，用于接收所述客户端发送的第一安卓应用程序安装包APK和自定义信息流策略，所述自定义信息流策略为用户对应用程序自定义的信息流策略；

搜索模块，用于根据所述自定义信息流策略，利用静态污点分析算法STA从所述第一APK中搜索出信息流路径集合；

获取模块，用于根据所述自定义信息流策略，从所述信息流路径集合中获取敏感信息流路径；

插桩模块，用于利用静态插桩算法将预设的监控代码插入到所述第一APK中的所述敏感信息流路径，以得到第二APK，并将所述第二APK发送至所述客户端，使得所述客户端在接收到所述第二APK后运行所述第二APK；

监控模块，用于通过所述监控代码监控所述敏感信息流路径的状态。

7.根据权利要求6所述的装置，其特征在于，所述搜索模块，具体用于：

读取所述自定义信息流策略中的源语句集合；

利用所述STA从所述第一APK中搜索出以所述源语句集合中的源语句为起点的信息流路径集合。

8.根据权利要求7所述的装置，其特征在于，所述获取模块，具体用于：

读取所述自定义信息流策略中的释放点集合；

在所述以所述源语句集合中的源语句为起点的信息流路径集合中，获取以所述释放点集合中的释放点为终点的敏感信息路径。

9.根据权利要求6至8任一项所述的装置，其特征在于，所述装置还包括：

管理模块，用于通过多级哈希映射表对所述敏感信息流路径进行分层管理。

10.一种基于下推自动机的信息流路径跟踪系统，其特征在于，包括：服务器和客户端；

所述服务器，用于执行如权利要求1至5任一项所述的方法；

所述客户端，用于：

向所述服务器发送第一安卓应用程序安装包APK和自定义信息流策略，所述自定义信息流策略为用户对应用程序自定义的信息流策略；

接收所述服务器发送的第二APK并运行所述第二APK。