Achieving Safety Incrementally with Checked C

Checked C is a new effort working toward a memory-safe C. Its design is distinguished from that of prior efforts by truly being an extension of C: Every C program is also a Checked C program. Thus, one may make incremental safety improvements to existing codebases while retaining backward compatibility. Rather, it can make a best effort to convert more pointers accurately, without letting inaccuracies inhibit compilation.

Source: www.cs.umd.edu