傻逼国内pwn, 不会出可以不出, 套个 protobuf 断网不给环境打你 🐴

在 R3CTF 临期时出了个 Minecraft Hack 题, 差点难产了. 自认为出的不是很好, 和前年 给 D3CTF 出的那个 比差远了. 不过看最后看结果貌似还算可以? 至少问卷里喜欢这俩题的蛮多的.

软件所的形式化课直接教 Coq, 牛. 跟着课堂内容记录一下学习的过程, 整理的东西可能需要穿插着看.

最近打算搞 IoT 静态分析, 先来入门一下 IoT.

听了几节讲什么语法文法的课, 听不懂. 实验和这个一点关系也没有, 建议不讲这些奇奇怪怪的, 讲点 LLVM 多好.

这题当时做的时候思路完全错误, 看了一天都没做出来. 之后想去 discord 看看做法, 结果进不去他频道, 然后就搁置了. 某天心血来潮搜了一下, 有 WP 了. 复现.