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 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:
- CorrelationVector-Cpp provides a reference C++ implementation of the CorrelationVector protocol for tracing and correlation of events thr…☆18Updated 3 years ago
- This repo contains Microsoft compiler-tests to validate Windows platform particulars.☆26Updated 2 years ago
- ☆30Updated 2 years ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆14Updated 3 years ago
- The vOW4SIKE project provides C code that implements the parallel collision search algorithm by van Oorschot and Wiener (vOW). The algori…☆12Updated 4 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…☆97Updated 2 years ago
- Compiler intermediate language for static analysis.☆107Updated 6 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆17Updated 8 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆65Updated 6 years ago
- ☆15Updated 2 months ago
- C++ compiler, from scratch. Only completed the preprocessing tokenizer yet.☆12Updated 7 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆30Updated 6 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- fcurl - fopen, fread, fwrite style functions for URL operations using libcurl☆37Updated 2 years ago
- git://git.savannah.gnu.org/patch.git☆12Updated last year
- Bullet physics library ported to JavaScript with Cheerp☆23Updated 9 years ago
- 2003 Neural Networks experiments -- when it was not mainstream ;-)☆18Updated 9 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 2 years ago
- Messaging library on top of NDv2 (Microsoft's RDMA interface)☆13Updated 2 years ago
- Robust Internet of Things, Microsoft Research☆88Updated 2 years ago
- Xserver mirror☆51Updated last year
- Common dependency management for various Trail of Bits C++ codebases☆33Updated last year
- 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
- Platform Abstraction Layer (both SCXCoreLib and SCXSystemLib)☆72Updated 5 months ago
- catalog of song structures and tool for generating images☆23Updated 7 years ago
- work in progress ports of linuxboot for various mainboards☆23Updated 2 years ago
- Java virtual machine implementation that converts class files into C source files (HISTORICAL)☆16Updated 10 years ago
- Sample CICD Pipelines for OneFuzz☆27Updated 2 years ago
- Project Mu Minimum Platform☆32Updated last week
- NSPlist☆20Updated 8 years ago