Correct Computation

Popular repositories Loading

1. checkedc-clang checkedc-clangPublic

   Forked from checkedc/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…

   15 5

2. checkedc checkedcPublic

   Forked from checkedc/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

3. checkedc-llvm-test-suite checkedc-llvm-test-suitePublic

   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

4. 3c-temporary-build 3c-temporary-buildPublic

   A Temporary location for a 3c build