microsoft/checkedc
Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.
Join the conversation
Reviews · Questions · Posts
Share what you know about checkedc — write a review from your real experience, ask an implementation question, or publish a post about how you use it.
Share your experience
Write or update your review
Explain what worked, what broke down, and what another team should know before adopting checkedc.
Project Q&A
Questions and answers
Browse implementation threads tied directly to microsoft/checkedc. Each question links through to the full answer page.
Be the first to ask how teams run checkedc in production. Every question you post becomes a durable, searchable answer page other developers can find.
Ask the first questionRelated posts
Posts tagged with the same topics
These posts come from the same topic surface as this repo, so readers can move from project evaluation into practical writeups and migration notes without leaving context.
Share how your team uses checkedc — a migration note, an architecture writeup, or a comparison. Your post reaches everyone browsing these same topics.
Write the first post