https://github.com/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.
https://github.com/microsoft/checkedc

c clang llvm microsoft programming-language system-programming

Last synced: 1 day ago
JSON representation

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.

• Host: GitHub
• URL: https://github.com/microsoft/checkedc
• Owner: microsoft
• License: other
• Created: 2016-02-23T17:47:40.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2022-09-01T18:45:49.000Z (over 2 years ago)
• Last Synced: 2024-05-09T17:55:25.625Z (8 months ago)
• Topics: c, clang, llvm, microsoft, programming-language, system-programming
• Language: C
• Homepage: https://www.microsoft.com/en-us/research/project/checked-c/
• Size: 3.06 MB
• Stars: 3,191
• Watchers: 107
• Forks: 200
• Open Issues: 63
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE.TXT
  • Security: SECURITY.md

Awesome Lists containing this project