什么是CRC

这里的CRC指的是CRC32，也就是PNG图片的一个效验位，是一种不可逆运算，类似于MD5，作为数据效验或效验文件的完整性使用。

使用010 Editor打开一个PNG图片，89 50 4E 47 0D 0A 1A 0A (0h行0-7这8个)是PNG的固定文件头（啊？别告诉我还不知道在哪里，第一行粉底白字看到了吧）。

00 00 00 0D是文件头数据块标示IDCH。

49 48 44 52是IHDR。

接下来第二行前8个hex数据都是表示宽高的：00 00 07 80 00 00 09 5F，这里表示宽度为07 80，高度为09 5F，这两组数据转换为10进制就是1920x2399。

08 02 00 00 00这5个字节依次为Bit depth，ColorType，Compression method，Filter method，Interlace method

接下来的4组（16个）Hex组成的则是CRC校验码，我这里是13 97 08 36

CRC的原理，就是由IDCH和IHDR共十七位字节进行crc计算得到的。

爆破宽高

有的CTF题目会修改PNG图片的宽高，这在没有CRC检测的国内软件或Windows的图片看来是正常的。

但是一旦在Linux、MacOs等打开，则会出现报错。

前面提到了CRC的原理，我们借鉴网络上的脚本进行了修改。

import struct
import zlib

def hexStr2bytes(s):
    b = b""
    for i in range(0,len(s),2):
        temp = s[i:i+2]
        b +=struct.pack("B",int(temp,16))
    return b


str1="49484452"  # IHDR
width = "0x0780"
height = "0x0095E" # 高度与上面的不统一
str2="0802000000" # Bit depth，ColorType，Compression method，Filter method，Interlace method
crc32 = "0x13970836"
add_num = 2000 # 最大宽高，合理修改快速出flag
bytes1=hexStr2bytes(str1)
bytes2=hexStr2bytes(str2)
wid = int(width,16)
hei = int(height,16)

for w in range(wid,wid+add_num):
    for h in range(hei,hei+add_num):
        width = hex(w)[2:].rjust(8,'0')
        height = hex(h)[2:].rjust(8,'0')
        bytes_temp=hexStr2bytes(width+height)
        if eval(hex(zlib.crc32(bytes1+bytes_temp+bytes2))) == eval(crc32):
            print(hex(w),hex(h))
            break
    if eval(hex(zlib.crc32(bytes1+bytes_temp+bytes2))) == eval(crc32):
        # print(hex(w),hex(h))
        break