iOS应用场景API序列模式挖掘技术的研究与实现

发布时间：2021-09-19 05:13

　　随着移动信息化的普及,人们生活运转越发依赖于移动终端,而iOS作为当前移动端主流操作系统之一,其搭载的iOS应用不可避免成为了用户数据的集中地。为了保护用户信息安全,安全分析人员需要识别应用的运行时行为,并判断行为是否符合应用的自我描述及用户预期。但随着应用复杂度提升,人工分析难度增大,如何自动化识别应用行为来对iOS应用进行理解已然成为亟待解决的问题。自动化识别应用行为的前提是存在行为特征库,然而iOS作为闭源系统,其相关研究与技术尚未成熟,目前也没有合适的特征库。考虑到程序执行路径作为应用行为的直接表现能提供大量行为信息,且通过分析路径来识别功能场景已经是一个相对成熟的程序理解方法,本文对Mach-O二进制分析与功能场景特征挖掘展开研究,提出一种iOS应用场景API序列模式挖掘方法。该方法使用符号执行技术从Mach-O二进制中提取出iOS应用的执行路径,从路径中提取出场景实例集合并对其进行模式挖掘,最终获得场景的API序列模式。本文的主要成果包括:1.提出面向Mach-O二进制的分析框架MachOA。该分析框架基于angr框架实现并弥补了 angr对Mach-O二进制支持上的不足,... 

【文章来源】：北京邮电大学北京市 211工程院校 教育部直属院校

【文章页数】：63 页

【学位级别】：硕士

【部分图文】：

图２－１基于ＰＣ－Ｃｈａｉｎ的场景提取算法以及示例??与上述算法识别所有生产者提取场景不同，Ａｍｍｏｎｓ等人［３（）］提出的场景提??取算法由用户提供预定义的场景种子来控制目标场景（需要被提取出的场景）

仍然以图２－３所示ＡＰＩ使用模式为例，执行ＳｑｌＣｏｍｍａｎｄ．ＥｘｅｃｕｔｅＲｅａ?ＳｑｌＤａｔａＲｅａｄｅｒ．ｃｌｏｓｅ?来关闭?ｒｅａｄｅｒ?对象以及?ＳｑｌＣｏｎｎｅｃｔｉｏｎ．Ｏｐｅｎ?打开ＳｑｌＣｏｎｎｅｃｔｉｏｎ．Ｃｌｏｓｅ来关闭都被认为是规范的操作，因此这些ＡＰＩ使称作规范。程序验证（Ｐｒｏｇｒａｍ?ｖｅｒｉｆｉｃａｔｉｏｎ）通过形式化方法对程序严格证明程序是否具有某种性质，可以用于软件代码质量测试、安全１３??

仍然以图２－３所示ＡＰＩ使用模式为例，执行ＳｑｌＣｏｍｍａｎｄ．ＥｘｅｃｕｔｅＲｅａ?ＳｑｌＤａｔａＲｅａｄｅｒ．ｃｌｏｓｅ?来关闭?ｒｅａｄｅｒ?对象以及?ＳｑｌＣｏｎｎｅｃｔｉｏｎ．Ｏｐｅｎ?打开ＳｑｌＣｏｎｎｅｃｔｉｏｎ．Ｃｌｏｓｅ来关闭都被认为是规范的操作，因此这些ＡＰＩ使称作规范。程序验证（Ｐｒｏｇｒａｍ?ｖｅｒｉｆｉｃａｔｉｏｎ）通过形式化方法对程序严格证明程序是否具有某种性质，可以用于软件代码质量测试、安全１３??


本文编号：3401086