CCured: Type-Safe Retrofitting of Legacy Software

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

by George C. Necula , Jeremy Condit , Matthew Harren , Scott Mcpeak , Westley Weimer

Venue:	ACM Transactions on Programming Languages and Systems
Citations:	91 - 7 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	CCured: Type-Safe Retrofitting of Legacy Software	user correction - Legacy Corrections
AUTHOR NAME	George C. Necula	SVM HeaderParse 0.1
AUTHOR AFFIL	University of California, Berkeley	SVM HeaderParse 0.2
AUTHOR NAME	Jeremy Condit	SVM HeaderParse 0.1
AUTHOR AFFIL	University of California, Berkeley	SVM HeaderParse 0.2
AUTHOR NAME	Matthew Harren	SVM HeaderParse 0.1
AUTHOR AFFIL	University of California, Berkeley	SVM HeaderParse 0.2
AUTHOR NAME	Scott Mcpeak	SVM HeaderParse 0.1
AUTHOR AFFIL	University of California, Berkeley	SVM HeaderParse 0.2
AUTHOR NAME	Westley Weimer	SVM HeaderParse 0.1
AUTHOR AFFIL	University of California, Berkeley	SVM HeaderParse 0.2
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	user correction - Legacy Corrections
YEAR	2005	INFERENCE
VENUE	ACM Transactions on Programming Languages and Systems	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	2005	INFERENCE
VOLUME	27	INFERENCE
CITATIONS	43 found	ParsCit 1.0