编译器会进行很多的代码转换和优化的操作，如何保证这些操作的正确性尤为重要。这时候就需要翻译验证(translation validation) 工具了，本文简单介绍下发现了 LLVM 转换中 10 多个 bug 的 Alive2。

通常要装 Linux 系统，我们会通过虚拟机或系统启动盘安装，不过最近发现 Windows 系统提供了 WSL 的解决方式，可以直接在 Windows 系统上运行 Linux 的操作，比较方便简单且无需繁琐的切换，本文简单介绍一下。

inline 内联优化算是比较常见的编译器优化，这里简单介绍一下。

在二进制层面对执行文件进行插桩，可以摆脱对源码和编译器的依赖，覆盖大部分的代码逻辑。

对于程序的运行性能的影响，除了关注 CPU、算法等，内存操作也是相当重要的。