但有一分钟我会咬一下

… 但有一分钟我会咬一下。这个提交没有链接到实际项目。我通过网页搜索找到了它。这个项目没有任何项目特征：没有邮件列表，或者其他类似的东西。页面上写着："关于CBMC的问题，请联系Daniel Kroening"。这个名字链接到他的个人主页。他的个人主页上没有明显的联系方式。有链接到论文；也许他的电子邮件地址在其中一些论文中。我们点击"一个检查ANSI-C程序的工具"。嘿，那个页面上甚至在PDF之前就有电子邮件链接。但是……那是2004年的。二十年前的k-----g@cs.cmu.edu地址，考虑到他现在在牛津，还会有效吗？假设我找到了他现在的电子邮件地址。我该说什么呢？"尊敬的先生，我感到非常尴尬地联系您关于您从未实际使用的CBMC程序，但请相信我，我有一个有价值的建议..." 如果我使用过这个工具，我会自己修复并发送一个补丁！