SECCON 2024：动态二进制插桩trace 破解函数式编程混淆

文章预览

这道F is for flag（正餐），卡的时间比较久，一开始打算硬逆奈何功力不够（我知道有其他大佬硬逆做出来的），最后选择使用trace工具碰碰运气，然后又在frida和pyda之间来回反复，frida的hook效果不尽人意，最终选择pyda。 pyda是一款动态二进制插桩工具，可以通过编写python代码的方式实现hook非常方便。 官网介绍：Pyda combines Dynamorio-based instrumentation with a CPython interpreter, allowing you to write hooks in Python that directly manipulate registers/memory in the target, without going through GDB or ptrace. https://github.com/ndrewh/pyda 题目背景 经典的flag检查： /f FLAG: SECCON{fUnCt10n4l_pRoGr4mM1n6_1s_pR4c7iC4lLy_a_pUr3_0bfu5c4T1oN} "Correct" 一 ida 逆向初探 题目由c++编写，ida打开点开main函数，会发现main函数里面发现里面有大量的std:variant, lambda闭包调用，并且其他函数都是被mangle过的。 v84 = 0 ; std::variant >:: va ………………………………