andreas-abel / XED-to-XML
XML representation of the x86 instruction set
☆28Updated 2 years ago
Alternatives and similar repositories for XED-to-XML:
Users that are interested in XED-to-XML are comparing it to the libraries listed below
- Automatic inference of a formal specification of the x86_64 instruction set☆69Updated 8 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆32Updated 4 years ago
- reverse engineering branch predictors☆17Updated 8 years ago
- Visualization of LLVM IR☆60Updated 10 years ago
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆51Updated 2 years ago
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 5 years ago
- Proof-of-concept implementation for the paper "(M)WAIT for It: Bridging the Gap between Microarchitectural and Architectural Side Channel…☆22Updated last year
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆72Updated 2 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆28Updated 5 years ago
- Performance Counter Measurements at the cycle granularity☆18Updated 3 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains☆22Updated 11 months ago
- DINAMITE LLVM Pass☆11Updated 7 years ago
- ☆35Updated 7 years ago
- QEMU with support for CHERI☆57Updated this week
- A tool for testing C compilers automatically☆20Updated 9 years ago
- ☆19Updated 10 years ago
- Liveness-driven random C code generator☆41Updated 7 months ago
- Solving floating point SMT constraints on a GPU☆48Updated 4 years ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆77Updated last week
- Dr. Disassembler☆35Updated 3 years ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- Verification of BPF JIT compilers☆54Updated last year
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆40Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- Efficient Path Profiling using LLVM☆19Updated 7 years ago
- Instruction decoder microbenchmark suite☆10Updated 7 years ago
- Timeless debugging with symbolic execution and processor trace☆75Updated 4 years ago
- Verifying x86 semantics☆10Updated 7 years ago