microsoft / compiler-testsLinks
This repo contains Microsoft compiler-tests to validate Windows platform particulars.
☆26Updated 2 years ago
Alternatives and similar repositories for compiler-tests
Users that are interested in compiler-tests are comparing it to the libraries listed below
Sorting:
- A binary optimization/specialization library supporting multiple rewriters☆115Updated 4 years ago
- Common dependency management for various Trail of Bits C++ codebases☆33Updated last year
- Microbenchmarks for x86_64 kernel entry methods☆19Updated 3 years ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆14Updated 2 years ago
- NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.☆50Updated 2 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆69Updated last year
- An optimizing decompiler (modified to use remill semantics)☆30Updated 6 years ago
- A general purpose machine code manipulation library for x86-32 (IA-32) and x86-64 (AMD64) architectures (Assembler, Disassembler, Library…☆91Updated last year
- Develop toolchain based on llvm to for Cpu0 processor☆48Updated 2 weeks ago
- Diablo is a retargetable link-time binary rewriting framework☆79Updated 4 years ago
- PICO processes toolbox, playground for PICO processes research☆74Updated 7 years ago
- Intel Kernel Guard Technology Core Repo☆55Updated last year
- Rust FFI bindings for Intel XED☆22Updated 2 months ago
- A library for dynamic binary rewriting☆58Updated 4 years ago
- HTML representation of the Intel x86 instructions documentation (June 2016).☆67Updated 8 years ago
- Extracting high level semantic information from binary code☆66Updated 6 years ago
- Tracing framework for full system simulators☆56Updated 9 years ago
- A simple VM to play with OSR in LLVM☆14Updated 8 years ago
- A utility library to bridge llvm and mlir gaps.☆13Updated 7 months ago
- NOVA runtime environment (official branch)☆34Updated 4 years ago
- ☆30Updated 2 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- Semantics of x86-64 in K☆157Updated 5 years ago
- Hypervisor implementation for x86_64 ISA MIT JOS☆34Updated 11 years ago
- X86 disassembler benchmark☆61Updated last year
- Hardware performance counter tool for Windows OS☆17Updated 6 years ago
- Core Math functions for MS Windows☆26Updated 6 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Updated 4 years ago
- Cycle-accurate X86-64 simulator based on PTLsim☆30Updated 2 years ago
- The Bareflank Processor Abstraction Layer☆38Updated 3 years ago