在深受Kevin Backhouse在挖掘XNU远程漏洞方面的文章的启发后，我决定花点时间鼓捣一下CodeQL，并着手进行一些变种分析——结果，我在macOS 10.15.4的6LowPAN代码中发现...