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:
- Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.☆12Updated 2 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
- This repo contains Microsoft compiler-tests to validate Windows platform particulars.☆26Updated 2 years ago
- OSS-Fuzz - continuous fuzzing of open source software☆10Updated 8 years ago
- A benchmark that simulates the 'incast' network traffic pattern.☆13Updated 5 years ago
- Post-quantum Cryptography VPN (openvpn-gui subproject)☆14Updated 4 years ago
- Sample applications for Social Integration with Windows 10☆13Updated 2 years ago
- Samples for partner application development (OEM, MO, IHV) for Window☆17Updated 2 years ago
- https://stackoverflow.com/questions/38949576/how-to-programmatically-create-a-certificate-signing-request-csr☆10Updated 5 years ago
- Build projects required for SCXCore (Operations Manager) agent☆14Updated 3 weeks ago
- Post-quantum Cryptography VPN (openvpn subproject)☆13Updated 4 years ago
- OSE version of webos webengine based on chromium v68☆9Updated 2 years ago
- Auditd plugin that forwards audit events to OMS Agent for Linux☆27Updated last month
- 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☆26Updated 6 years ago
- NSPlist☆19Updated 8 years ago
- Messaging library on top of NDv2 (Microsoft's RDMA interface)☆12Updated 2 years ago
- Common source and libraries used by IIS projects☆22Updated 3 months ago
- Sample scripts for interacting with Visual Studio Team Services and Team Foundation Server☆13Updated 2 years ago
- Backup of config files used by jenkins.freebsd.org☆8Updated 9 years ago
- ☆30Updated 2 years ago
- System Center Cross Platform Provider for Operations Manager☆39Updated 2 months ago
- Helper library for SensorCore SDK to activate Location and Motion data☆16Updated 10 years ago
- ☆29Updated 6 years ago
- OneDrive for Business Repo plugin for Moodle☆12Updated 4 months ago
- A fork of https://gn.googlesource.com/gn/ initially created to add Jumbo build mechanism with the support for Visual Studio projects.☆10Updated 3 years ago
- NVIDIA CPU microcode☆13Updated 10 years ago
- Mirror Of git://anongit.freedesktop.org/git/dbus/dbus Root Of Much Evil See also Systemd☆11Updated 8 years ago
- Framework to build general purpose distributed data platform in Azure Virtual Machines to support various platforms like Hadoop, Cassandr…☆19Updated 2 years ago