偶然看到两篇有意思的文章[1，2]，说利用了 LLVM 编译器协助破解号称最强大的软件保护工具之一 VMProtect，本文简单介绍下，不过涉及 LLVM 编译器的篇幅很少。

看到一个有趣的程序动态优化的框架 Dynamo，可以很好地优化程序性能，本文简单介绍一下。

看到论坛里 LLVM 和 ML 的研讨，感觉非常有趣，本文简单概括整理一下相关内容。MLGO 和一些 LLM 相关的优化之前写过了，这里就不再重复。 由于数量比较多，所以写得会很简单，感兴趣可以点链接细看。

看到个工具 egg 可以用来构建程序优化器、合成器、验证器等等，它可以探索所有的等价表达式，再智能地选出最优解。本文简单介绍一下。

上篇文章介绍了 SSA，这篇文章再简单介绍下 SSA 的构造与析构。