小心！发散表示无处不在！

摘要

编译器优化会让同一源码变量在二进制中呈现「发散表示」——溢出时的不一致解释使得 Trail of Bits 发现的 SQLite 漏洞更易利用；团队还构建了二进制与源码分析来寻找更多实例。