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.
☆12Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for checkedc-llvm-test-suite
- CorrelationVector-Cpp provides a reference C++ implementation of the CorrelationVector protocol for tracing and correlation of events thr…☆17Updated 2 years ago
- Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.☆12Updated last year
- Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.☆9Updated last year
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆13Updated 2 years ago
- Exploration Library in C++☆15Updated last year
- A benchmark that simulates the 'incast' network traffic pattern.☆13Updated 5 years ago
- This repo contains Microsoft compiler-tests to validate Windows platform particulars.☆22Updated last year
- NSPlist☆19Updated 7 years ago
- Sample code showcasing how to use the Skype Interviews API☆12Updated 2 years ago
- A library of cross-platform, cross-framework, cross-programming language featurizers (operations in a data processing pipeline) that can …☆19Updated 4 years ago
- Utility library for building installers for IIS modules☆14Updated last month
- OSS-Fuzz - continuous fuzzing of open source software☆11Updated 7 years ago
- Build projects required for SCXCore (Operations Manager) agent☆13Updated 2 months ago
- Post-quantum Cryptography VPN (openvpn subproject)☆13Updated 4 years ago
- Common source and libraries used by IIS projects☆21Updated 2 months ago
- The vOW4SIKE project provides C code that implements the parallel collision search algorithm by van Oorschot and Wiener (vOW). The algori…☆11Updated 3 years ago
- This repository provides code for SVD and Importance sampling-based algorithms for large scale topic modeling.☆13Updated 3 years ago
- Tools for generating synthetic document corpora☆13Updated last year
- A simple demonstration project for Windows Phone 8 describing a way to create real-time filters for the camera viewfinder, using native…☆16Updated 9 years ago
- ☆14Updated 6 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 5 years ago
- Tool to set up a Linux computer to hibernate☆9Updated this week
- DSL for stencils and image processing☆13Updated 8 years ago
- ☆11Updated last year
- Messaging library on top of NDv2 (Microsoft's RDMA interface)☆12Updated last year
- Samples for partner application development (OEM, MO, IHV) for Window☆17Updated last year
- Sample scripts for interacting with Visual Studio Team Services and Team Foundation Server☆13Updated last year
- Sample applications for Social Integration with Windows 10☆13Updated last year
- Development drivers for Linux Integration Services☆32Updated last year
- Bullet physics library ported to JavaScript with Cheerp☆23Updated 8 years ago