dtarditi / checkedc-llvm-test-suite Goto Github PK

This project 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.

Home Page: https://www.microsoft.com/en-us/research/project/checked-c/

License: Other