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, None3.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)5.2 与其他隐写技术结合
CRC破解常与其他隐写技术一起出现：
LSB隐写：
- 修复图片后可能发现视觉上正常的图片
- 使用stegsolve等工具分析最低有效位
文件附加数据：
- 检查文件末尾是否有额外数据
- 使用binwalk分析文件结构
异或加密：
- 图片可能经过简单的异或加密
- 尝试常见异或密钥或暴力破解
在实际CTF比赛中，我遇到过需要先修复CRC，然后分析LSB才能获取flag的题目。这种组合题型考验选手对多种技术的综合运用能力。