CCured在哪里下载？ [关闭]

Question

在阅读了大量论文后，我试图找到 CCured 源（甚至是二进制文件）以尝试在我的 C 源代码中使用它。

但是，所有链接似乎都已失效。经过一些谷歌搜索，我在这里问。如果您的硬盘上有压缩包，有人可以上传它们（源代码、文档等）吗？

编辑：我还给其中一位作者发了电子邮件，但还没有得到回复。稍后将尝试通过电子邮件发送给其他人。

（论文引用）

创建了一个程序转换系统，为现有的 C 程序添加了类型安全保证。 CCured 尝试静态验证内存错误不会发生，并在静态验证不足的地方插入运行时检查。CCured 通过根据使用情况分离指针类型扩展了 C 的类型系统，它使用了一种非常简单的类型推断算法，能够推断现有 C 程序的适当指针类型。 CCured 使用物理子类型在编译时识别和验证大量类型转换。使用运行时类型信息验证其他类型转换。

Answer 1

最好在该一般领域寻找其他项目，正如 cmets 所说，这主要是作为论文开发的原型，然后被放弃。可能有一些在实际使用中，也许最接近您正在寻找的是基于LLVM 的工具。或类似splint 的东西。甚至是像 valgrind 这样的检测工具。