tee漏洞学习-翻译-2：探索 Qualcomm TrustZone的实现

原文：http://bits-please.blogspot.com/2015/08/exploring-qualcomms-trustzone.html

获取 TrustZone image

从两个不同的位置提取image

  • 从手机设备本身
  • 从google factory image

已经root的Nexus 5设备，image存储在eMMC芯片上，并且eMMC芯片的分区在/dev/block/platform/msm_sdcc.1下，可以通过dd命令进行复制 。

此外，在/dev/block/platform/msm_sdcc.1/by-name分区下，包含tz和tzb这些有意义的名称：
在这里插入图片描述

tz（TrustZone 的缩写），另一个名为tzb，作为tz映像的备份映像，并且与tz映像相同。

直接从手机内部提取，可能存在两个问题：

  • 尽管 TrustZone 映像存储在 eMMC 芯片上，但“正常世界”很容易无法访问它（通过要求设置系统总线上的 AxPROT 位），或者它的多个部分可能会丢失。
  • 拉取整个分区的数据不会显示有关image真实（逻辑）边界的信息，因此需要一些额外的工作来确定image实际结束的位置。 （实际上，由于“tz”image是 ELF 二进制文件，因此它的大小包含在 ELF 标头中）。

因此，从设备中提取了一个image后，让我们看一下google factory image。

Nexus 5 的出厂镜像均可从 Google 下载。出厂映像包含一个包含所有默认映像的 ZIP，另外还包含引导加载程序映像。KTU84P

下载工厂映像并查找与 TrustZone 相关的字符串后，很快就发现bootloader包含所需的代码。

然而，这里仍然有一个小问题需要解决 - 引导加载程序image的格式未知。无论如何，使用十六进制编辑器打开该文件并猜测其结构实际上非常简单：
在这里插入图片描述

引导加载程序文件具有以下结构：

  • magic值（“BOOTLDR！”）- 8 个字节
  • image数量 - 4 字节
  • 从文件开头到image数据开头的偏移量 - 4 个字节
  • image中包含的数据的总大小 - 4 字节
  • 一个数组，其中包含与上面的“image数量”字段匹配的多个条目。数组中的每个条目都有两个字段：
    • image名称 - 64 字节（零填充）
    • image长度 - 4 字节

正如您在上图中看到的，引导加载程序映像包含一个名为“tz”的映像，这就是我们要查找的映像。为了解压该文件，我编写了一个小型 python 脚本（可在此处获取），该脚本接收引导加载程序映像并解压其中包含的所有文件。

提取图像并将其与之前从设备中提取的image进行比较后，我验证它们确实是相同的。所以我想这意味着我们现在可以继续检查 TrustZone image。

import sys, struct, osdef main():#Reading the commandline argumentsif len(sys.argv) != 3:print "USAGE: %s <BOOTLOADER_IMAGE> <OUTPUT_DIR>" % sys.argv[0]returnbootloader_path = sys.argv[1]output_path = sys.argv[2]#Verifying the magicbootloader_file = open(bootloader_path, 'rb')magic = bootloader_file.read(8)if magic != "BOOTLDR!":print "[-] Read incorrect magic: %s" % magic.encode("hex")returnprint "[+] Read correct magic"#Reading in the metadata blockimage_count,data_start_addr,total_size = struct.unpack("<III", bootloader_file.read(12))print "[+] Found %d images, starting at %08X, total size: %08X" % (image_count, data_start_addr, total_size)image_metadata = []for i in range(0, image_count):image_name = bootloader_file.read(64).strip('\x00')image_len = struct.unpack("<I", bootloader_file.read(4))[0]image_metadata.append((image_name, image_len))print "[+] Images: %s" % str(image_metadata)#Dumping each imagebootloader_file.seek(data_start_addr, 0)for image_name, image_len in image_metadata:print "[+] Dumping %s" % image_namedata = bootloader_file.read(image_len)open(os.path.join(output_path, image_name), 'wb').write(data)print "[+] Done"if __name__ == "__main__":main()

修复 TrustZone 映像

首先，检查该文件发现它实际上是一个 ELF 文件，这是一个好消息！这意味着内存段及其映射地址应该可供我们使用。

用 IDA Pro 打开文件并让自动分析运行一段时间后，我想开始逆向文件。然而，令人惊讶的是，似乎有很多分支指向未映射的地址（或者更确切地说，未包含在“tz”二进制文件中的地址）。

仔细一看，似乎所有指向无效地址的绝对分支都在文件的第一个代码段内，并且它们指向未映射的高地址。此外，第一个代码段的地址没有绝对分支。

这看起来有点可疑…那么我们看一下 ELF 文件的结构怎么样？执行 readelf 会显示以下内容：
在这里插入图片描述

有一个 NULL 段映射到更高的地址，它实际上对应于无效绝对分支指向的地址范围！

不管怎样，我做了一个相当安全的猜测，那就是第一个代码段实际上映射到了错误的地址，实际上应该映射到更高的地址 - 0xFE840000。很自然地，我想使用 IDA 的 rebase 功能对段进行 rebase，但是你瞧！这会导致 IDA 严重崩溃：
在这里插入图片描述

在这里插入图片描述
（0xFC58C48地址太低了，不在加载地址范围之内）

我实际上不确定这是否是高通的反逆向功能，或者 NULL 段是否只是其内部构建过程的结果，但这可以通过手动修复 ELF 文件轻松绕过。所需要做的就是将 NULL 段移动到未使用的地址（因为 IDA 无论如何都会忽略它）Type 类型为NULL，没啥用，所以会被忽略，除非专门为tz编写了加载器，并将第一个代码段从错误的地址 (0xFC86000) 移动到正确的地址 (0xFE840000)这个需要自己用IDA打开提取出的tz，稍微看看就能理解，如下所示：
在这里插入图片描述

现在，在 IDA 中加载镜像后，所有绝对分支都有效了！这意味着我们可以继续分析image。

分析 TrustZone image

首先，应该指出的是，TrustZone 映像是一个相当大的 (285.5 KB) 二进制文件，包含相当少量的字符串，并且没有公共文档。此外，TrustZone 系统由完整的内核组成，具有执行应用程序等功能。所以…目前还不清楚我们应该从哪里开始，因为逆向整个二进制文件可能需要太长时间。

由于我们希望从应用程序处理器攻击 TrustZone 内核，因此最大的攻击面可能是安全监视器调用，这些调用使“正常世界”能够与“安全世界”进行交互。

当然，应该指出的是，我们还可以通过其他方式与 TrustZone 进行交互，例如共享内存甚至中断处理，但由于这些攻击面要小得多，因此最好从分析 SMC 调用。

那么我们如何找到 TrustZone 内核处理 SMC 调用的位置呢？首先，我们回想一下，在执行 SMC 调用时，与处理 SVC 调用（即“正常世界”中的常规系统调用）类似，“安全世界”必须注册向量的地址。当遇到这样的指令时，处理器将跳转。

“安全世界”的等效项是MVBAR（监视器向量基地址寄存器），它提供向量的地址，该向量包含“安全世界”中处理器处理的不同事件的处理函数。

正向的MRC/MSR

MRS x0, TTBR0_EL1 // Move TTBR0_EL1 into x0
MSR TTBR0_EL1, x0 // Move x0 into TTBR0_EL1

每个系统寄存器都可看做是一个标号 正向的源码中可以写寄存器名称，编译器认识，但逆向的IDA中只能看到寄存器标号

使用任意一个插件，IDA将会识别系统寄存器
https://github.com/gdelugre/ida-arm-system-highlight
https://github.com/NeatMonster/AMIE

访问 MVBAR 是使用 MRC/MCR 操作码和以下操作数完成的：
在这里插入图片描述

因此，这意味着我们可以简单地在 TrustZone 映像中搜索具有以下操作数的 MCR 操作码，并且我们应该能够找到“监视器向量”。事实上，在 IDA 中搜索操作码会返回以下匹配项：
在这里插入图片描述

正如您所看到的，“开始”符号的地址（顺便说一下，这是唯一导出的符号）被加载到 MVBAR 中。
根据ARM文档，Monitor Vector具有以下结构：
在这里插入图片描述

这意味着，如果我们查看前面提到的“开始”符号，我们可以将以下名称分配给该表中的地址：
（下图中解析的有问题，Monitor Vector的首地址是0xFE810000）
在这里插入图片描述
现在，我们可以分析SMC_VECTOR_HANDLER函数。
实际上，这个函数负责很多任务；

  • 首先，它将所有状态寄存器和返回地址保存在预定义的地址中（在“安全世界”中），
  • 然后，它将堆栈切换到预分配区域（也在“安全世界”中）。
  • 最后，在进行必要的准备之后，它会继续分析用户请求的操作并据此进行操作。

由于发出 SMC 的代码存在于 Linux 内核的高通 MSM 分支中，因此我们可以看一下“正常世界”可以向“安全世界”发出的命令格式。

SMC and SCM(SCM没啥意义，就是高通自己给自己的SMC调用取了个名字)

令人困惑的是，高通选择将“正常世界”通过 SMC 操作码与“安全世界”交互的通道命名为 SCM（安全通道管理器）。

无论如何，正如我在上一篇博客文章中提到的，“qseecom”驱动程序用于通过 SCM 与“安全世界”进行通信。

Qualcomm在相关源文件中提供的文档相当丰富，足以很好地掌握SCM命令的格式。

简而言之，SCM 命令分为两类：

  • 常规 SCM call - 参数很重的调用方式，通过共享内存进行传参
  • Atomic SCM call - 轻量的调用方式，通过寄存器传参

常规 SCM call - 当需要将信息从“正常世界”传递到“安全世界”时使用这些call，这是为 SCM call提供服务所必需的。
内核填充以下结构：
在这里插入图片描述

TrustZone 内核在为 SCM 调用提供服务后，将响应写回“scm_response”结构：
在这里插入图片描述
为了分配和填充这些结构，内核可以调用包装函数“scm_call”，该函数接收

  • 指向内核空间缓冲区的指针，其中包含要发送的数据、数据应返回的位置
  • 以及最重要的服务标识符和命令标识符。

每个 SCM 调用都有一个类别，这意味着哪个 TrustZone 内核子系统负责处理该调用。这由服务标识符表示。命令标识符是指定在给定服务内请求哪个命令的代码。

在“scm_call”函数分配并填充“scm_command”和“scm_response”缓冲区后，它调用内部“__scm_call”函数刷新所有缓存（内部和外部缓存），并调用“smc”函数。

最后一个函数实际上执行 SMC 操作码，将控制权转移到 TrustZone 内核，如下所示：
在这里插入图片描述
请注意

  • R0 设置为 1
  • R1 设置为指向本地内核堆栈地址，该地址用作该调用的“上下文 ID”
  • R2 设置为指向分配的“scm_command”结构的物理地址。

R0 中设置的这个“神奇”值表明这是一个常规的 SCM 调用，使用“scm_command”结构。然而，对于某些需要较少数据的命令，无缘无故地分配所有这些数据结构将是相当浪费的。为了解决这个问题，引入了另一种形式的 SCM 调用。

Atomic SCM call - 对于参数数量相当低（最多四个参数）的调用，存在另一种请求 SCM 调用的方法。

有四个包装函数“scm_call_atomic_[1-4]”，它们对应于请求的参数数量。可以调用这些函数，以便使用给定的服务和命令 ID 以及给定的参数直接发出 SCM 调用的 SMC。

这是“scm_call_atomic1”函数的代码：
在这里插入图片描述

其中 SCM_ATOMIC 定义为：
在这里插入图片描述
请注意，服务 ID 和命令 ID 以及调用中的参数数量（在本例中为 1）都被编码到 R0 中。这取代了之前用于常规 SCM 调用的“神奇”值 1。
R0 中的这个不同值向 TrustZone 内核表明以下 SCM 调用是原子调用，这意味着参数将使用 R2-R5 传递（而不使用 R2 指向的结构）。

分析 SCM 调用

现在我们了解了 SCM 调用的工作原理，并且已经在 TrustZone 内核中找到了用于处理这些 SCM 调用的处理函数，我们可以开始反汇编 SCM 调用以尝试查找其中之一的漏洞。

我将跳过对 SCM 处理函数的大部分分析，因为其中大部分是用户输入的样板处理等。但是，在将堆栈切换到 TrustZone 区域并保存执行调用的原始寄存器之后，处理函数继续处理服务ID和命令ID，以便查看应该调用哪个内部处理函数。

为了轻松映射服务和命令 ID 以及相关处理函数，静态列表被编译到 TrustZone 映像的数据段中，并由 SCM 处理函数引用。以下是列表中的一小段内容：
在这里插入图片描述
如您所见，该列表具有以下结构：

  • 指向包含 SCM 函数名称的字符串的指针
  • call 类型
  • 指向处理函数的指针
  • 参数数量
  • 每个参数的大小（每个参数一个 DWORD）
  • 服务 ID 和命令 ID 连接成一个 DWORD - 例如，上面的“tz_blow_sw_fuse”函数的类型为 0x2002，这意味着它属于服务 ID 0x20，其命令 ID 为 0x02。

现在剩下的就是开始反汇编这些函数，并希望找到可利用的错误。

The Bug!

因此，在研究了所有上述 SMC 调用（全部 69 个）之后，我终于得到了以下函数：
在这里插入图片描述
通常，当使用常规 SCM 调用机制调用 SCM 命令时，R0 将包含结果地址，该地址指向由内核分配的“scm_response”缓冲区，但也由 TrustZone 内核验证以确保它实际上是“允许”范围内的物理地址 - 即对应于 Linux 内核内存的物理地址，而不是 TrustZone 二进制文件中的内存位置。

此检查是使用内部函数执行的，我将在下一篇博客文章中更详细地介绍该函数。

但是如果我们使用原子 SCM 调用来执行函数会发生什么？在这种情况下，使用的结果地址是原子调用传递的第一个参数。
在这里插入图片描述

现在 - 你能看到上面函数中的错误吗？

与其他 SCM 处理函数相反，该函数没有验证 R0（“结果地址”）中的值，因此如果我们传入：

  • R1为非零值（为了通过第一个分支）（原文有问题，是R0为非0）
    在这里插入图片描述

  • 第四个参数（在上面的 var_1C 处传入）非零

    • LDR R0，[SP, #x28+var_1C]
    • CBZ R0, loc_FE84B372
    • 进入最左侧的分支

  • R0 为任何物理地址，包括 TrustZone 地址空间范围内的地址

    • MOVS R6, R0
    • MOVS R1, #0
    • STR R1, [R6]

该函数将到达上面函数中最左边的分支，并在 R0 中包含的地址写入一个零 DWORD。

What’s next? 下一步是什么？

在下一篇博文中，我将分享针对上述漏洞的详细（而且相当复杂！）利用，该漏洞可以在 TrustZone 内核中实现完整的代码执行。我还将发布完整的漏洞利用代码，敬请期待！

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.mzph.cn/news/670235.shtml

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

分享65个节日PPT，总有一款适合您

分享65个节日PPT，总有一款适合您

分享65个节日PPT&#xff0c;总有一款适合您 65个节日PPT下载链接&#xff1a;https://pan.baidu.com/s/1hc1M5gfYK8eDxQVsK8O9xQ?pwd8888 提取码&#xff1a;8888 Python采集代码下载链接&#xff1a;采集代码.zip - 蓝奏云 学习知识费力气&#xff0c;收集整理更不易。知…
阅读更多...
SQLite database实现加密

SQLite database实现加密

注意&#xff1a;以下操作以VS2022为开发工具&#xff0c;以C#为开发语言。 数据加密原因 软件在使用的各个场景&#xff0c;很多都需要数据具有保密性&#xff0c;于是对于数据库就需要加密。特别是在某些特定领域或存储敏感数据尤其如此。 SQLite加密实现 SQLite加密有两种…
阅读更多...
Go语言每日一练——链表篇(五)

Go语言每日一练——链表篇(五)

传送门 牛客面试笔试必刷101题 ----------------合并k个已排序的链表 题目以及解析 题目 解题代码及解析 解析 这一道题与昨天的合并链表题目类似&#xff0c;但是由于有K个且时间复杂度要求控制在O(nlogn)&#xff0c;这里主要有两种解法&#xff1a;一种是依旧使用归并来…
阅读更多...
Arduino 串口绘图仪简单使用

Arduino 串口绘图仪简单使用

1、工具所在位置 串口绘图仪实际上是从预设的串口获取值并将其绘制在xy轴图每获取到一组数据向左滑动一个单位&#xff0c;读取数据的速度起快&#xff0c;滑动就越快。 Y轴代表来自串口的值&#xff0c;可以是单个也可以是一组 。在读取串口数据时遇到"\n"&#xf…
阅读更多...
正点原子-STM32通用定时器学习笔记(1)

正点原子-STM32通用定时器学习笔记(1)

1. 通用定时器简介&#xff08;F1为例&#xff09; F1系列通用定时器有4个&#xff0c;TIM2/TIM3/TIM4/TIM5 主要特性&#xff1a; 16位递增、递减、中心对齐计数器&#xff08;计数值&#xff1a;0~65535&#xff09;&#xff1b; 16位预分频器&#xff08;分频系数&#xff…
阅读更多...
RP2040 SPI

RP2040 SPI

SPI 的库文件是arduino开源库&#xff0c;在程序中include。 SPI IIC都是通信协议【模块】&#xff0c;需要硬件支持&#xff0c;MCU都会集成相应的模块。arduino都集成在了内核中&#xff0c;直接用API函数调用即可。其他单片机的架构也是相同的。 SPI的库和函数及其相关说明…
阅读更多...
GUI编程..

GUI编程..

1.GUI(Graphical User Interface 图形用户界面) 所谓GUI 指的是在计算机中采用图形方式展示用户的界面 在GUI之前采用的是字符界面 有了GUI之后 采用的则是图形界面 2.Java的GUI编程方案 常见的有四种 3.Swing 1.实现一个窗口 public class Main{public static void ma…
阅读更多...
眼动追踪系统体验实验（脑与认知期末考核）

眼动追踪系统体验实验（脑与认知期末考核）

实验名称&#xff1a;眼动追踪系统体验实验 实验目的&#xff1a; 本实验旨在通过体验脑与认知眼动追踪系统&#xff0c;了解该技术在心理学、认知科学等领域的应用&#xff0c;理解它是怎样工作的&#xff0c;探究眼动追踪技术如何揭示人类认知过程的奥秘。 实验环境&#…
阅读更多...
155基于matlab 的形态学权重自适应图像去噪

155基于matlab 的形态学权重自适应图像去噪

基于matlab 的形态学权重自适应图像去噪&#xff1b;通过串并联的滤波降噪对比图&#xff0c;说明并联降噪的优越性。输出降噪前后图像和不同方法的降噪情况的信噪比。程序已调通&#xff0c;可直接运行。 155matlab 自适应图像降噪 串并联降噪 (xiaohongshu.com)
阅读更多...
一些参数（仅供个人理解）

一些参数（仅供个人理解）

1.mAP&#xff1a; 数据集的平均准确率 mAP50-95&#xff1a;mAP阈值为50到mAP阈值为95&#xff0c;间隔5%,取得10个mAP值&#xff0c;然后对这十个值取平均。 目标检测评估指标mAP&#xff1a;从Precision,Recall,到AP50-95【未完待续】_map50和map50-95-CSDN博客 2.IoU&a…
阅读更多...
使用VASPKIT生成非整数倍扩胞结构

使用VASPKIT生成非整数倍扩胞结构

在计算某些任务时需要根据原胞进行非对称或者根号倍扩胞&#xff0c;使用vaspkit可以构建一个扩胞倍数矩阵&#xff0c;这样可以获得特定方向非整数倍的扩胞结构。 这里使用的命令为vaspkit的400模块 注意400的命令会让你连续输入三行&#xff0c;每行都需要三个数值&#xff0…
阅读更多...
智能优化算法 | Matlab实现飞蛾扑火(MFO)（内含完整源码）

智能优化算法 | Matlab实现飞蛾扑火(MFO)（内含完整源码）

文章目录 效果一览文章概述源码设计参考资料效果一览 文章概述 智能优化算法 | Matlab实现飞蛾扑火(MFO)（内含完整源码） 源码设计 %%%% clear all clc SearchAgents_no=100; % Number of search ag
阅读更多...
使用zip4j解压zip时文件名乱码解决最好的方案

使用zip4j解压zip时文件名乱码解决最好的方案

zip4j解压zip时&#xff0c;出现中文乱码&#xff0c;看了下&#xff0c;zip4j解压时支持设置文件编码&#xff0c;我们只需要识别文件是不是utf-8编码&#xff0c;如果不是utf-8就使用gbk解压&#xff0c;但是这个判断没有100%准确的方式&#xff0c;我试过通过字节流的bom标记…
阅读更多...
《动手学深度学习(PyTorch版)》笔记7.5

《动手学深度学习(PyTorch版)》笔记7.5

注&#xff1a;书中对代码的讲解并不详细&#xff0c;本文对很多细节做了详细注释。另外&#xff0c;书上的源代码是在Jupyter Notebook上运行的&#xff0c;较为分散&#xff0c;本文将代码集中起来&#xff0c;并加以完善&#xff0c;全部用vscode在python 3.9.18下测试通过&…
阅读更多...
聚观早报 | iOS 17.4正式版将上线；魅族21 Pro或下月发布

聚观早报 | iOS 17.4正式版将上线；魅族21 Pro或下月发布

聚观早报每日整理最值得关注的行业重点事件&#xff0c;帮助大家及时了解最新行业动态&#xff0c;每日读报&#xff0c;就读聚观365资讯简报。 整理丨Cutie 2月5日消息 iOS 17.4正式版将上线 魅族21 Pro或下月发布 小米MIX Flip细节曝光 OPPO Find X7 Ultra卫星通信版 …
阅读更多...
BUUCTF-Real-[ThinkPHP]IN SQL INJECTION

BUUCTF-Real-[ThinkPHP]IN SQL INJECTION

目录 漏洞描述 漏洞分析 漏洞复现 漏洞描述 漏洞发现时间&#xff1a; 2018-09-04 CVE 参考&#xff1a;CVE-2018-16385 最高严重级别&#xff1a;低风险 受影响的系统&#xff1a;ThinkPHP < 5.1.23 漏洞描述&#xff1a; ThinkPHP是一款快速、兼容、简单的轻量级国产P…
阅读更多...
Java实现用户画像活动推荐系统 JAVA+Vue+SpringBoot+MySQL

Java实现用户画像活动推荐系统 JAVA+Vue+SpringBoot+MySQL

目录 一、摘要1.1 项目介绍1.2 项目录屏 二、功能模块2.1 数据中心模块2.2 兴趣标签模块2.3 活动档案模块2.4 活动报名模块2.5 活动留言模块 三、系统设计3.1 用例设计3.2 业务流程设计3.3 数据流程设计3.4 E-R图设计 四、系统展示五、核心代码5.1 查询兴趣标签5.2 查询活动推荐…
阅读更多...
Java智慧云智能教育平台

Java智慧云智能教育平台

技术架构&#xff1a; SpringBoot Mybatis Shiro mysql redis 有需要该项目的小伙伴可以私信我你的Q。 功能描述&#xff1a; 支持多种题型&#xff1a;选择题、多选题、判断题、填空题、综合题以及数学公式。支持在线考试&#xff0c;教师在线批改试卷。 功能模块&am…
阅读更多...
02. k210-在windows环境下烧录.bin文件

02. k210-在windows环境下烧录.bin文件

有些人的虚拟机串口可能没有设置好&#xff0c;不能在ubuntu下使用命令kflash 下载程序&#xff0c;那么本章介绍如何在windows10 环境下使用荔枝派的开源上位机 kflash_gui 来下载程序。 使用的开发板是荔枝派&#xff1a;Sipeed Maix Bit (带麦克风) 开发板。 1. 下载kflash_…
阅读更多...
业务架构设计之汽配供应链与实现的实践总结

业务架构设计之汽配供应链与实现的实践总结

随着汽车行业的不断发展&#xff0c;汽配供应链的规模和复杂度也在不断增加。为了满足市场需求&#xff0c;建立一个高效、可靠的汽配供应链业务系统至关重要。本文将总结一些关键的实践经验&#xff0c;帮助读者了解如何设计和实现一个稳定且高效的汽配供应链业务系统。 1. 业…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023