David Tarditi edited this page Oct 12, 2018 · 13 revisions

Welcome

Welcome to the Checked C Wiki!

The goal of the Checked C project is to improve system programming by making fundamental improvements to C, the most widely-used system programming language. C was invented more than 40 years ago and at the time, it was a big step up over assembly code. As a community, we've learned a lot since then. Computers have gotten orders of magnitude faster. The computing environment has changed from one where computers sat in computer rooms and were run by experts to one where almost everyone carries a computer in their pocket. This is the right time for more improvements.

The Checked C extension

Checked C adds checking to C to prevent or detect common low-level programming errors. Checked C provides a way for programmers to check that pointer and array accesses stay in bounds at run time. It also checks for memory accesses via null pointers. We plan to add more checking, including checking for pointer arithmetic involving null pointers, pointer arithmetic overflow, and checking casts.

Status

You can now download a compiler for Checked C. If you are running Linux or UNIX, you can build your own copy of the compiler. The implementation is not complete, but it is far enough along that you can try out Checked C now.

A description of the extension features that we are implementing is here. The implementation status is here.

Participating

Checked C is an open-source project. Anyone with time or interest can participate. We're happy to have the help! Just trying out Checked C, reporting bugs, and giving us feedback is helpful. There are other ways to contribute too.

People from Microsoft, the University of Maryland, the University of Washington, and Samsung have been participating in the project. Some folks are experimenting with using Checked C in the RIOT operating system.

You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.
Press h to open a hovercard with more details.