1. 项目概述一次从“剑龙”到Flag的CTF逆向之旅最近在复盘一些CTF比赛的题目特别是给新生准备的入门赛发现其中有不少题目设计得非常精妙既能考察基础又能串联起多个知识点。“[ACTF新生赛2020]剑龙”这道题就是一个典型的例子。乍看题目名字“剑龙”可能会让人联想到恐龙或者某种游戏角色但在CTF的世界里这往往是一个隐喻或者线索。结合题目给出的相关热词——ACTF、pyc、stegosaurus、Steghide、AAencode——我们大致可以勾勒出这道题的解题路径它很可能涉及Python字节码逆向、隐写术以及一种特殊的编码。对于刚接触CTF逆向和隐写的新手来说这道题像是一个设计精巧的“寻宝游戏”每一步都环环相扣。今天我就来详细拆解这道题不仅还原解题过程更重点分享在每个环节中作为一个解题者应该如何思考以及那些容易踩坑的细节。无论你是想学习CTF逆向还是对Python字节码和隐写术感兴趣相信这篇详细的复盘都能给你带来收获。2. 解题思路总览与核心工具解析面对任何CTF题目第一步永远是“审题”。题目附件通常是一个文件对于“[ACTF新生赛2020]剑龙”我们拿到的就是一个名为“剑龙”的文件没有后缀。用file命令或者直接拖到Hex编辑器里看一眼是解题的良好开端。2.1 初始文件分析与方向判断首先使用file命令对文件进行初步识别file 剑龙如果输出显示是data我们可以用xxd或hexdump查看文件头。一个非常常见的操作是直接检查文件开头几个字节的魔术字Magic Bytes。对于Python编译后的.pyc文件其文件头在Python 3.7通常是0x0a0d0d0a开头这是一个四字节的幻数后面跟着时间戳等。但更稳妥的方法是使用binwalk工具它能自动识别文件中嵌入的多种文件格式。binwalk 剑龙binwalk的输出可能会显示文件中包含多个部分例如一个Zip archive data或者直接标识出Python compiled。这是我们的第一个关键决策点如果文件是单一的.pyc那么核心就是逆向这个字节码文件如果文件中还嵌套了其他文件如图片那么隐写术可能就是下一步。根据题目给出的热词stegosaurus和Steghide我们可以高度怀疑这道题融合了逆向和隐写。一个经典的出题套路是一个Python脚本编译成pyc负责处理或隐藏信息而信息最终藏在一张图片里。因此我们的解题思路链可以假设为识别并提取出可能的.pyc文件。逆向.pyc文件得到原始Python逻辑或关键线索。根据逆向得到的线索从某个载体很可能是图片中提取隐藏信息。对提取出的信息进行解码AAencode提示了编码类型最终获得Flag。2.2 核心工具介绍与选用理由工欲善其事必先利其器。这道题涉及几个关键工具理解它们为何被选用比单纯记住命令更重要。binwalk/foremost用于文件分离。当题目文件是一个“容器”内部包裹了多个文件时这两个工具是首选。binwalk分析结构foremost直接按结构提取。如果binwalk分析出有ZIP或图片嵌入用foremost提取通常更直接。foremost 剑龙 -o output_directory-o参数指定输出目录提取出的文件会按类型存放在该目录下。uncompyle6/decompyle3.pyc文件反编译工具。.pyc是Python的字节码文件直接阅读是机器指令需要反编译回人类可读的Python源代码。uncompyle6是目前对高版本Python支持较好的反编译器。如果反编译失败可能需要检查.pyc文件的Python版本或者尝试使用pycdc等工具。stegosaurus这是一个专门用于在Python字节码.pyc中隐藏信息的隐写工具。它的原理是利用.pyc文件中co_code存储字节码指令序列部分的冗余空间或特定结构来嵌入数据。如果题目明确提到它或者逆向出的Python代码看起来有古怪比如有很多无用的NOP指令或奇怪的常量就要考虑是否用了stegosaurus隐写。steghide一个经典的基于LSB最低有效位替换算法的图片隐写工具。它需要密码才能提取隐藏信息。密码从哪里来往往就是从逆向得到的Python代码逻辑中推导或计算出来。它的常用命令是steghide extract -sf 图片文件.jpg -p 密码-sf指定隐写文件-p指定密码。AAencode一种有趣的JavaScript编码方式它将代码编码成由日文片假名、符号等组成的“颜文字”风格字符串看起来就像一堆(Д)这样的字符。解码后可以得到原始的JS代码。通常在线解码工具就能处理。注意工具链的选择不是固定的。如果uncompyle6反编译失败要立刻考虑是否是Python版本不匹配或者文件头损坏。有时需要手动修复.pyc文件头比如补上正确的幻数和时间戳。这是逆向中常见的“坑点”。3. 逐步拆解与实操过程还原下面我们按照假设的解题思路一步步推演并详细说明每个环节的操作和可能遇到的问题。3.1 第一步文件分离与PYC提取拿到“剑龙”文件首先用binwalk分析。binwalk 剑龙 # 可能的输出示例 # DECIMAL HEXADECIMAL DESCRIPTION # --------------------------------------------------------------------- # 0 0x0 PNG image, 512 x 512, 8-bit/color RGBA, non-interlaced # 123456 0x1E240 Zip archive data, at least v2.0 to extract, compressed size: 7890, uncompressed size: 21504, name: dragon.pyc # 456789 0x6F855 End of Zip archive从输出可以清晰地看到这个文件实际上是一个PNG图片但在其内部偏移0x1E240处嵌入了一个ZIP压缩包压缩包里有一个dragon.pyc文件。这验证了我们关于“容器”的猜想。接下来我们需要把这个ZIP包提取出来。可以用dd命令精确切割dd if剑龙 ofembedded.zip skip123456 bs1这里skip123456是ZIP开始的十进制偏移量bs1表示以字节为单位。但更简单的方法是直接用foremostforemost 剑龙 -o foremost_output执行后在foremost_output目录下通常会有一个zip子目录里面就包含了提取出的dragon.pyc文件。同时在png目录下你能找到那张原始的PNG图片我们暂时命名为dragon.png。实操心得binwalk和foremost是黄金搭档。先用binwalk看结构做到心中有数再用foremost自动提取避免手动dd计算偏移出错的风险。如果文件结构复杂foremost可能提取不全这时再结合dd手动操作。3.2 第二步逆向Python字节码文件现在我们有了dragon.pyc。尝试用uncompyle6反编译uncompyle6 dragon.pyc dragon_decompiled.py如果成功dragon_decompiled.py里就是可读的Python源代码。但这里可能会遇到第一个坎反编译失败。常见的错误信息可能是“Unknown magic number…”未知幻数。这是因为.pyc文件头包含了Python版本标识的“幻数”如果这个幻数不对或者文件头损坏反编译器就无法识别。解决方案检查/修复文件头用十六进制编辑器打开dragon.pyc查看前16个字节。一个标准的Python 3.7的.pyc文件头通常是16字节4字节幻数如0x420d0d0a对应Python 3.8 4字节时间戳 4字节文件大小 4字节。你可以找一个已知版本的正确.pyc文件将其文件头复制过来替换。或者使用工具pycdc它有时对文件头要求不那么严格。尝试其他反编译工具如果uncompyle6不行可以试试decompyle3它是uncompyle6的一个分支或pycdas反汇编和pycdc反编译。# 使用 pycdc ./pycdc dragon.pyc dragon_decompiled.py假设我们成功反编译得到了类似下面的代码此为模拟非原题真实代码import sys import hashlib def generate_password(key): m hashlib.md5() m.update(key.encode(utf-8)) return m.hexdigest()[:8] def hide_message(): # ... 一些操作可能提示了隐写工具和密码生成方式 ... password generate_password(“ACTF”) # 提示使用 steghide密码是 password print(“Hint: Use steghide with the password generated from ‘ACTF’”) if __name__ “__main__”: hide_message()从逆向出的代码我们得到了关键线索密码是由字符串ACTF经过MD5哈希后取前8位十六进制字符生成的。计算一下import hashlib hashlib.md5(“ACTF”.encode()).hexdigest()[:8] # 假设得到’a1b2c3d4’那么隐写密码很可能就是a1b2c3d4。同时代码可能也暗示了隐写工具是steghide而载体就是之前分离出的dragon.png图片。3.3 第三步图片隐写信息提取根据上一步得到的密码a1b2c3d4和载体dragon.png我们使用steghide提取隐藏信息steghide extract -sf foremost_output/png/00000000.png -p a1b2c3d4如果密码正确steghide会提示“提取出的数据保存到了“secret.txt”中”。这时当前目录下就会生成一个secret.txt文件。打开secret.txt你可能会看到一堆像乱码一样的日文符号和颜文字例如ω /´ ~┻━┻ //*´∇*/ [_]; o() _3; c(Θ) ()-(); (Д) (Θ) (o^_^o)/ (o^_^o);...这就是典型的AAencode编码。AAencode是一种将JavaScript代码编码成由日文字符、符号组成的“艺术形式”的编码方法具有一定的迷惑性。3.4 第四步AAencode解码与Flag获取最后一步就是解码这串AAencode。我们可以使用在线的AAencode解码工具搜索“AAencode decode”即可找到很多。将secret.txt中的全部内容复制到解码器的输入框点击解码。解码后我们得到了一段JavaScript代码。这段代码很可能直接包含了Flag或者需要再执行一下才能输出Flag。例如解码后的JS代码可能是console.log(“ACTF{This_Is_The_Final_Flag}”);或者是一个简单的字符串拼接、解密函数运行它可以在浏览器控制台或Node.js环境就能得到Flag。至此整个解题流程完成文件分离 - 逆向PYC得密码 - Steghide提取隐写文件 - AAencode解码得Flag。4. 深度技术原理与避坑指南4.1 PYC文件结构与反编译原理为什么我们能从.pyc反编译回Python源码这需要理解.pyc的本质。.pyc是Python源代码编译后的字节码文件它包含了两大部分文件头包含幻数标识Python版本、时间戳、源文件大小等信息。反编译器首先靠幻数判断版本。字节码对象这是核心是一个序列化的PyCodeObject。它包含了代码对象的元信息如常量表co_consts、变量名表co_names、字节码指令序列co_code等。uncompyle6这类工具的工作就是解析这个PyCodeObject将字节码指令co_code映射回对应的Python语法结构。字节码是一种栈式虚拟机的指令每条指令对应一个简单的操作如加载变量、进行加法、调用函数等。反编译器通过模拟执行流程和控制流分析重建出高级的if、for、while等语句结构。避坑指南反编译失败除了文件头问题还可能是因为字节码被混淆或破坏。出题人可能会手动修改字节码指令或者利用stegosaurus这类工具在co_code中插入无效指令如大量的NOP来隐藏信息这会导致反编译器解析出错。此时可能需要直接分析字节码。使用dis模块反汇编是不错的选择python -m dis dragon.pyc disassembly.txt通过阅读反汇编的指令结合Python字节码文档人工理解程序逻辑。虽然繁琐但在对付强混淆时是终极手段。4.2 Steghide与LSB隐写算法steghide使用的核心算法是LSB替换Least Significant Bit Replacement。图像中每个像素的颜色值如RGB中的R、G、B通常用8位0-255表示。LSB替换修改每个颜色值的最低1位或几位将其替换为秘密信息的一个比特。因为只修改了最低位对图像整体的视觉影响微乎其微人眼难以察觉。例如一个像素的红色通道值是150二进制10010110要隐藏比特1就把最低位替换为1得到10010111151。提取时只需读取每个颜色值的最低比特位再按顺序组合起来就能还原出隐藏的数据。steghide在嵌入时还会对数据进行加密和压缩并随机选择嵌入位置增强了隐蔽性。这就是为什么需要密码才能提取。避坑指南密码错误这是最常见的错误。steghide如果密码错误通常会直接报错“could not extract any data with that passphrase!”。务必仔细检查逆向得到的密码生成逻辑MD5哈希时注意字符串编码是ACTF还是actf有没有换行符以及截取的长度和位置。文件格式steghide主要支持JPEG、BMP、WAV和AU格式。虽然PNG理论上也能用LSB但steghide对PNG的支持可能有问题。如果题目给的载体是PNG但steghide提取失败可以考虑是否需要用其他工具如zsteg、stegolsb或先将PNG转换为BMP再尝试。不过在这道题中分离出的图片大概率就是JPEG格式只是被重命名或无后缀。4.3 AAencode编码特征与识别AAencode并不是加密而是一种编码。它的识别特征非常明显字符串主要由日文片假名如、、、数学符号、括号和少量字母数字组成整体看起来像一张“颜文字脸”。其原理是利用JavaScript中极少量的字符如[、]、(、)、、!等来构造出所有其他字符从而将任意JS代码编码成这种形式。在线解码器的工作原理通常是先执行一段通用的AAencode解码器JS代码或者模拟其构造过程将颜文字字符串还原为标准JS字符集。避坑指南有时在线解码器可能会因为编码字符串中的特殊字符如不可见字符、换行符而解码失败。建议将secret.txt的内容先做一次Base64编码然后在解码器的输入框里先解码Base64再解码AAencode。或者可以尝试使用本地Node.js环境手动编写或寻找一个AAencode的解码函数来执行这样控制力更强。5. 常见问题排查与实战技巧在实际操作中你可能会遇到各种各样的问题。下面我整理了一个问题排查表并附上我的实战技巧。问题现象可能原因排查步骤与解决方案binwalk无任何输出或只显示data1. 文件确实是纯数据或未知格式。2. 文件头被破坏或修改。1. 用hexdump -C 剑龙uncompyle6报错 “Unknown magic number”.pyc文件头幻数损坏或版本不匹配。1. 用xxd dragon.pycsteghide extract提示密码错误1. 密码确实错误。2. 密码格式问题如包含空格、大小写错误。3. 隐写文件不是steghide嵌入的。1.反复核对逆向代码确认哈希算法MD5? SHA1?、原始字符串、截取位置。亲自用Python脚本计算一遍。2. 尝试空密码(-p “”)。3. 用steghide info -sf file.jpg查看文件是否确实由steghide嵌入。steghide提示 “could not extract any data”1. 文件没有隐写数据。2. 载体文件格式不支持或已损坏。1. 用file命令确认载体文件是JPEG还是其他格式。2. 尝试其他隐写工具如stegolsb、zsteg针对PNG、exiftool查看元数据。AAencode在线解码失败1. 字符串包含干扰字符或格式错误。2. 在线解码器兼容性问题。1. 检查secret.txt文件确保复制的内容完整首尾无多余空格或换行。2. 尝试多个不同的在线解码网站。3.终极方法搜索“aaencode decode javascript”将解码JS代码保存到本地html文件用浏览器打开并调试。提取出的secret.txt是乱码但不像AAencode可能还有其他编码或加密层。1. 用file secret.txt查看文件类型。2. 用cat -A secret.txt查看是否包含不可见字符。3. 尝试Base64、Hex、ROT等常见编码解码。我的独家实战技巧建立标准化分析流程拿到任何文件我的第一反应是运行file、binwalk、strings、xxd | head这四个命令。这能在30秒内对文件有一个全局了解。善用“暴力”但聪明的方法如果逆向得到的密码生成逻辑很复杂或者你怀疑密码很简单可以编写一个简单的字典爆破脚本。比如如果密码可能是MD5(某单词)的前8位你可以把常见CTF词汇如flag、ctf、secret、hide、题目名等做成字典进行尝试。保持环境隔离建议在Docker容器或虚拟机中进行CTF练习。这样你可以随意安装各种工具stegosaurus、steghide、zsteg等而不会污染主机环境。一个配置好的CTF Docker镜像能极大提升效率。记录与回溯解题时在终端里使用script命令记录所有操作或者简单地把所有命令和输出都复制到一个文本文件中。这不仅能用于赛后复盘当你在多步操作后卡住时回溯记录往往能发现之前忽略的细节。这道“[ACTF新生赛2020]剑龙”题目完美地串联了文件分析、逆向工程和隐写术这三个CTF基础技能点。它就像一把钥匙帮你打开了CTF Misc和Reverse结合类题目的大门。解决它的过程本质上是在训练一种系统性的问题拆解思维从杂乱的文件中寻找结构从晦涩的代码中推导逻辑从平常的图片中发掘秘密。这种思维才是CTF比赛乃至实际安全工作中最宝贵的财富。下次再遇到名字奇怪的“动物”题目不妨先想想它是不是也藏着这样一条环环相扣的解题“龙骨”。