microsoft / checkedc-llvm-test-suiteLinks
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.
☆14Updated 3 years ago
Alternatives and similar repositories for checkedc-llvm-test-suite
Users that are interested in checkedc-llvm-test-suite are comparing it to the libraries listed below
Sorting:
- This repo contains Microsoft compiler-tests to validate Windows platform particulars.☆27Updated 2 years ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆15Updated 3 years ago
- ☆31Updated 2 years ago
- ☆23Updated 5 years ago
- Thiis is a *deprecated* repo that contains a version of LLVM that was being modified to support Checked C. We have moved to a single (m…☆98Updated 2 years ago
- Concurrency Runtime Library for Telegram Desktop☆20Updated 6 years ago
- Bullet physics library ported to JavaScript with Cheerp☆23Updated 10 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 7 years ago
- Buildbot infrastructure☆23Updated 5 months ago
- Compiler intermediate language for static analysis.☆107Updated 7 years ago
- ☆16Updated this week
- CrunchyCrypt - Safe and Simple Cryptography☆126Updated 6 years ago
- Xserver mirror☆51Updated last year
- Patches for building an Azure-tuned Linux kernel.☆50Updated 3 years ago
- OpenPrinting CUPS Sources☆11Updated 2 years ago
- catalog of song structures and tool for generating images☆24Updated 7 years ago
- git://git.savannah.gnu.org/patch.git☆14Updated last year
- AST - Extractor for LLVM☆18Updated 4 years ago
- 2003 Neural Networks experiments -- when it was not mainstream ;-)☆18Updated 9 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆17Updated 9 years ago
- Project Mu Minimum Platform☆34Updated this week
- Experimental bed to study Linux faults☆26Updated 3 years ago
- Bugzilla☆23Updated last year
- fbmeshd is the core technology behind Facebook's Self-organizing Mesh Access (SoMA) network.☆30Updated 5 years ago
- This repo contains a version of musl that is being modified to Checked C. Checked C is an extension to C that adds checking to detect or …☆27Updated 2 years ago
- Component Firmware Update☆64Updated 2 years ago
- ☆23Updated 4 years ago
- C++ compiler, from scratch. Only completed the preprocessing tokenizer yet.☆12Updated 8 years ago
- Robust Internet of Things, Microsoft Research☆91Updated 2 years ago
- A mirror of the upstream binutils-gdb repository for ARC specific work☆16Updated last month