Alternatives and similar repositories for denvdis

Users that are interested in denvdis are comparing it to the libraries listed below

• SoftSec-KAIST / SURI
  Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)
  ☆16Updated 4 months ago
• hoseinyavarzadeh / Pathfinder_Attack
  Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor
  ☆17Updated last year
• libLISA / liblisa
  libLISA: Instruction Discovery and Analysis on x86-64
  ☆115Updated 5 months ago
• PacktPublishing / LLVM-Code-Generation
  LLVM Code Generation, published by Packt
  ☆116Updated this week
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆50Updated 2 months ago
• Baltoli / accsynt
  Program synthesis tools and utilities for LLVM.
  ☆20Updated 2 years ago
• herumi / xbyak_riscv
  ☆48Updated 3 months ago
• cispa / Microarchitectural-Hash-Function-Recovery
  Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)
  ☆30Updated last year
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated 6 months ago
• owenlly / Indirector_Artifact
  Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]
  ☆61Updated 11 months ago
• trailofbits / LeftoverLocalsRelease
  The public release of LeftoverLocals code
  ☆67Updated last year
• jvstech / float-compare-pass
  Fork of LLVM for demonstrating optimization pass development
  ☆30Updated 2 years ago
• trailofbits / circuitous
  binary->LLVM->circuits
  ☆19Updated last year
• lifting-bits / patchestry
  Patchestry is a binary patching framework built with MLIR and Ghidra.
  ☆25Updated this week
• norlen / symex
  Symbolic Execution Engine in Rust
  ☆21Updated last year
• FPSG-UIUC / augury
  Using Data Memory-Dependent Prefetchers to Leak Data at Rest
  ☆36Updated 2 years ago
• tudasc / TypeART
  LLVM-based type and memory allocation tracking sanitizer
  ☆53Updated this week
• cispa / hammulator
  Proof-of-concept implementation for the paper "Hammulator: Simulate Now - Exploit Later" (DRAMSec 2023)
  ☆17Updated 2 years ago
• FuturesLab / Bin2Wrong
  Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers
  ☆49Updated 2 months ago
• shack / synth
  Synthesis of loop-free programs
  ☆18Updated last week
• badramattack / badram
  ☆58Updated 5 months ago
• vusec / inspectre-gadget
  InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets
  ☆55Updated 3 months ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• dwuid / chenxification
  Exemplary LLVM function pass implementing Control Flow Flattening.
  ☆17Updated 7 years ago
• lac-dcc / Daedalus
  An LLVM pass to compress code by identifying and extracting recurrent program slices.
  ☆28Updated this week
• ergrelet / cpplumber
  Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects
  ☆85Updated 2 years ago
• mikekben / SLOT
  SLOT: SMT-LLVM Optimizing Translation
  ☆60Updated 3 months ago
• Vector35 / pdb-rs
  A parser for Microsoft PDB (Program Database) debugging information
  ☆27Updated 8 months ago
• scy-phy / FetchBench
  ☆17Updated last year
• woodruffw / llvm-passgen
  A small tool for quickly generating LLVM passes
  ☆28Updated 2 weeks ago