4、固件安全基础：固件组成、获取方式与分析工具

在TinyML设备的安全测试中，固件是最核心的攻击面。与通用操作系统不同，TinyML设备通常运行在资源受限的MCU（微控制器）上，其固件直接包含Bootloader、实时操作系统（RTOS）和应用代码。攻击者一旦获取固件，即可通过逆向分析提取模型参数、密钥、通信协议细节，甚至植入后门。本章将系统讲解固件的组成结构、三种主流获取方式以及三款核心分析工具的使用方法，帮助安全测试人员建立完整的固件分析知识框架。

4.1 固件组成：Bootloader、RTOS与应用

TinyML设备的固件通常存储在片内Flash或外部SPI Flash中，其物理布局直接决定了安全分析策略。一个典型的TinyML固件镜像由以下五个核心区域组成：

区域	功能	安全关注点
Bootloader	上电启动、硬件初始化、固件校验与跳转	是否校验签名、是否允许回滚、是否暴露调试接口
RTOS内核	任务调度、内存管理、IPC通信	任务隔离机制、堆栈保护、系统调用入口
应用层	TinyML推理引擎、传感器驱动、通信协议栈	模型文件位置、推理引擎漏洞、协议解析缺陷
配置区	设备唯一ID、网络凭据、校准参数	密钥存储方式、是否硬编码、是否可篡改
文件系统	模型参数、日志、用户数据	文件系统类型、挂载权限、加密与否

在安全测试中，Bootloader是最先需要关注的部分。许多TinyML设备使用开源Bootloader（如MCUboot、TinyUF2），这些Bootloader通常支持签名校验，但默认配置可能未启用。RTOS的选择也影响安全分析路径：FreeRTOS和Zephyr是TinyML设备中最常见的RTOS，它们的内核对象（任务控制块、消息队列）在内存中的布局可以通过反汇编识别。

4.2 固件获取方式：OTA、调试接口与芯片读取

获取固件是安全测试的第一步，不同的获取方式对应不同的技术难度和风险等级。以下是三种主流获取方式的详细分析：

4.2.1 OTA（Over-The-Air）固件获取

OTA是物联网设备最常用的固件更新方式，也是安全测试中最容易获取固件的途径。测试人员可以通过以下方法捕获OTA流量：

1. 代理抓包：在设备与服务器之间部署代理（如Burp Suite、mitmproxy），捕获HTTPS流量中的固件下载请求。
2. 固件降级：如果设备允许回滚到旧版本，可以主动触发降级，获取历史固件版本进行对比分析。
3. 固件提取：部分设备在OTA升级后会在临时目录保留固件副本，可通过文件系统访问提取。

4.2.2 调试接口获取

JTAG（Joint Test Action Group）和SWD（Serial Wire Debug）是MCU最常用的调试接口。如果设备未锁定调试端口，测试人员可以直接连接调试器读取Flash内容：

# 使用OpenOCD连接STM32设备并读取Flash
openocd -f interface/stlink.cfg -f target/stm32f4x.cfg
# 在OpenOCD命令行中执行
> flash read_bank 0 firmware_dump.bin
> dump_image firmware_full.bin 0x08000000 0x00100000

调试接口获取的固件是最完整的，包含Bootloader、RTOS和应用的全部代码。但需要注意，部分MCU（如STM32）具有读保护（RDP）机制，需要先尝试解除保护。

4.2.3 芯片直读

当调试接口被锁定且OTA无法捕获时，可以直接从Flash芯片读取固件。TinyML设备常用的Flash芯片包括Winbond W25Q系列、Macronix MX25系列等，它们通过SPI接口连接MCU：

1. 硬件连接：使用逻辑分析仪或SPI Flash编程器（如CH341A）连接Flash芯片的引脚。
2. 读取数据：通过编程器软件读取整个Flash内容，保存为二进制文件。
3. 固件重组：根据MCU的内存映射，将Flash内容分割为Bootloader、应用等独立镜像。

4.3 固件分析工具：binwalk、strings与objdump

获取固件后，需要使用专业工具进行静态分析。以下三款工具是固件安全测试的必备基础：

4.3.1 binwalk：固件结构扫描

binwalk是固件分析中最常用的工具，能够自动识别固件中的文件系统、压缩包、引导加载程序等结构：

# 扫描固件中的文件签名
binwalk firmware.bin

# 提取固件中的所有文件
binwalk -e firmware.bin

# 详细扫描，显示偏移量和文件类型
binwalk -A firmware.bin

binwalk的扫描结果会显示固件中各区域的偏移地址和文件类型。例如，输出可能显示：

DECIMAL       HEXADECIMAL     DESCRIPTION
--------------------------------------------------------------------------------
0             0x0             ARM Cortex-M ELF
1024          0x400           U-Boot boot loader
65536         0x10000         Squashfs filesystem
131072        0x20000         LZMA compressed data

通过binwalk的扫描结果，测试人员可以快速定位固件中的文件系统、压缩包和关键代码段，为后续深入分析提供地图。

4.3.2 strings：可读字符串提取

strings工具用于提取二进制文件中的可打印字符串，是快速发现敏感信息的最直接手段：

# 提取所有ASCII字符串
strings firmware.bin

# 提取UTF-8字符串并显示偏移量
strings -t x -e l firmware.bin

# 提取长度至少为10的字符串
strings -n 10 firmware.bin

在TinyML固件中，strings的输出通常包含以下关键信息：

• 模型文件路径：如/models/gesture.tflite，指示模型在文件系统中的位置。
• ：如=sk_1234567890，直接暴露云服务凭据。
• 调试日志：如Sensor init failed，帮助理解设备行为。
• AT指令集：如AT+MQTTCONN，揭示通信模块的指令协议。

4.3.3 objdump：反汇编与符号分析

objdump是GNU Binutils套件中的反汇编工具，用于分析编译后的二进制文件。在TinyML固件分析中，objdump主要用于：

# 查看ELF文件头信息
objdump -f firmware.elf

# 反汇编所有代码段
objdump -d firmware.elf

# 查看符号表
objdump -t firmware.elf

# 查看段信息
objdump -h firmware.elf

objdump的输出可以帮助测试人员理解固件的执行流程。例如，通过反汇编Bootloader代码，可以分析其固件校验逻辑：

08000100 <check_signature>:
 8000100:   b580        push    {lr}
 8000102:   4b04        ldr     r3, [pc, #16]
 8000104:   681b        ldr     r3, [r3, #0]
 8000106:   2b00        cmp     r3, #0
 8000108:   d001        beq     #0x800010e
 800010a:   2001        movs    r0, #1
 800010c:   bd80        pop     {pc}
 800010e:   2000        movs    r0, #0
 8000110:   bd80        pop     {pc}

这段代码显示，如果某个内存地址的值为0，则签名校验失败返回0；否则返回1。测试人员可以通过修改该内存地址的值绕过签名校验。

4.4 固件分析实战流程与常见误区

综合运用上述工具，可以建立一套完整的固件安全分析流程。以下是一个典型的TinyML固件分析案例：

在固件安全测试中，常见的误区包括：

• 忽视Bootloader安全：只关注应用层漏洞，忽略Bootloader的签名校验和回滚保护。
• 依赖单一工具：仅使用binwalk扫描，不结合strings和objdump进行深度分析。
• 忽略配置区：只分析代码段，忽视配置区中的密钥和凭据。
• 未验证固件完整性：未检查固件是否被篡改，导致分析结果不可靠。

通过本章的学习，读者应掌握TinyML固件的组成结构、获取方法和分析工具的使用。在实际测试中，建议按照"获取→扫描→提取→分析→验证"的流程进行，并注意结合多种工具交叉验证分析结果。固件安全是TinyML设备安全的基础，只有深入理解固件内部结构，才能有效发现和修复安全漏洞。