where to download CCured? [closed]

Question

Closed. This question is off-topic. It is not currently accepting answers.

---

Want to improve this question? Update the question so it's on-topic for Stack Overflow.

Closed 9 years ago.

Improve this question

After reading a number of papers, I am trying to find the CCured sources (or even binaries) to try using it on my C source code.

However, all links appear to be dead. After some Googling, I am asking here. Could someone upload them (sources, docs, etc.) if you by any chance have a tarball lying on your hard drive?

EDIT: I also emailed one of the authors, but didn't get a response yet. Will try emailing others after a while.

(citation from the paper)

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.

Answer 1

Better search for other projects in that general area, as the comments tell this has been mostly prototypes developed as a thesis and then abandoned. There might be a few in real use, perhaps the closest to what you are looking for are LLVM-based tools. Or something like splint. Or even instrumentation tools like valgrind.