在阅读了大量论文后，我试图找到 CCured 来源（甚至是二进制文件）来尝试在我的C源代码中使用它。
然而，所有链接似乎已经死亡。经过一些谷歌搜索，我在这里问。有人可以上传它们（来源，文档等），如果你有任何机会在你的硬盘上放一个tarball吗？
编辑：我也给其中一位作者发了电子邮件，但还没有得到答复。会在一段时间后尝试通过电子邮件发送给其他人。（文章引用）
构建了一个程序转换系统，为现有的C程序增加了类型安全保障。 CCured尝试静态验证内存错误不会发生，并且它插入运行时检查静态验证不足.CCured通过根据用途分离指针类型来扩展C类型系统，并使用一个令人惊讶的简单类型推断能够推断现有C程序的适当指针种类的算法。 CCured使用物理子类型在编译时识别并验证大量类型转换。使用运行时类型信息验证其他类型转换。