An Overview of the Checked C Project

Explore an in-depth overview of the Checked C project in this informative seminar talk by David Tarditi. Learn about the motivation behind extending C with bounds checking to improve security and reliability in system programming. Discover the language extension design, which puts bounds checking under programmer control and introduces new pointer and array types. Understand how static checking ensures consistency of bounds declarations and how runtime checks are implemented. Gain insights into the project's implementation in the clang compiler front-end and its open-source nature. Delve into Tarditi's background in compilers, programming languages, and operating systems, and his work on projects like System C#, Midori, and Singularity. Grasp the challenges of integrating different programming models and the importance of improving system reliability and security in widely-used C and C++ codebases.