Loading...
Please wait, while we are loading the content...
Similar Documents
CCured: Type-Safe Retrofitting of Legacy Software (2005)
| Content Provider | CiteSeerX |
|---|---|
| Author | Necula, George C. Condit, Jeremy Harren, Matthew Mcpeak, Scott Weimer, Westley |
| 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 |
| File Format | |
| Volume Number | 27 |
| Journal | ACM Transactions on Programming Languages and Systems |
| Language | English |
| Publisher Date | 2005-01-01 |
| Access Restriction | Open |
| Subject Keyword | Type-safe Retrofitting Legacy Software Insu Cient Memory Error Static Verification Type Safety Guarantee Run-time Check Program Transformation System |
| Content Type | Text |
| Resource Type | Article |