在阅读了许多论文之后，我试图找到CCured源（甚至是二进制文件）来尝试在我的 C 源代码中使用它。
但是，所有链接似乎都已失效。经过一些谷歌搜索，我在这里问。如果您的硬盘上有一个压缩包，有人可以上传它们（来源、文档等）吗？
编辑：我还给其中一位作者发了电子邮件，但还没有得到回复。一段时间后将尝试给其他人发送电子邮件。
（引自论文）
CCured 一个程序转换系统，为现有的 C 程序添加类型安全保证。CCured 尝试静态验证内存错误不会发生，并在静态验证不足的地方插入运行时检查。CCured 通过根据使用情况分离指针类型扩展了 C 的类型系统，它使用了一种非常简单的类型推断算法，能够推断现有 C 程序的适当指针类型。CCured 使用物理子类型在编译时识别和验证大量类型转换。使用运行时类型信息验证其他类型转换。