针对Go编写的程序，我们设计和实现了一个并发缺陷的检测工具和一个并发缺陷的修复工具。我们在大型开源软件（如Docker，Kubernetes）中发现了上百个之前为止的并发缺陷，我们的修复工具可以给他们中的大多数自动生成布丁。相关论文发表在了ASPLOS‘2021. ASPLOS是系统领域最高水平的会议。
B站视频：https://www.bilibili.com/video/BV1Gb4y1D7QH/
论文链接： https://songlh.github.io/paper/gcatch.pdf
Github： https://github.com/system-pclub/GCatch
有疑问加站长微信联系（非本文作者）
