Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary

Checked C

Checked C is an extension of the C programming language used for developing secure and reliable systems. Checked C extends the type system of C to include safe pointer arithmetic, bounds checking, and other safety features by adding new keywords to the standard. Programmers can use Checked C to annotate existing code with additional information about pointer usage, which can then be statically verified using verification tools. The goal of Checked C is to catch many common programming errors at compile-time that often lead to vulnerabilities and crashes at runtime in systems software written in plain old-style C.

Hire Checked C Experts

Enter your email to get started.