• Checked C https://github.com/microsoft/checkedc 222 comments 21/12/2022
• Checked C https://github.com/microsoft/checkedc 133 comments 19/2/2021
• Checked C: extension to C that adds static and dynamic checking https://github.com/Microsoft/checkedc#checked-c 92 comments 14/3/2018

• Checked C - an extension of C that adds bounds checking to C https://github.com/Microsoft/CheckedC 5 comments 14/6/2016 c

• Checked C https://github.com/microsoft/checkedc 12 comments 21/12/2022 c_programming
• Microsoft's Checked C — safer C with static and dynamic checking https://github.com/microsoft/checkedc#checked-c 54 comments 4/3/2021 programming

Linking pages

Linked pages

Related searches:

Search whole site: site:github.com

Search title: GitHub - 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.

See how to search.