标签
发现两个针对 arm64 架构的编译器错误代码生成问题，导致 curl 出现安全漏洞。该问题凸显了特定架构下的代码生成缺陷可能如何传导到广泛使用的开源软件中，目前正被放在 Lobsters 上讨论。
本文描述了通过改进YARPGen随机程序生成器用于差异测试，以在Alive2形式化验证工具中寻找遗漏警报漏洞的方法。