• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

DMCA

CCured: Type-Safe Retrofitting of Legacy Software (2005)

Cached

  • Download as a PDF

Download Links

  • [www.cs.berkeley.edu]
  • [www.cs.virginia.edu]
  • [www.cs.virginia.edu]
  • [qosbox.cs.virginia.edu]
  • [www.cs.virginia.edu]
  • [cheetah.cs.virginia.edu]
  • [www.cs.virginia.edu]
  • [www.cs.virginia.edu]
  • [qosbox.cs.virginia.edu]
  • [www.cs.berkeley.edu]
  • [scottmcpeak.com]
  • [research.microsoft.com]
  • [www.cs.berkeley.edu]
  • [research.microsoft.com]
  • [www.cs.berkeley.edu]
  • [www.eecs.berkeley.edu]
  • [www.cs.berkeley.edu]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by George C. Necula , Jeremy Condit , Matthew Harren , Scott Mcpeak , Westley Weimer
Venue:ACM Transactions on Programming Languages and Systems
Citations:157 - 9 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@ARTICLE{Necula05ccured:type-safe,
    author = {George C. Necula and Jeremy Condit and Matthew Harren and Scott Mcpeak and Westley Weimer},
    title = {CCured: Type-Safe Retrofitting of Legacy Software},
    journal = {ACM Transactions on Programming Languages and Systems},
    year = {2005},
    volume = {27},
    pages = {2005}
}

Share

Facebook Twitter Reddit Bibsonomy

OpenURL

 

Abstract

This paper describes 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 insu#cient

Keyphrases

type-safe retrofitting    legacy software    insu cient    memory error    static verification    type safety guarantee    run-time check    program transformation system   

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University