AFLgo 是一个很有意思的模糊器，但是环境的配置比较麻烦，我碰到了不少错误和问题，这里简单记录一下整个过程。官方文档我的环境：全新 Ubuntu 16.04 虚拟机。（不过使用更新的发行版可能会减少一些麻烦的版本问题，我也有点后悔使用这个版本，不过幸好碰到的问题都可以解决）LLVM-gold安装 ld.gold首先要安装支持 Gold-plugin 的 llvm 11.0.0，需要自行编译...
半个多月没有更新博客了，主要还是因为逐渐不再以刷题来学习 pwn 了，少了很多可写的东西，再加上上个月特别的忙，先是军训，训完之后就连着上课，早八到晚八，弄的我心力憔悴，确实没学到什么东西，所以确实没什么可写的。最近准备开始学点现代漏洞测试技术，正好创新实践课那里是搞 fuzz 的，学长给我布置了拿 LibFuzzer 和 AFLgo 测 lava-M 的任务，也算是熟悉一下工具的使用。这两...
这次的 RCTF 正好碰上军训，同级的队友只有我请出了假，所以基本上就只有三四个人在做题，非常的凄惨。pwn 题到最后一共放出来了 8 道，除了两个用 musl malloc 的题目之外代码都极度混乱，本身我的逆向能力比较弱，碰到这种题目就很头疼。我一共做出来两道题，musl 和 sharing。sharing 这题比较简单，就不写 wp 了，musl 这题应该也算一个比较裸的 musl m...
COOL 的语义分析主要对作用域和类型做了检测，这是两个必要的检测。未定义或重复定义的变量会对代码生成造成影响；类型不匹配也会造成各种未定义行为。作用域语义分析中需要对每个标识符（变量、函数）做检测，主要需要检查是否有未定义的标识符和重复定义的标识符。以 COOL 为例，通过维护一个符号表即可实现检测。这个检测过程可能需要对 AST 进行多次遍历，因为在 COOL 中，全局变量可以在声明前引...