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
- CorrelationVector-Cpp provides a reference C++ implementation of the CorrelationVector protocol for tracing and correlation of events thr…☆20Updated 3 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
- 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
- Post-quantum Cryptography VPN (openvpn subproject)☆14Updated 5 years ago
- Post-quantum Cryptography VPN (openvpn-gui subproject)☆14Updated 5 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 7 years ago
- Sample CICD Pipelines for OneFuzz☆27Updated 2 years ago
- Common dependency management for various Trail of Bits C++ codebases☆34Updated last year
- A C++ SDK for building cyber-physical applications using the Accessor Model☆12Updated 5 years ago
- AST - Extractor for LLVM☆18Updated 4 years ago
- ☆16Updated 4 months ago
- App-local DLLs that forward to Visual C++ runtime components☆41Updated 2 years ago
- Compiler intermediate language for static analysis.☆107Updated 7 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆30Updated 7 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆65Updated 6 years ago
- A mirror of the upstream binutils-gdb repository for ARC specific work☆15Updated 3 weeks ago
- Development drivers for Linux Integration Services☆34Updated 3 years ago
- The NFC Class Extension driver implements all NFC device driver interfaces and standard NFC protocols and formats based on the NFC Forum …☆60Updated 2 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆17Updated 9 years ago
- DARPA Cyber Grand Challenge Linux source code☆17Updated 10 years ago
- Robust Internet of Things, Microsoft Research☆91Updated 2 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- Even better than eda-reversing...I hope☆62Updated 15 years ago
- Digispeaker☆22Updated 5 years ago
- Systematic Protocol Analysis Project☆11Updated 8 years ago
- Platform Abstraction Layer (both SCXCoreLib and SCXSystemLib)☆71Updated 7 months ago
- Mirror of git://git.code.sf.net/p/libdwarf/code☆15Updated 9 years ago
- fcurl - fopen, fread, fwrite style functions for URL operations using libcurl☆38Updated 3 years ago