Popular repositories Loading
-
checkedc-clang
checkedc-clang PublicForked from microsoft/checkedc-clang
This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, which aims to enforce spatial memory safety. This repository is…
-
checkedc
checkedc PublicForked from microsoft/checkedc
Checked C is an extension to C that adds checking to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. This repo has a wiki for Checked C, sampl…
C 2
-
checkedc-llvm-test-suite
checkedc-llvm-test-suite PublicForked 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
-
Repositories
- checkedc-clang Public Forked from microsoft/checkedc-clang
This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, which aims to enforce spatial memory safety. This repository is a fork of Checked C's.
correctcomputation/checkedc-clang’s past year of commit activity - checkedc Public Forked from microsoft/checkedc
Checked C is an extension to C that adds checking to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. This repo has a wiki for Checked C, sample code, the specification, and test code.
correctcomputation/checkedc’s past year of commit activity - checkedc-llvm-test-suite Public 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 is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.
correctcomputation/checkedc-llvm-test-suite’s past year of commit activity
