microsoft / compiler-tests
This repo contains Microsoft compiler-tests to validate Windows platform particulars.
☆21Updated last year
Related projects: ⓘ
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆13Updated 2 years ago
- ☆30Updated last year
- Common dependency management for various Trail of Bits C++ codebases☆31Updated 3 months ago
- 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 ben…☆12Updated 2 years ago
- Messaging library on top of NDv2 (Microsoft's RDMA interface)☆12Updated last year
- Turn an interpreter into a code generator☆29Updated 8 years ago
- Windows ABI Structured Exception Handling Tests☆30Updated last year
- DExTer - Debug Experience Tester☆33Updated 2 years ago
- NSPlist☆19Updated 7 years ago
- GNU Superoptimizer Version 2☆25Updated 3 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆38Updated last year
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 5 years ago
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- A C++ SDK for building cyber-physical applications using the Accessor Model☆13Updated 4 years ago
- AST - Extractor for LLVM☆17Updated 3 years ago
- NOVA userland☆47Updated 10 years ago
- NOVA runtime environment (official branch)☆33Updated 3 years ago
- Development drivers for Linux Integration Services☆32Updated last year
- reverse engineering branch predictors☆17Updated 8 years ago
- Mirror of official llvm git repository located at http://llvm.org/git/lnt. Updated every five minutes.☆12Updated 4 years ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆16Updated last year
- Sample drivers for NetAdapterCx. NetAdapterCx is a platform for building NIC drivers on Windows.☆34Updated last year
- Intel Kernel Guard Technology Core Repo☆53Updated 5 months ago
- CorrelationVector-Cpp provides a reference C++ implementation of the CorrelationVector protocol for tracing and correlation of events thr…☆17Updated 2 years ago
- Experimental results of the strata project☆9Updated 8 years ago
- (Dis)assembler and analyzer generated from the machine-readable ARMv8.3-A specification☆25Updated 6 years ago
- Manipulate C-family ASTs with Clang☆64Updated 5 years ago
- memTrace, a framework for lightweight memory tracing☆54Updated 4 years ago
- Compiler intermediate language for static analysis.☆106Updated 5 years ago