CTF新手必看：用Python脚本暴力破解PNG图片的CRC校验，修复被篡改的宽高信息-开发者社区

CTF实战：Python脚本暴力破解PNG图片CRC校验的完整指南

当你第一次参加CTF比赛，面对一张看似损坏的PNG图片时，是否感到无从下手？本文将带你深入理解PNG文件结构，掌握CRC校验原理，并手把手教你编写Python脚本暴力破解被篡改的图片宽高信息。

1. PNG文件结构与CRC校验原理

PNG文件由多个数据块(chunk)组成，每个数据块包含长度、类型、数据和CRC校验码四部分。其中IHDR块是第一个关键数据块，存储了图片的基本信息：

[长度(4字节)] [类型(4字节)] [数据(长度字段指定)] [CRC(4字节)]

IHDR数据块包含以下信息：

宽度（4字节）
高度（4字节）
位深度（1字节）
颜色类型（1字节）
压缩方法（1字节）
过滤器方法（1字节）
隔行扫描方法（1字节）

CRC校验码是根据数据块类型和数据内容计算得出的32位循环冗余校验码。当攻击者修改图片宽高时，如果不更新CRC值，就会导致图片显示异常，这正是CTF题目常见的出题点。

CRC校验的特点：

对输入数据的微小变化非常敏感
计算速度快，适合用于数据完整性检查
无法用于错误纠正，只能检测错误

2. 环境准备与工具安装

2.1 所需Python库

我们需要以下Python标准库，无需额外安装：

import binascii # 用于CRC计算 import struct # 用于二进制数据打包/解包

2.2 推荐的分析工具

工具名称	用途	下载地址
010 Editor	二进制文件分析	官方网站
HxD	轻量级十六进制编辑器	开源免费
PNGCheck	PNG文件校验工具	开源项目

提示：在CTF比赛中，010 Editor的模板功能可以快速解析PNG文件结构，但Python脚本才是自动化解题的关键。

3. 暴力破解脚本编写详解

3.1 脚本核心逻辑

暴力破解的基本思路是：

读取原始图片的CRC校验值
枚举可能的宽度和高度组合
对每组宽高计算CRC并与原始值比较
找到匹配的宽高组合

def brute_force_png_dimensions(filename): with open(filename, 'rb') as f: data = f.read() # 获取原始CRC值（IHDR块的CRC） crc32_hex = int.from_bytes(data[29:33], byteorder='big') # IHDR数据块的关键偏移量 ihdr_start = 12 # IHDR类型标识开始位置 width_start = 16 # 宽度数据开始位置 height_start = 20 # 高度数据开始位置 other_start = 24 # IHDR其他数据开始位置 for width in range(1, 2000): for height in range(1, 2000): # 重构IHDR数据块 ihdr_data = data[ihdr_start:width_start] + \ struct.pack('>i', width) + \ struct.pack('>i', height) + \ data[other_start:other_start+5] # 计算CRC crc32 = binascii.crc32(ihdr_data) & 0xffffffff if crc32 == crc32_hex: return width, height return None, None

3.2 关键代码解析

struct.pack的使用：
- '>i'表示大端序的4字节整数
- PNG文件规范要求使用网络字节序（大端序）
CRC计算注意事项：
- binascii.crc32返回的是有符号整数，需要用& 0xffffffff转换为无符号
- CRC计算范围包括IHDR类型标识和所有数据
性能优化技巧：
- 合理设置宽高枚举范围（根据题目提示）
- 可以先尝试常见分辨率（如800x600, 1024x768等）

4. 实战案例与常见问题

4.1 典型CTF题目分析

假设我们有一个显示异常的PNG图片，使用010 Editor查看其IHDR块：

00000000: 89 50 4E 47 0D 0A 1A 0A 00 00 00 0D 49 48 44 52 00000010: 00 00 03 84 00 00 00 96 08 02 00 00 00 09 DA D1 00000020: 61 00 00 00 01 73 52 47 42 00 AE CE 1C E9 00 00

关键数据：

宽度：00 00 03 84 (900)
高度：00 00 00 96 (150)
CRC：09 DA D1 61

运行我们的脚本后，可能发现实际高度应为250而非150。

4.2 常见错误与解决方法

错误现象	可能原因	解决方案
CRC计算不匹配	字节序错误	检查struct.pack使用'>i'而非'i'
找不到正确宽高	枚举范围不足	扩大width和height的循环范围
脚本运行缓慢	双重循环效率低	先固定高度枚举宽度，或使用多线程

注意：在真实CTF比赛中，图片宽高通常不会太大，一般设置1000以内的枚举范围即可。

5. 进阶技巧与扩展应用

5.1 自动化修复PNG文件

找到正确宽高后，我们可以编写自动修复脚本：

def fix_png_dimensions(filename, width, height): with open(filename, 'rb+') as f: data = bytearray(f.read()) # 更新宽度 data[16:20] = struct.pack('>i', width) # 更新高度 data[20:24] = struct.pack('>i', height) # 重新计算并更新CRC ihdr_data = data[12:29] new_crc = binascii.crc32(ihdr_data) & 0xffffffff data[29:33] = struct.pack('>I', new_crc) f.seek(0) f.write(data)