[发明专利]一种移动平台应用软件的检测方法

权利要求书

1.一种移动平台应用软件的检测方法，面向包括智能手机、平板电脑的移动平台应用软件做安全检测，其特征在于所述检测方法包括语义分析、符号执行、定理证明和静态数据流分析，其中所述移动应用软件检测方法采用反汇编级别的代码语义分析，构建普通语法树、抽象语法树，并使用符号执行的方式实现程序执行全路径覆盖，以静态的逻辑符号模拟程序动态执行，解决移动平台恶意软件分地区、分时段爆发导致正常运行无法重现恶意攻击行为的问题；以定理证明和静态数据流分析的技术手段对符号执行的结果进行分析，并以得到的分析结果检测移动应用的安全弱点、可能导致程序崩溃的语法错误以及是否存在恶意行为；将移动平台应用软件的检测结果分为安全应用、脆弱应用和恶意应用三大类。

2.根据权利要求1所述移动平台应用软件的检测方法，其特征在于：所述检测基于应用程序的程序语义进行分析，构建普通语法树、抽象语法树。

3.根据权利要求1所述移动平台应用软件的检测方法，其特征在于：所述检测基于语义分析之后得到的抽象语法树进行符号执行，全路径覆盖应用程序的执行分支，以逻辑符号的形式模拟程序动态执行；解决移动平台恶意软件分地区、分时段爆发导致正常运行无法重现恶意攻击行为的问题。

4.根据权利要求1所述移动平台应用软件的检测方法，其特征在于：所述检测将符号执行获得结果通过定理证明和静态数据流分析的技术手段进行分析，通过定理证明器和数据流分析引擎得到的检测结果检测移动应用的安全弱点、可能导致程序崩溃的语法错误以及是否存在恶意行为。

5.根据权利要求1所述移动平台应用软件的检测方法，其特征在于：移动平台应用软件的检测结果分类后，构建安全应用仓库。