redplait / denvdisLinks
NVidia sass disassembler/inline patcher
☆29Updated last week
Alternatives and similar repositories for denvdis
Users that are interested in denvdis are comparing it to the libraries listed below
Sorting:
- A utility library to bridge llvm and mlir gaps.☆13Updated 9 months ago
- ☆48Updated last month
- libLISA: Instruction Discovery and Analysis on x86-64☆117Updated 7 months ago
- LLVM Code Generation, published by Packt☆200Updated this week
- Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor☆20Updated last year
- Embedded Universal DSL: a good DSL for us, by us☆46Updated this week
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆17Updated 6 months ago
- ☆66Updated last month
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆51Updated 4 months ago
- Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]☆63Updated last year
- UB-aware interpreter for LLVM debugging☆31Updated last week
- A enumerator for MLIR, relying on the information given by IRDL.☆18Updated this week
- Program synthesis tools and utilities for LLVM.☆20Updated 2 years ago
- Using Data Memory-Dependent Prefetchers to Leak Data at Rest☆37Updated 3 years ago
- ☆20Updated 2 years ago
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆30Updated 2 years ago
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- The public release of LeftoverLocals code☆68Updated last year
- An LLVM IR dataset for data-driven compiler optimization research☆66Updated this week
- Fork of LLVM for demonstrating optimization pass development☆29Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆75Updated this week
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆18Updated 3 weeks ago
- Proof-of-concept implementation for the paper "Hammulator: Simulate Now - Exploit Later" (DRAMSec 2023)☆17Updated 3 weeks ago
- Rust RISC-V Virtual Machine☆108Updated last month
- A program synthesis framework for verified lifting applications☆55Updated 4 months ago
- Proof-of-concept for the GhostWrite CPU bug.☆116Updated last year
- ☆23Updated 2 years ago
- LLVM-based type and memory allocation tracking sanitizer☆55Updated 3 weeks ago
- Synthesis of loop-free programs☆20Updated last week
- E-Graph library☆17Updated last year