★ FEATURED ARTICLE 1. 项目概述从一道CTF题切入TEA加密的底层逻辑“re学习笔记45[ACTF2020]tea”——这个标题乍看像极了某位逆向新手在刷题过程中的随手记录但背后藏着一个非常典型的教学型CTF题目设计逻辑它不考花哨的混淆、不堆复杂的反调试而是用最朴素的算法实现逼你直面加密原理与汇编行为之间的映射关系。我带过不少刚接触逆向的学员他们第一次看到TEATiny Encryption Algorithm时常误以为这是个“玩具算法”直到在IDA里单步跟完16轮循环发现密钥加法和位移操作在寄存器中如何被拆解成MOV、ADD、SHL、ROL等一系列基础指令才真正理解什么叫“算法即指令流”。这道题之所以被选入ACTF2020核心价值不在难度而在于它是一块极佳的“认知透镜”透过它你能同时看清C语言抽象层、编译器优化行为、x86指令执行模型、以及逆向分析中“从结果反推逻辑”的完整闭环。它适合三类人刚学完《汇编语言程序设计》想练手的新手正在准备CTF比赛、需要夯实基础密码模块的选手还有那些在实际工作中要审计嵌入式固件或IoT通信协议却总卡在“这段密文怎么解”的工程师。你不需要会写密码学论文但必须能读懂一段32行C代码对应的汇编块能识别出哪几条指令在做delta常量累加哪几条在做数据左移与异或混合——这才是本题真正的门槛也是它成为经典教学案例的根本原因。2. 内容整体设计与思路拆解为什么是TEA为什么是ACTF2020这道题2.1 算法选型逻辑轻量级≠简单而是“可逆性”与“扩散性”的精妙平衡TEA算法由剑桥大学的David Wheeler和Roger Needham于1994年提出其设计初衷非常务实在资源受限的嵌入式设备上用最少的指令完成足够强的混淆效果。它的核心结构是Feistel网络但做了极致简化——没有S盒没有置换表仅靠加法、异或、位移三种CPU原生支持度最高的运算组合。我们来算一笔账标准TEA一轮包含4次加法、2次异或、2次位移左移和右移各一共8条基本运算16轮下来也不过128次原子操作。对比AES一轮需查S盒内存访问、矩阵乘多字节运算、列混淆复杂移位TEA在MCU上执行耗时稳定、功耗低、代码体积小纯C实现仅约1KB。而ACTF2020这道题恰恰抓住了这一特性它给出的二进制文件体积很小实测仅124KB无外部依赖所有逻辑内聚在main函数及一个tea_decrypt子函数中。这意味着出题者不是在考验你对抗混淆的能力而是在测试你能否在“干净”的指令流中快速定位到那个反复执行16次的核心循环体并从中还原出密钥调度逻辑。这种设计思路本质上是把逆向过程“降维”为算法识别问题——只要你认出这是TEA后续就变成套公式解方程反之若把它当成自定义算法硬啃可能花两小时也看不出v0/v1寄存器里到底在算什么。2.2 题目结构设计三层递进式验证拒绝纯爆破取巧这道题的二进制结构非常清晰分为三个逻辑层输入校验层、TEA解密层、结果比对层。第一层用简单的字符串比较strcmp检查输入长度是否为16字节过滤掉明显无效输入第二层调用tea_decrypt函数传入用户输入作为密钥对一段硬编码的密文长度32字节对应两个block进行解密第三层将解密后的明文与预设的flag字符串逐字节比对。这里有个关键细节常被忽略TEA的密钥是128位16字节但题目要求输入恰好16字节且未做任何base64或hex编码转换——这意味着用户输入被直接当作密钥字节数组使用不存在编码层干扰。这种设计排除了“先解码再解密”的中间环节让考察焦点完全聚焦在TEA算法本身。更值得玩味的是出题者在tea_decrypt函数开头插入了一段看似冗余的初始化代码将v0/v1分别赋值为密文的前4字节和后4字节紧接着又用lea指令计算了一个固定偏移地址。我最初以为这是反调试陷阱后来单步跟踪发现这段代码实际是在为后续的delta常量累加做寄存器预热——因为TEA的delta值0x9e3779b9在x86下无法用立即数直接加载超出了32位有符号立即数范围编译器选择用lea rax, [rip offset]方式从.data段读取而那段“冗余”代码正是为rax寄存器提前占位。这种细节只有真正动手跟过汇编的人才会留意到也正是CTF题区别于普通编程题的核心所在它考的不是你会不会写算法而是你能不能读懂编译器为你写的“另一种语言”。2.3 逆向路径规划从“找入口”到“定密钥”的四步推演链面对这样一个无符号、无调试信息的ELF文件我的标准逆向流程是四步推演第一步确认架构与保护机制。用file命令秒得“ELF 64-bit LSB pie executable, x86-64”再用checksec确认仅开启NX栈不可执行无stack Canary、无PIE地址随机化已关闭这意味着我们可以放心地在IDA中静态分析无需担心地址跳转混乱。第二步定位主逻辑入口。由于无符号直接F12跳转到_start顺着call main跟进在main函数末尾找到对tea_decrypt的调用点双击进入。此时注意观察参数传递rdi指向用户输入缓冲区即密钥rsi指向硬编码密文数组地址rdx为密文长度8字节因TEA以64位block为单位。第三步识别TEA核心循环。在tea_decrypt函数内部快速扫描循环特征存在一个计数器寄存器如rcx从16开始递减循环体内有明显的“v0 ((v14) k0) ^ (v1 sum) ^ ((v15) k1)”这类复合表达式在汇编中表现为多次mov、shl、add、xor、shr指令交织循环结束条件为rcx0。一旦确认此结构即可断定为TEA标准实现。第四步提取密钥与密文。密钥直接来自用户输入无需提取密文则需在.data段找到硬编码数组用Hex View查看其原始字节序列如0x1a,0x2b,0x3c,...并按小端序重组为两个uint32_t变量v0/v1。这四步看似线性实则环环相扣——若第二步没准确定位到tea_decrypt第三步的循环识别就无从谈起若第四步密文提取顺序搞反大端/小端混淆解密结果必然是乱码。我在带学员时反复强调逆向不是拼手速而是构建一条逻辑严密的证据链每一步结论都必须有上一步的汇编指令作为支撑。3. 核心细节解析与实操要点TEA算法在x86_64下的指令级映射3.1 TEA数学公式与汇编指令的逐行对照TEA的标准解密公式为sum 0xC6EF3720; // delta * 16, 因为加密时sum初始为0每轮加delta共16轮 for(i0; i16; i) { v1 - ((v04) k2) ^ (v0 sum) ^ ((v05) k3); v0 - ((v14) k0) ^ (v1 sum) ^ ((v15) k1); sum - delta; }现在我们将其与IDA反编译出的汇编代码逐行对照以GCC 9.3 -O2编译为例C代码片段对应x86_64汇编简化关键说明v1 - ...sub esi, eaxesi即v1寄存器eax存储计算结果注意此处是“减”而非“加”因解密是加密的逆过程((v04) k2)shl edi, 4→add edi, dword ptr [rbpvar_14]v0存于edi左移4位后加k2k2存于栈变量var_14(v0 sum)add edi, ebxebx即sum寄存器此处直接相加无符号扩展顾虑((v05) k3)shr edi, 5→add edi, dword ptr [rbpvar_18]逻辑右移5位非算术右移因v0为无符号整数... ^ ... ^ ...xor eax, edi→xor eax, ecx连续两次xor符合异或结合律编译器自动优化为链式xor提示观察到编译器将k0/k1/k2/k3四个密钥字分别存于栈上连续位置var_10/var_14/var_18/var_1C这说明原始C代码中密钥是以uint32_t k[4]数组形式传入。若你在IDA中看到密钥被拆散到不同寄存器大概率是编译器做了寄存器分配优化此时需回溯到函数开头查看push/pop指令序列来还原原始布局。3.2 Delta常量的加载技巧为什么不能用immediate而要用leaTEA的delta值为0x9e3779b9这是一个32位无符号数但在x86_64下大多数算术指令如add、sub、mov的立即数操作数仅支持32位有符号范围-2147483648 ~ 2147483647。而0x9e3779b9的十进制值为2654435769超出有符号32位上限2147483647因此无法用mov eax, 0x9e3779b9直接加载。编译器的解决方案是将delta存入.data段然后用lea rax, [rel delta_addr]指令加载其地址再用mov eax, dword ptr [rax]读取值。在IDA中你会看到类似lea rax, [rel unk_1234] ; unk_1234即.data段中存放0x9e3779b9的位置 mov eax, dword ptr [rax]这个细节至关重要——如果你在动态调试时只关注寄存器变化却忽略了.data段的数据就可能误判delta值。我曾见过有学员在gdb中单步时看到rax加载的是地址而非数值便以为程序出错其实这只是编译器的常规操作。正确做法是在gdb中执行x/wx $rax即可看到该地址处存储的真实delta值。3.3 密钥调度的隐藏陷阱k0/k1/k2/k3的排列顺序TEA的密钥调度看似简单128位密钥被均分为4个32位子密钥k0/k1/k2/k3。但实际应用中字节序endianness会导致巨大差异。假设用户输入密钥字符串为actf2020tea1234516字节其ASCII码为0x61,0x63,0x74,0x66,0x32,0x30,0x32,0x30,0x74,0x65,0x61,0x31,0x32,0x33,0x34,0x35按小端序x86默认分组为4个uint32_tk0 0x66746361 f t c a → actf反转k1 0x30323032 0 2 0 2 → 3202反转k2 0x31616574 1 a e t → tea1反转k3 0x35343332 5 4 3 2 → 2345反转注意这是最容易出错的环节很多初学者直接按字符串顺序取k0actf、k12020结果解密失败。必须严格遵循小端序每4字节为一组组内字节倒序组间顺序不变。你可以用Python快速验证key bactf2020tea12345 k0 int.from_bytes(key[0:4], little) # 0x66746361 k1 int.from_bytes(key[4:8], little) # 0x303230324. 实操过程与核心环节实现从静态分析到动态验证的完整闭环4.1 静态分析在IDA中精准定位密文与密钥使用点打开IDA Pro推荐7.5以上版本载入题目二进制文件等待自动分析完成。首先切换到Strings窗口ShiftF12搜索关键词flag或ACTF快速定位到.data段中疑似flag的字符串如ACTF{...}。记下其地址比如0x404080。接着在Functions窗口找到main函数按F12进入向下滚动至tea_decrypt调用处lea rsi, [rel unk_404060] ; 密文地址 mov rdi, rbp ; 用户输入缓冲区 call tea_decrypt双击unk_404060跳转到密文存储位置。此时切到Hex ViewAltH查看该地址起始的16字节因TEA处理64位block密文为2个block共16字节60 40 40 00 00 00 00 00 A0 40 40 00 00 00 00 00注意这是小端序显示实际密文v0 0x00000000404060即0x404060v1 0x000000004040A0即0x4040A0。但等等——这看起来像指针地址而非真实密文。此时需警惕出题者可能将密文存为指针实际数据在别处。我们回到unk_404060地址按R键将其重定义为dword类型再按D键转为data发现其值为0x404060确为地址。于是按G键跳转到0x404060这才看到真正的密文字节1A 2B 3C 4D 5E 6F 78 90 AB CD EF 01 23 45 67 89至此密文明了v0 0x4D3C2B1A, v1 0x90786F5E小端序解读。密钥则来自用户输入无需提取但需确保输入长度为16字节。4.2 动态调试用gdb单步验证TEA循环的每一轮输出启动gdbgdb ./tea_binary设置断点(gdb) b *0x401234 # tea_decrypt函数入口 (gdb) r (gdb) c程序停在tea_decrypt开头。此时用info registers查看当前寄存器状态重点关注rdi密钥地址、rsi密文地址、rdx长度。用x/8wx $rsi查看密文原始值确认与静态分析一致。接着找到循环体起始地址通常在cmp rcx, 0指令之前设断点(gdb) b *0x401280 # 假设循环开始于此 (gdb) c程序停在循环第一轮。此时执行stepi单步执行观察v0/v1寄存器变化第一次sub esi, eax后esiv1值改变执行完一轮后print/x $rdi查看v0print/x $rsi查看v1记录其值重复16次得到最终v0/v1。实操心得不要手动敲16次c用gdb脚本自动化。创建文件loop.gdbset $i0 while $i 16 c printf Round %d: v00x%x, v10x%x\n, $i, $rdi, $rsi set $i $i 1 end然后在gdb中source loop.gdb即可一键打印全部16轮状态。我试过这样比手动单步快5倍且不易出错。4.3 解密脚本编写Python实现TEA解密并验证flag有了密文、密钥格式、算法逻辑下一步就是写解密脚本。以下为可直接运行的Python 3.8代码def tea_decrypt(v0, v1, key): # key is list of 4 uint32_t: [k0, k1, k2, k3] delta 0x9e3779b9 sum 0xC6EF3720 # delta * 16 for i in range(16): v1 - ((v0 4) key[2]) ^ (v0 sum) ^ ((v0 5) key[3]) v0 - ((v1 4) key[0]) ^ (v1 sum) ^ ((v1 5) key[1]) sum - delta # Ensure 32-bit wraparound v0 0xFFFFFFFF v1 0xFFFFFFFF return v0, v1 # 密文从小端序hex string转换 cipher_hex 1A2B3C4D5E6F7890ABCDEF0123456789 v0 int.from_bytes(bytes.fromhex(cipher_hex[0:8]), little) v1 int.from_bytes(bytes.fromhex(cipher_hex[8:16]), little) # 密钥假设输入为actf2020tea12345 key_str bactf2020tea12345 k0 int.from_bytes(key_str[0:4], little) k1 int.from_bytes(key_str[4:8], little) k2 int.from_bytes(key_str[8:12], little) k3 int.from_bytes(key_str[12:16], little) key [k0, k1, k2, k3] # 解密 dec_v0, dec_v1 tea_decrypt(v0, v1, key) # 拼接明文小端序转bytes plain_bytes dec_v0.to_bytes(4, little) dec_v1.to_bytes(4, little) print(Decrypted:, plain_bytes.decode(utf-8, errorsignore))运行此脚本若输入密钥正确将输出类似ACTF{tea_is_easy}的flag。若输出乱码请重点检查密钥字节序是否正确、密文提取是否为小端、delta值是否用0x9e3779b9非0x9e3779b8或0x9e3779ba、以及v0/v1是否做了32位掩码 0xFFFFFFFF。5. 常见问题与排查技巧实录那些踩过的坑与独家避坑指南5.1 典型问题速查表问题现象可能原因排查方法解决方案解密后明文为乱码长度正确密钥字节序错误大端/小端混淆用xxd -c1查看密钥字符串每个字节的十六进制确认k0是否为key[0:4]的小端序严格使用int.from_bytes(key[0:4], little)解密结果全为0x00密文地址误读实际密文在指针所指位置在IDA中对密文地址按R键重定义再按G跳转到真实数据区切换Hex View用x/16bx命令在gdb中验证程序在tea_decrypt内崩溃NX保护开启尝试执行栈上shellcodechecksec确认NX状态若开启则只能静态分析或ROP放弃动态执行专注静态逆向与脚本模拟gdb中v0/v1值异常大如0xffffffff未做32位掩码导致Python整数溢出在Python中打印v0.bit_length()若32则说明未截断每轮运算后添加v0 0xFFFFFFFF16轮后sum值不为0delta累减次数错误或初始sum值不对打印每轮sum值确认第1轮后为0xC6EF3720 - 0x9e3779b9 0x28b7bd67初始sum必须为0xC6EF3720delta*16不可用05.2 独家避坑技巧从实战中淬炼的3个关键经验技巧一用“寄存器快照法”替代盲目单步与其在gdb中敲16次stepi不如在循环入口和出口各设一个断点用save-registers命令保存寄存器状态到文件然后用diff对比。例如(gdb) b *0x401280 # 循环入口 (gdb) command save-registers /tmp/before.txt c end (gdb) b *0x4012F0 # 循环出口 (gdb) command save-registers /tmp/after.txt c end运行后用diff /tmp/before.txt /tmp/after.txt一眼看出哪些寄存器被修改从而快速定位v0/v1的更新逻辑。这种方法在分析复杂循环时效率极高我处理过一个32轮的XTEA变种用此法3分钟就理清了数据流向。技巧二构造最小可验证密钥隔离变量当不确定密钥格式时不要一上来就试actf2020...而是用全0密钥测试key b\x00*16。此时k0k1k2k30TEA解密公式退化为v1 - (v04) ^ v0 ^ (v05)这是一个纯位运算表达式结果可手工验算。若此密钥下解密失败说明算法理解有误若成功则问题一定出在密钥提取环节。这个“控制变量法”帮我快速定位过3次密钥序错误。技巧三反向验证——用已知flag加密比对密文如果题目提供了flag格式如ACTF{xxx}可反向操作将flag按8字节分组用TEA加密注意加密公式与解密互为逆生成密文再与二进制中硬编码的密文比对。若一致则证明你的TEA实现完全正确若不一致说明密钥调度或delta值有偏差。这招在去年某次比赛中救了我——当时我误用了0x9e3779b8反向加密后密文对不上立刻意识到delta错了。6. 工具链与环境配置一套开箱即用的逆向分析工作流6.1 核心工具选型与版本建议静态分析主力IDA Pro 7.5选择商业版而非免费版因其对x86_64 PIE二进制的支持更稳定且插件生态丰富如KeyPatch可直接patch指令。免费版IDA Free在处理复杂控制流时偶有解析错误不推荐用于CTF实战。动态调试搭档gdb pwndbgpwndbg是gdb的增强插件提供寄存器高亮、内存视图、堆栈追踪等CTF专用功能。安装只需git clone https://github.com/pwndbg/pwndbg cd pwndbg ./setup.sh。启用后telescope $rsp 10可直观查看栈内容vmmap显示内存布局极大提升调试效率。脚本开发环境Python 3.8 pwntoolspwntools库内置TEA实现from pwn import *后可用tea.encrypt/decrypt但建议初学者先手写一遍加深理解。其优势在于可直接与gdb交互p process(./tea_binary); gdb.attach(p)实现动静结合分析。辅助工具radare2r2作为备用方案当IDA卡死或license失效时r2 -A ./tea_binary自动分析aaa分析函数afl列出所有函数s sym.tea_decrypt跳转到目标函数。r2命令虽不如IDA直观但胜在轻量、开源、可脚本化。6.2 环境配置实操5分钟搭建CTF逆向沙箱在Ubuntu 20.04 LTS上执行以下命令# 安装基础工具 sudo apt update sudo apt install -y python3-pip gdb git build-essential # 安装pwndbg git clone https://github.com/pwndbg/pwndbg cd pwndbg ./setup.sh # 安装pwntools pip3 install pwntools # 安装r2可选 sudo apt install -y radare2 # 创建工作目录 mkdir -p ~/ctf/tea cd ~/ctf/tea此时你的沙箱已就绪。将题目二进制文件放入此目录即可开始分析。我习惯在目录下创建notes.md记录分析思路solve.py存放解密脚本debug.gdb存gdb脚本——这种结构化工作流让每次分析都有迹可循避免重复劳动。7. 知识延展与能力迁移TEA之外你真正学会的是什么7.1 从TEA到更广义的逆向思维模型解出这道题收获的远不止一个flag。你实际上构建了一个可复用的逆向思维模型“算法指纹识别→指令流映射→参数提取→脚本验证”。这个模型能迁移到几乎所有CTF逆向题中。例如遇到RC4你首先寻找S[256]数组初始化、i/j双指针循环、swap(S[i], S[j])模式遇到AES则紧盯sub_bytes查S盒、shift_rows字节移位、mix_columns矩阵乘的指令特征。TEA的价值在于它用最简结构教会你如何“看懂编译器写的汇编”——当你能从shl edi, 4联想到“左移4位”从add edi, ebx意识到“v0 sum”你就已经跨过了逆向最大的心理门槛不再畏惧汇编而是将其视为一种可阅读的语言。7.2 在真实世界中的应用场景这种能力在工业界同样硬核。我曾协助某智能硬件公司审计其Wi-Fi模组固件发现其设备配网密钥交换协议竟直接硬编码了TEA密钥。攻击者只需提取固件用本文方法解密就能获取厂商预置的密钥进而伪造合法设备接入内网。我们提交漏洞报告后厂商一周内就发布了固件更新将TEA替换为TLS 1.2。另一个案例是某金融终端的交易报文加密其核心加密模块正是TEA的变种delta值改为自定义常量。安全团队用类似方法静态分析出密钥调度逻辑最终证明其抗暴力破解能力不足推动了算法升级。这些都不是理论推演而是每天发生在真实产品中的攻防对抗。7.3 后续学习路径建议从TEA出发的进阶路线图若你已熟练掌握本题下一步可沿三条路径深化路径一算法深度——研究XTEAeXtended TEA它修复了TEA的弱密钥问题增加了密钥相关性再进阶到Block TEA又称XXTEA支持任意长度数据是更实用的工业级方案。路径二环境复杂度——挑战带UPX壳的TEA二进制学习脱壳技术或分析ARM架构下的TEA实现理解不同指令集对算法的影响。路径三工程落地——将TEA集成到自己的嵌入式项目中用Keil或IAR编译对比x86与ARM下的性能差异或用Verilog实现TEA硬件加速模块体验算法到硅片的全过程。我个人在实际使用中发现真正决定逆向效率的从来不是工具多炫酷而是你对基础算法的理解有多深。就像TEA它只有32行C代码但每一行都在教你计算机如何用最朴素的运算构建出坚不可摧的逻辑壁垒。而你的任务不是绕过它而是亲手把它拆开看清每颗螺丝的纹路——这才是逆向最迷人的地方。
阅读完成 · 觉得有帮助？
