Currently being used as a development playground for CCI tools.
baseline
branch is before checkedc conversion started
Ptrdist: checkedc-llvm-test-suite/MultiSource/Benchmarks/Ptrdist/
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.
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
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.