[发明专利]Android应用升级包本地存储安全性检测方法

摘要

本发明公开了一种Android应用升级包本地存储安全性检测方法，本方法通过对待检测程序进行程序切片，精准地提取与漏洞检测相关的所有程序切片，并对切片后的程序进行数据流分析，从而实现对升级包本地存储安全性的检测。与传统的数据流分析相比，该方法克服了分析过程中的盲目性，使得所有分析更加有针对性，提高了数据流分析的效率。

主权项

1.一种Android应用升级包本地存储安全性检测方法，包括如下步骤：1）对待检测Android应用进行反编译操作，获取该应用的字节码文件，这些字节码文件存放该应用程序所有的功能代码；2）对步骤1）中获取的字节码文件进行解析，对该Android应用程序进行建模分析；分析所有的字节码文件，从中获取到该应用中所有方法调用关系、方法内控制流信息和系统函数调用，保存这些信息；3）使用升级包存储特征规则标记出待检测应用中所有需要检测的特征变量和疑似漏洞点；4）将步骤3）中获取到的疑似漏洞点作为漏洞检测的入口点，结合步骤2）中存储的方法调用信息，构建出与该检测点相关的所有的执行路径信息；5）遍历步骤4）中每一条构建的路径，对其进行程序切片，切分出所有与特征变量相关的语句；6）对步骤5）中切片的语句进行逆向数据流分析，使用不安全存储漏洞检测方法来对升级包存储的安全性进行判断，将检测结果保存下来；7）当步骤4）中所有的疑似漏洞点已经全部完成分析，使用检测中保存的信息来生成相应的漏洞检测报告。