Popular repositories
-
Checked C is an extension of C that adds bounds checking to C. This repo contains the specification for the extensions, test code, and samples.
TeX
-
Forked from microsoft/checkedc
Checked C is an extension of C that adds bounds checking to C. This repo contains the specification for the extension, test code, and samples.
TeX
-
Forked from microsoft/checkedc-clang
This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bo…
C++
-
Forked from microsoft/checkedc-llvm
This repo contains a version of the LLVM that is being modified to support Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of…
C++
-
Forked from microsoft/checkedc-llvm-test-suite
This repo contains a version of the LLVM test suite that is being modified to use Checked C. The modified programs will be used to benchmark the implementation of Checked C in clang/LLVM. Checked C…
C
-