CCured in the real world

@inproceedings{Condit2003CCuredIT,
  title={CCured in the real world},
  author={Jeremy Condit and Matthew Harren and Scott McPeak and George C. Necula and Westley Weimer},
  booktitle={PLDI},
  year={2003}
}
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks where static verification is insufficient.This paper addresses major usability issues in a previous version of CCured, in which many type casts required the use of pointers whose representation was expensive and incompatible with precompiled libraries. We have extended the CCured type inference algorithm to recognize… CONTINUE READING
Highly Influential
This paper has highly influenced 28 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 163 citations. REVIEW CITATIONS
120 Citations
7 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 120 extracted citations

164 Citations

01020'05'08'11'14'17
Citations per Year
Semantic Scholar estimates that this publication has 164 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-7 of 7 references

Valgrind, an open-source memory debugger for x86-GNU/Linux

  • J. Seward
  • Technical report, http://developer.kde.org…
  • 2003
Highly Influential
9 Excerpts

Olden: Parallelizing Programs with Dynamic Data Structures on Distributed-Memory Machines

  • M. C. Carlisle
  • PhD thesis, Princeton University Department of…
  • 1996
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…