软件安全课程汇报.pptxVIP

Defining and Detecting Environment Discrimination in Android Apps;;;对程序的追踪就是对初始状态下程序开始后函数调用序列的描述。由O函数和V函数组成。V函数返回值提供有关程序部分的信息，而O函数仅更改内部数据。首先，我们将函数调用F和跟踪T形式化。 函数调用F由其名称，参数列表和返回值组成。O函数中的返回值始终为空。只有当三部分完全相同时才称函数调用F1与F2相等(F1≡F2)。一个追踪T由以下组成:;跟踪规范由语法和语义组成。语法提供每个函数的名称，参数类型和返回值类型。语义包括三种类型的断言：（1）合法性断言，描述如何调用不会导致陷阱的函数; （2）等价断言，它在轨迹中指定一组等价关系; （3）V函数断言用V函数返回的值表示。 用Bartussek和Parnas 中的整数堆栈规范表述为：;;;;;;设备;动态分析通常在模拟器上进行，根据计算pi小数点后20000位的时间判断是模拟器还是???实设备 模拟器：正常与服务器进行通讯 真实设备：获取通讯录并将数据发送至服务器;应用程序中有三种函数调用方式 应用程序内部函数调用 应用程序内部调用API √ API内部函数调用;Pi计算器源码;;;动态检测