Alternatives and similar repositories for unicorn

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

• redplait / denvdis
  NVidia sass disassembler
  ☆22Updated this week
• langston-barrett / tree-crasher
  Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
  ☆70Updated 3 weeks ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆73Updated last week
• norlen / symex
  Symbolic Execution Engine in Rust
  ☆21Updated last year
• itewqq / SGX-PTE-SPY
  A migration for the page table entry based side-channel attack agains SGX enclaves.
  ☆18Updated 5 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆102Updated 3 years ago
• phulin / symbolic-trace
  Symbolic execution of LLVM IR traces for program understanding.
  ☆27Updated 11 years ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆47Updated last month
• fgsect / WAFL
  Binary-only fuzzer for WebAssembly (WASI)
  ☆50Updated 11 months ago
• libLISA / liblisa
  libLISA: Instruction Discovery and Analysis on x86-64
  ☆114Updated 4 months ago
• ctfhacker / binja-rs
  Some Rust bindings for Binary Ninja
  ☆30Updated last year
• SoftSec-KAIST / SURI
  Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)
  ☆15Updated 3 months ago
• AmrDeveloper / LLQL
  LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…
  ☆55Updated 2 months ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• trailofbits / LeftoverLocalsRelease
  The public release of LeftoverLocals code
  ☆67Updated last year
• BenH11235 / rust-re-tour
  A tour of what some Rust language features look like after compilation.
  ☆45Updated 2 years ago
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆49Updated 5 months ago
• n4r1b / win-drvutils-rs
  Collection of Windows Driver Utils
  ☆11Updated last year
• ergrelet / cpplumber
  Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects
  ☆85Updated 2 years ago
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆28Updated 2 months ago
• nccgroup / rustproofing-linux
  ☆23Updated 2 years ago
• cucapra / patronus
  work in progress, playing around with btor2 in rust
  ☆11Updated 3 weeks ago
• iximeow / yaxpeax-arch
  fundamental traits to describe an architecture in the yaxpeax project
  ☆15Updated 4 months ago
• elManto / LLVMPassesForSecurity
  Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering
  ☆28Updated 2 years ago
• landaire / lain
  A structured fuzzing framework built in Rust
  ☆26Updated 2 years ago
• woodruffw / llvm-passgen
  A small tool for quickly generating LLVM passes
  ☆28Updated this week
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆69Updated last week
• binsec / rosa
  ROSA: Finding Backdoors with Fuzzing
  ☆23Updated 2 weeks ago
• shack / synth
  Synthesis of loop-free programs
  ☆17Updated 2 weeks ago
• awslabs / rust-smt-ir
  ☆40Updated 3 weeks ago