CCured source-to-source C translator
Edit Page
Report
Scan day: 07 February 2014 UTC
9
Virus safety - good
Description: CCured is a source-to-source translator for C. It analyzes the C program to determine the smallest number of run-time checks that must be inserted in the program to prevent all memory safety violations. The resulting program is memory safe, meaning that it will stop rather than overrun a buffer or scribble over memory that it shouldn't touch.
The CCured Type System and Type Inference | EECS at UC Berkeley The CCured Type System and Type Inference University of California, Berkeley Technical Report No. UCB/CSD-03-1247 We present CCured, a type and run-time check system that bring safety to the C programming language. CCured includes a type system for C programs that classifies pointers according to their usage and instructs a source-to-source translator to extend the program with run-time checks in order to guarantee memory safety. We show that the type system is sound in the presence of these run-time checks. CCured can be used on existing C programs thanks to a simple pointer-kind inferencer; on many programs this inferencer discovers that over 80% of the pointers are type-safe.
Size: 751 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | The CCured Type System and Type Inference | EECS at UC Berkeley |
| Keywords: | |
| Description: | |
| IP-address: | 128.32.244.172 |
WHOIS Info
| NS | Name Servers: ADNS1.BERKELEY.EDU 128.32.136.3 ADNS2.BERKELEY.EDU 128.32.136.14 |
| WHOIS | |
| Date | activated: 24-Apr-1985 last updated: 28-May-2013 expires: 31-Jul-2014 |