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, a…

CTeXOthermicrosoftcprogramming-languagellvmclangsystem-programming
This is stars and forks stats for /microsoft/checkedc repository. As of 02 May, 2024 this repository has 3158 stars and 197 forks.

Checked C Checked C adds static and dynamic checking to C to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. The goal of the project is to improve systems programming by making fundamental improvements to C. This repo contains sample code, the extension specification, and test code. For a quick overview of Checked C, more information, and pointers to example code, see our Wiki. The PDF of the specification is available here. Compilers are available...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
trzy/ChatARKitCSwiftC++3850350
realoriginal/angryorchardCAssemblyOther960290
Unity-Technologies/ECS-Network-Racing-SampleC#HTMLShaderLab3680690
CVCUDA/CV-CUDAC++CudaC1.9k+31790
cinit/WSAPatchC++CCMake1.3k+104k+51
lightvector/KataGoC++PythonCuda2.7k05240
factorhouse/slipwayClojureShell61010
opqdonut/hash-fClojure32000
Ferada/cl-tuples-oldCommon Lisp4000
hideckies/exploit-notesNunjucksTypeScriptCSS3960860