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.
☆13Updated 2 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.☆26Updated 2 years ago
- ☆30Updated 2 years ago
- Auditd plugin that forwards audit events to OMS Agent for Linux☆27Updated this week
- Post-quantum Cryptography VPN (openvpn subproject)☆13Updated 4 years ago
- Messaging library on top of NDv2 (Microsoft's RDMA interface)☆12Updated 2 years ago
- Compiler intermediate language for static analysis.☆107Updated 6 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…☆99Updated 2 years ago
- Post-quantum Cryptography VPN (openvpn-gui subproject)☆14Updated 4 years ago
- Chapuni's branch based on http://llvm.org/git/llvm.git☆29Updated 9 years ago
- Replacement for the old Unix crypt☆14Updated 5 years ago
- Framework for interacting with short-range devices☆17Updated 2 years ago
- K-V storage engine with low memory cost and low write amplification☆34Updated 2 years ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆14Updated 2 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆31Updated 6 years ago
- ☆14Updated last month
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- Project Mu Minimum Platform☆27Updated this week
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆17Updated 8 years ago
- Common dependency management for various Trail of Bits C++ codebases☆33Updated last year
- Quantum Safe OpenSSH☆16Updated 2 years ago
- AST - Extractor for LLVM☆18Updated 4 years ago
- Even better than eda-reversing...I hope☆62Updated 15 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 2 years ago
- Concurrency Runtime Library for Telegram Desktop☆20Updated 6 years ago
- WinRT test component☆19Updated 4 months ago
- ☆19Updated 2 months ago
- A static verifier for concurrent C programs☆136Updated 4 years ago
- ☆11Updated 6 years ago
- Development drivers for Linux Integration Services☆33Updated 2 years ago
- An experimental lossless data compression program with high compression ratio.☆15Updated 12 years ago