microsoft / compiler-tests
This repo contains Microsoft compiler-tests to validate Windows platform particulars.
☆22Updated last year
Alternatives and similar repositories for compiler-tests:
Users that are interested in compiler-tests are comparing it to the libraries listed below
- 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☆33Updated 7 months ago
- An optimizing decompiler (modified to use remill semantics)☆30Updated 6 years ago
- A library for dynamic binary rewriting☆57Updated 3 years ago
- Tiny Code Generator Library☆46Updated 4 years ago
- Library for reading and generating ELF files.☆14Updated 4 years ago
- Windows ABI Structured Exception Handling Tests☆30Updated last year
- LLVM backend for EFI Byte Code☆11Updated 5 years ago
- A binary optimization/specialization library supporting multiple rewriters☆112Updated 3 years ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆21Updated last year
- deprecated☆46Updated 5 years ago
- An LLVM clone modified for use in RetDec and associated tools.☆19Updated 8 months ago
- Utility for dumping all the information Capstone has on given instructions.☆24Updated 3 years ago
- Diablo is a retargetable link-time binary rewriting framework☆75Updated 4 years ago
- Tracing framework for full system simulators☆55Updated 9 years ago
- Development drivers for Linux Integration Services☆32Updated 2 years ago
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- Intel Kernel Guard Technology Core Repo☆55Updated 9 months ago
- Dynamic instrumentation of the Linux kernel☆41Updated 9 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- A Linux based Windows compatible user mode kernel☆58Updated 15 years ago
- deprecated☆19Updated 6 years ago
- ☆67Updated 3 years ago
- A dynamic data race detector for programs☆14Updated 9 years ago