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.
☆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
- 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 …☆23Updated last year
- Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.☆12Updated last year
- This repo contains Microsoft compiler-tests to validate Windows platform particulars.☆22Updated last year
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆14Updated 2 years ago
- NSPlist☆19Updated 7 years ago
- A benchmark that simulates the 'incast' network traffic pattern.☆13Updated 5 years ago
- This repository provides code for SVD and Importance sampling-based algorithms for large scale topic modeling.☆14Updated 4 years ago
- CorrelationVector-Cpp provides a reference C++ implementation of the CorrelationVector protocol for tracing and correlation of events thr…☆17Updated 2 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆26Updated 10 years ago
- Post-quantum Cryptography VPN (openvpn-gui subproject)☆14Updated 4 years ago
- Post-quantum Cryptography VPN (openvpn subproject)☆13Updated 4 years ago
- Messaging library on top of NDv2 (Microsoft's RDMA interface)☆12Updated last year
- A library of cross-platform, cross-framework, cross-programming language featurizers (operations in a data processing pipeline) that can …☆19Updated 4 years ago
- ☆31Updated last year
- A Windows Phone 8 port of the Drumkit XNA example using Direct3D and XAudio for fast graphics and low latency sample playback. This demo…☆25Updated 10 years ago
- DSL for stencils and image processing☆13Updated 8 years ago
- NVIDIA CPU microcode☆13Updated 10 years ago
- measure entropy of memory allocators☆12Updated 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 3 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- An experimental lossless data compression program with high compression ratio.☆14Updated 12 years ago
- ☆13Updated last month
- RISC-V strace port☆13Updated 8 years ago
- Fast and simple algorithms for computing both LCSk and LCSk+☆21Updated 6 years ago
- ☆22Updated 3 years ago
- A fork of https://gn.googlesource.com/gn/ initially created to add Jumbo build mechanism with the support for Visual Studio projects.☆9Updated 3 years ago
- Tools for generating synthetic document corpora☆13Updated last year
- AST - Extractor for LLVM☆18Updated 4 years ago
- A mirror of the upstream binutils-gdb repository for ARC specific work☆14Updated last week
- A compiler and mutation testing framework for the programming language Pascal-86☆18Updated 10 years ago