02 固件二进制获取与边界确认：BIN/HEX/ELF格式解析与加载地址推断

⭐固件格式差异与加载地址推断：从BIN

Bootloader升级链路的验收口径

在ARM单片机固件逆向分析中，第一步往往不是反汇编，而是确认你拿到的是什么格式的文件，以及它应该被加载到哪个地址。错误的加载基址会导致IDA Pro或Ghidra反汇编出完全无法理解的指令流，所有分析都将失去意义。本节将围绕BIN/HEX/ELF三种常见固件格式的解析要点，以及如何通过ARM向量表（Vector Table）与复位向量（Reset Vector）推断正确的加载基址，建立一套可复用的边界确认流程

⭐格式边界与加载地址推断：向量表是关键锚点

三种格式的核心差异在于是否包含地址信息。BIN（Binary）是纯粹的二进制镜像，不包含任何元数据，加载地址必须由分析者手动指定。HEX（Intel HEX）和ELF（Executable and Linkable Format）则内嵌了地址映射，但HEX的地址通常是逻辑地址，而ELF则包含完整的段（Section）信息。对于ARM Cortex-M系列单片机，向量表固定在起始地址处，其前四个字（16字节）分别对应：初始栈指针（MSP）、复位向量、NMI向量、HardFault向量。其中复位向量指向的地址就是固件的入口点，也是判断加载基址是否正确的直接证据

实际操作中，我们通常先假设一个常见基址（如0x08000000或0x00000000），将BIN加载到IDA Pro或Ghidra，然后检查反汇编后的前几条指令是否构成合法的栈指针和复位向量。如果复位向量指向的地址落在Flash范围内，且该地址处的指令是合法的ARM Thumb指令（通常以0xXXXX形式出现），则基址推断正确。否则，需要调整基址并重证

⭐固件二进制获取与边界确认的技术资产与验证方式

为了自动化基址验证，我们可以编写一个简短的Python脚本，从BIN文件中读取前16字节，解析向量表并输出复位向量地址。该脚本可作为固件分析的起点工具

import sys
def parse_vector_table(路径):
    with open(路径, 'rb') as f:
        data = f.read(16)
    if len(data) < 16:
        print("文件过小，无法解析向量表")
        return
    msp = int.from_bytes(data[0:4], 'little')
    reset_vector = int.from_bytes(data[4:8], 'little')
    print(f"初始栈指针 (MSP): 0x{msp:08X}")
    print(f"复位向量 (Reset Vector): 0x{reset_vector:08X}")
    # 检查复位向量最低位是否为1（Thumb标志）
    if reset_vector & 0x1:
        entry = reset_vector & 0xFFFFFFFE
        print(f"实际入口地址: 0x{entry:08X}")
    else:
        print("警告：复位向量最低位为0，可能不是Thumb代码")
if __name__ == "__main__":
    parse_vector_table(sys.argv[1])

这段配置属于“问题代码/原始配置”，核对键名、默认值、取值范围和修改后影响的行为。

运行命令python check_vector.py firmware.bin即可快速获得向量表信息。该脚本验证了复位向量的Thumb标志位，这是ARM Cortex-M系列必须满足的约束。如果复位向量最低位不为1，说明基址可能错误，或者固件并非针对ARM Cortex-M