1. 题目背景与核心挑战最近在复盘一些经典的CTF逆向题目正好又看到了这道“[GWCTF 2019]pyre”。这道题在当年算是Python逆向的一个典型代表它巧妙地将Python字节码.pyc文件作为核心考点考察选手对Python程序执行机制、字节码结构以及逆向分析工具链的掌握。很多刚接触逆向的朋友一看到不是传统的C/C程序而是Python打包或编译后的产物就容易发懵不知道从何下手。这道题就是一个绝佳的切入点它不涉及复杂的虚拟机保护或混淆而是直指核心给你一个编译后的字节码文件如何还原出源代码逻辑并找到其中的漏洞或flag。这道题的文件通常是一个名为“pyre”或类似名称的文件没有后缀但用file命令查看会发现它是一个Python字节码文件。对于不熟悉的朋友可能会尝试直接用文本编辑器打开结果看到一堆乱码或者部分可读的字符串真正的逻辑却隐藏在字节码指令中。解题的关键路径非常清晰首先识别文件类型然后进行反编译得到可读的Python源代码最后分析源代码逻辑通常是一个加密或验证算法逆向推导出flag。这个过程涉及几个核心工具和知识点uncompyle6或decompyle3这样的反编译工具、Python字节码的结构比如Magic Number、时间戳、Code Object、以及基本的Python代码审计能力。我之所以觉得这道题值得详细拆解是因为它几乎涵盖了Python逆向分析的标准流程。通过这道题你不仅能学会怎么解这一道题更能掌握一类题的通用解法。下面我就结合自己的实战经验把每一步的细节、可能遇到的坑以及工具使用的技巧毫无保留地分享出来。2. 文件识别与初步分析当我们拿到一个CTF题目附件时第一步永远不是急着运行或者乱点而是进行“验明正身”。对于未知文件file命令是我们的第一道火线侦察兵。在Linux或Mac的终端或者Windows上安装了Git Bash、Cygwin等环境都可以使用这个命令。file pyre执行后你大概率会看到类似这样的输出pyre: python 3.8 byte-compiled或者更具体的版本信息。这个输出告诉我们pyre文件是一个Python 3.8版本的字节码编译文件也就是我们常说的.pyc文件。.pyc文件是Python源代码.py经过编译后生成的二进制文件包含了Python虚拟机PVM可以执行的字节码指令以及一些元信息。它并不是机器码因此不能直接在操作系统上运行但可以通过python命令执行。注意有时出题人会故意去掉.pyc后缀或者修改文件头来增加识别难度。如果file命令识别不出来我们可以用xxd或hexdump查看文件头部。一个标准的.pyc文件开头会有4个字节的Magic Number标识Python版本和4个字节的时间戳。例如Python 3.8的Magic Number是0x550d0d0a小端序存储。看到这个特征基本就能确定是pyc文件了。知道是pyc文件后一个常见的错误是试图用文本编辑器如VS Code、Sublime直接打开并阅读。你会看到一些可读的字符串因为字符串常量在字节码中通常是明文存储的但大量的操作逻辑是以字节码指令的形式存在的对人类极不友好。就像下面这样你可能会看到e、t、c等模块导入的痕迹但核心算法是隐藏的__pycache__?r所以直接阅读字节码是事倍功半的。我们的目标是将字节码反编译回近似原始的、可读的Python源代码。这里就需要请出反编译领域的“瑞士军刀”了。3. 反编译工具的选择与实战将.pyc文件还原为.py源代码这个过程叫做反编译Decompilation。对于Python有几个久经考验的工具uncompyle6: 目前最活跃、支持Python版本最广的反编译器是早期uncompyle2的现代继承者。decompyle3:uncompyle6的一个分支在某些情况下可能对更新的Python语法支持更好。pycdc: 另一个强大的反编译器用C编写速度很快。在线工具一些网站也提供在线反编译服务但对于CTF比赛通常离线或包含敏感信息的文件不建议使用。我的首选和推荐一直是uncompyle6。它的安装非常简单通过Python的包管理器pip即可完成pip install uncompyle6安装成功后我们就可以对pyre文件进行反编译了。基本命令格式如下uncompyle6 -o . pyre让我们拆解一下这个命令uncompyle6: 调用反编译程序。-o .:-o参数指定输出目录.代表当前目录。这意味着反编译生成的.py文件会直接放在你当前所在的文件夹里。pyre: 输入文件即我们的目标字节码文件。执行命令后如果一切顺利你会在当前目录下发现一个新生成的.py文件文件名很可能就是pyre.py因为输入文件没有.pyc后缀工具会智能地加上.py。现在用你喜欢的代码编辑器如VS Code、PyCharm、甚至Vim打开这个pyre.py文件真正的挑战才刚刚开始——代码逻辑分析。实操心得与避坑指南版本匹配问题这是反编译中最常见的坑。.pyc文件的Magic Number严格对应了生成它的Python解释器小版本号如3.8.0, 3.8.1...。如果你用uncompyle6反编译时遇到Unknown magic number错误说明你的uncompyle6可能不支持该Magic Number对应的Python版本。解决方法通常是a) 更新uncompyle6到最新版b) 尝试使用decompyle3c) 在题目暗示的Python版本环境下重新生成一个空的.pyc文件用其Magic Number替换题目文件的前4个字节需要一定的Hex编辑能力。输出文件名如果不加-o参数uncompyle6会将反编译结果直接打印到终端标准输出。对于较长的代码这不利于阅读和保存。使用-o指定输出文件是更佳实践。反编译失败如果工具报错或输出的代码混乱不堪可能是文件本身被损坏、加壳或经过了某种混淆。但就“[GWCTF 2019]pyre”这道题而言它是标准的、未混淆的pyc文件用正确版本的工具应该能顺利反编译。4. 反编译代码深度剖析与逻辑还原假设我们成功反编译得到了pyre.py其内容通常会类似下面这样我已对关键部分做了注释和简化原题代码会更紧凑#!/usr/bin/env python # visit https://tool.lu/pyc/ for more information # 上面这行注释可能是反编译工具自动加的忽略即可 import base64 def encode(message): s for i in message: x ord(i) ^ 32 # 与32进行异或操作 x x 16 # 再加16 s chr(x) return base64.b64encode(s.encode()) # 最后进行Base64编码 # 主逻辑部分 correct XlNkVmtUI1MgXWBZXCFeKYAaXNt flag input(please input your flag:) # 对用户输入的flag进行encode操作 encode_flag encode(flag) # 将encode的结果与预设的字符串correct进行比较 if encode_flag correct: print(success) else: print(fail)现在我们来逐行分析这段代码的逻辑这是逆向题目的核心乐趣所在。第一步理解encode函数这个函数是flag的加密过程。它接收一个字符串message即我们输入的flag然后进行如下操作初始化一个空字符串s用于存储中间结果。遍历message中的每一个字符i。对每个字符先获取其ASCII码ord(i)然后与数字32进行异或XOR运算。异或运算的特性是A ^ B ^ B A它是一个可逆的运算前提是知道密钥B。这里密钥是32。将异或的结果x加上16。将计算后的x转换回字符chr(x)并拼接到字符串s的末尾。遍历结束后得到了一个经过“异或32再加16”变换的字符串s。最后将字符串s进行Base64编码并返回编码后的字节串在Python 3中base64.b64encode返回的是bytes类型。第二步理解主程序逻辑定义了一个字符串correct XlNkVmtUI1MgXWBZXCFeKYAaXNt。这就是靶子是flag经过encode函数处理后的“密文”。程序提示用户输入flag。将用户输入的flag送入encode函数进行加密得到encode_flag。判断encode_flag是否等于correct。如果相等就输出success说明我们输入的flag是正确的。解题思路的逆向推导我们的目标是找到正确的flag使得encode(flag) correct。既然encode过程是清晰的那么解题就是逆向执行这个加密过程。加密流程是flag- (逐字符: 异或32 - 加16) - 中间字符串s- Base64编码 -correct。 那么解密流程就应该是correct- Base64解码 - 得到中间字符串s- (对s逐字符: 减16 - 异或32) - 得到原始flag。这里有一个关键点correct是Base64编码后的结果而encode函数返回的正是Base64编码的bytes。在比较时Python 3中encode_flag是bytescorrect是str。为了让比较成立代码中可能隐含着correct被编码成了bytes或者encode_flag被解码成了str。在实际反编译的代码中你可能需要处理这个类型问题。但逻辑核心不变我们需要对correct进行Base64解码。5. 编写解密脚本与获取Flag分析清楚逻辑后写一个解密脚本就是水到渠成的事情。我们将上述逆向思路用Python代码实现。import base64 def decode(encoded_cipher): 逆向encode函数的过程 # 1. Base64解码 correct # 注意correct在代码中是字符串但encode函数输出的是bytes。 # 比较时可能自动处理了这里我们直接对字符串进行base64解码。 try: # base64.b64decode 可以接受str或bytes返回bytes s_bytes base64.b64decode(encoded_cipher) except Exception as e: print(fBase64解码失败: {e}) return None # 2. 将解码后的bytes转换为字符串方便逐字符操作 # 根据加密过程s是由字符组成的所以用‘latin-1’或‘utf-8’解码因为ASCII范围 s s_bytes.decode(latin-1) # 3. 逆向变换先减16再异或32 flag_chars [] for char in s: x ord(char) # 获取当前字符的ASCII码 x x - 16 # 加密是加16解密就减16 x x ^ 32 # 加密是异或32解密同样异或32因为异或的自反性 flag_chars.append(chr(x)) # 4. 将字符列表组合成字符串 flag .join(flag_chars) return flag # 靶子密文 correct XlNkVmtUI1MgXWBZXCFeKYAaXNt # 调用解密函数 flag decode(correct) if flag: print(fThe flag is: {flag}) else: print(解密失败)脚本运行与结果运行这个Python脚本你会在控制台看到输出结果。对于这道题解密后的flag格式通常符合CTF的常见格式如flag{...}或GWCTF{...}。执行后我们得到了flag。深度思考与扩展为什么异或操作可逆这是由异或运算的性质决定的(A ^ B) ^ B A。在加密时我们用B32对A进行异或解密时只需要用同样的B32再异或一次即可还原。所以解密函数中在减16之后我们再次执行了x ^ 32。Base64解码注意事项Base64是一种编码不是加密它用于将二进制数据转换成可打印的ASCII字符。在CTF中Base64编码/解码非常常见。Python的base64.b64decode函数很强大但要注意输入字符串的填充号。题目中的correct字符串长度是28通常是4的倍数解码一般不会出错。字符编码问题在解密脚本中我们将Base64解码后的bytes对象用.decode(latin-1)转换为字符串。为什么用latin-1因为latin-1编码即ISO-8859-1可以无损地映射0-255范围内的所有字节值到字符非常适合处理这种经过自定义变换的字节数据。用utf-8在某些情况下可能会遇到无法解码的字节序列而报错。脚本的健壮性一个好的解密脚本应该考虑边界情况。例如如果correct字符串被修改或错误Base64解码可能失败try-except块就很有必要。此外确保加减和异或操作后的值仍在有效的ASCII范围内0-127或0-255否则chr()函数可能会出错。6. 进阶手动分析字节码的视角虽然使用uncompyle6等工具可以一键得到源代码但作为一个希望深入理解Python逆向的从业者了解如何直接阅读和分析.pyc文件中的字节码是很有价值的。这能帮助你在工具失效时如遇到定制化的Python解释器或混淆依然有路可走。Python提供了内置模块dis来反汇编字节码。我们可以写一个小脚本直接加载这个pyre文件它本质上是一个包含Code Object的marshal数据然后用dis模块查看。import marshal import dis import time # 读取pyc文件跳过前16个字节4字节magic number 4字节时间戳 4字节文件大小 # 注意Python 3.7的pyc文件头部可能是16字节老版本是8字节。 with open(pyre, rb) as f: # 跳过前16字节 f.seek(16) # 使用marshal加载code object code_obj marshal.load(f) # 使用dis模块反汇编 print(Disassembly of the code object:) dis.dis(code_obj)运行这个脚本你会看到类似汇编语言的输出这就是Python虚拟机执行的指令序列。例如你可能会看到LOAD_CONST,LOAD_FAST,BINARY_XOR,CALL_FUNCTION等指令。通过分析这些指令的顺序和参数结合co_consts常量表、co_names名称表等信息理论上可以手动还原出高级语言逻辑。这对于理解Python底层执行机制和解决高度混淆的题目至关重要。手动分析的难点与技巧文件头结构不同Python版本的.pyc文件头长度可能不同8字节或16字节需要根据Magic Number判断并正确跳过。直接seek(16)对于较新的版本通常是安全的。理解Code Objectmarshal.load(f)加载的是一个code对象它是Python编译的基本单元包含了字节码指令、常量、变量名等信息。结合上下文单独看dis的输出是枯燥且困难的。需要结合字符串常量在co_consts里、函数调用名在co_names里来推断逻辑。例如如果你在常量表中看到了base64和b64encode在指令流中又看到了IMPORT_NAME和CALL_FUNCTION就能推断出这里进行了Base64编码操作。练习价值对于初学者不建议一开始就死磕手动反汇编。先通过工具得到源码理解逻辑后再回头对照dis的输出看看每一条高级语句对应了哪些字节码指令这是快速学习字节码的捷径。7. 总结与举一反三通过这道“[GWCTF 2019]pyre”的详细解题我们完整走通了一个标准的Python逆向流程文件识别 - 工具反编译 - 代码逻辑分析 - 逆向算法 - 编写解密脚本 - 获取Flag。这个流程具有普适性可以应用到绝大多数以.pyc、pyinstaller打包exe可提取出pyc、或者py2exe等打包的Python逆向题中。关键知识点回顾.pyc文件Python字节码文件包含Magic Number、时间戳和编译后的代码对象。反编译工具uncompyle6是当前主流选择注意Python版本匹配。核心逆向思维加密/验证过程可逆。分析清楚encode的每一步然后逆向执行每一步的逆操作。常用操作逆向异或XOR自反性A ^ B ^ B A解密密钥与加密密钥相同。加减运算加密加解密就减加密减解密就加。Base64一种编码base64.b64decode是base64.b64encode的逆过程。脚本编写注意字节(bytes)与字符串(str)的转换选择正确的编解码方式如latin-1。举一反三与题目变种出题人不会总出一样的题但套路是相似的。你可能会遇到以下变种多层加密/编码可能不止一次异或或者混合了Base64、Base32、URL编码、ROT13等多种编码。算法复杂化加密算法可能不是简单的线性运算而是引入了自定义的置换表S-Box、复杂的位运算或数学运算。代码混淆变量名、函数名被替换成无意义的字符增加阅读难度。但核心算法指令不变静下心来依然可以分析。需要动态调试某些验证逻辑可能涉及外部输入、网络交互或复杂的条件分支静态分析困难可能需要使用pdb或修改源代码进行动态调试来理解流程。给新手的建议 从这道题开始建立你的逆向分析工具箱。除了uncompyle6还可以了解pyinstxtractor.py: 用于解包PyInstaller打包的Windows EXE或Linux ELF文件提取出其中的Python脚本和pyc文件。python-exe-unpacker: 类似的解包工具。pdb/ipdb: Python调试器用于动态跟踪程序执行。strings命令快速查看二进制文件中的可读字符串有时能直接发现关键信息或flag。最后这道题之所以经典就在于它“麻雀虽小五脏俱全”。它没有用复杂的混淆技术来为难选手而是扎实地考察了对Python程序基础逆向技能的理解。把这个流程吃透以后再遇到Python逆向题你至少有了一个清晰的、可执行的破题思路不会再感到无从下手。逆向工程就像解谜每一步的逻辑推导都充满乐趣而最终获取flag的那一刻正是对这种系统性思维最好的奖励。