在哪里下载CCured？

Question

在阅读了大量论文之后,我试图找到CCured源(甚至是二进制文件)来尝试在我的C源代码中使用它.

但是,所有链接似乎都已死亡.经过一些谷歌搜索,我在这里问.有人可以上传它们(来源,文档等),如果你有任何机会在你的硬盘上有一个tarball吗？

编辑:我也通过电子邮件发送了一位作者,但还没有得到答复.稍后会尝试通过电子邮件发送给他人.

(引自论文)

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

Answer 1

更好地在该通用领域中搜索其他项目，因为评论表明这主要是将原型开发为论文，然后放弃了。可能有一些实际用途，也许与您正在寻找的最接近的是基于LLVM的工具。或类似夹板的东西。甚至还有valgrind之类的仪器工具。