一、题目概况format string 0是picoCTF 2024的Binary Exploitation题。公开writeup给出的题面提示是“Can you use your knowledge of format strings to make the customers happy?”并提供二进制文件、源码和远程连接方式。[1]二、漏洞直觉格式化字符串漏洞的典型危险写法是把用户输入直接交给printf当作格式模板。安全写法通常是printf(%s, input)危险写法则是printf(input)。当input中包含%s、%x、%n等格式符时程序会把它们解释为指令而不是普通文本。格式化字符串漏洞的触发逻辑三、解题过程题目第一轮给出三个汉堡选项Breakfst_Burger、Gr%114d_Cheese、Bac0n_D3luxe。只看格式化字符串特征最可疑的是带有%的Gr%114d_Cheese。公开writeup显示输入该选项后程序继续进入下一轮。Please choose from the following burgers:Breakfst_Burger, Gr%114d_Cheese, Bac0n_D3luxeEnter your recommendation: Gr%114d_Cheese%114d的含义可以理解为“按十进制整数格式输出并至少占114个字符宽度”。如果程序内部刚好把输入当格式模板输出就会出现被填充后的奇怪结果。第二轮选项中Cla%sic_Che%s%steak比Pe%to_Portobello更值得关注因为%s会让printf尝试把栈上的某个值当作字符串地址读取。公开writeup记录输入Cla%sic_Che%s%steak后程序打印出flag。Please choose from the following burgers:Pe%to_Portobello, $outhwest_Burger, Cla%sic_Che%s%steakEnter your recommendation: Cla%sic_Che%s%steak输出中的异常片段并不是噪声而是漏洞发生的证据格式符影响了程序对内存和参数的解释方式。最终得到的flag为picoCTF{7h3_cu570m3r_15_n3v3r_SEGFAULT_f89c1405}四、复盘这道题把格式化字符串漏洞包装成菜单选择题降低了二进制题的门槛。真正要记住的是printf家族函数的第一个参数如果来自用户输入就必须高度警惕。要点%d、%x常用于观察输出异常%s可能触发非法地址读取或泄露字符串。要点真实程序中应固定格式模板把用户内容作为后续参数传入。要点CTF中遇到菜单选项含%优先考虑格式化字符串路径。