在哪里下载CCured？

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

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

(引自论文)

CCured a program transformation system that adds type safety guarantees to existing C programs. CCured attempts to verify statically that memory errors cannot occur,and it inserts run-time checks where static verification is insufficient.CCured extends C’s type system by separating pointer types according to their usage,and it uses a surprisingly simple type inference algorithm that is able to infer the appropriate pointer kinds for existing C programs. CCured uses physical subtyping to recognize and verify a large number of type casts at compile time. Additional type casts are verified using run-time type information.