Alternatives and similar repositories for unicorn:

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

• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆64Updated 2 weeks ago
• norlen / symex
  Symbolic Execution Engine in Rust
  ☆20Updated last year
• Generative-Program-Analysis / GenSym
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆127Updated this week
• gamozolabs / init
  A super simple /sbin/init for Linux which allows running one and only one program
  ☆26Updated last year
• woodruffw / llvm-passgen
  A small tool for quickly generating LLVM passes
  ☆28Updated last week
• hoseinyavarzadeh / Pathfinder_Attack
  Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor
  ☆16Updated 6 months ago
• fgsect / WAFL
  Binary-only fuzzer for WebAssembly (WASI)
  ☆48Updated 5 months ago
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆52Updated last year
• 389850689 / YASH
  Yet Another Simple Hypervisor
  ☆10Updated 3 years ago
• c4-project / c4f
  The C4 Concurrent C Fuzzer
  ☆14Updated last year
• 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.
  ☆66Updated 3 weeks ago
• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆43Updated last year
• landaire / fazi
  drop-in replacement for libfuzzer
  ☆68Updated 4 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆94Updated 2 years ago
• synacktiv / toy-wasm-symbexp
  A toy symbolic execution engine, supporting the blog article ...
  ☆16Updated 3 years ago
• revng / vscode-llvm-ir
  VSCode extension for the LLVM IR language
  ☆59Updated 8 months ago
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆24Updated 4 months ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆43Updated last week
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆47Updated 2 months ago
• landaire / lain
  A structured fuzzing framework built in Rust
  ☆26Updated 2 years ago
• vusec / uncontained
  Uncovering Container Confusion in the Linux Kernel
  ☆43Updated 11 months ago
• ergrelet / cpplumber
  Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects
  ☆81Updated 2 years ago
• MaxXSoft / sigma-vm
  Sigma Virtual Machine.
  ☆20Updated last year
• trailofbits / ManticoreUI-Ghidra
  ManticoreUI support for Ghidra. This is primarily a prototype repository. See the main ManticoreUI repo (https://github.com/trailofbits/M…
  ☆11Updated 2 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆62Updated 3 weeks ago
• BenH11235 / rust-re-tour
  A tour of what some Rust language features look like after compilation.
  ☆44Updated last year
• trailofbits / LeftoverLocalsRelease
  The public release of LeftoverLocals code
  ☆65Updated last year
• CTSRD-CHERI / cheri-specification
  CHERI ISA Specification
  ☆24Updated 6 months ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• tchajed / rdb
  Debugger written in Rust
  ☆19Updated 2 years ago