A fuzzer for the Toy Optimizer

本文介绍了一个为Toy Optimizer编写的模糊测试工具，通过生成随机程序并验证优化前后的堆状态一致性来检测优化器中的正确性错误。该工具能快速发现因忽略别名写入等常见优化缺陷。