Alternatives and similar repositories for unicorn

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

• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆42Updated 2 years ago
• norlen / symex
  Symbolic Execution Engine in Rust
  ☆21Updated 2 years ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆52Updated 4 months ago
• fgsect / WAFL
  Binary-only fuzzer for WebAssembly (WASI)
  ☆51Updated last year
• nccgroup / rustproofing-linux
  ☆23Updated 2 years ago
• cispa / GhostWrite
  Proof-of-concept for the GhostWrite CPU bug.
  ☆114Updated last year
• vusec / uncontained
  Uncovering Container Confusion in the Linux Kernel
  ☆45Updated last year
• cispa / hammulator
  Proof-of-concept implementation for the paper "Hammulator: Simulate Now - Exploit Later" (DRAMSec 2023)
  ☆17Updated last month
• landaire / lain
  A structured fuzzing framework built in Rust
  ☆30Updated 3 years ago
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆21Updated 2 years ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• libLISA / liblisa
  libLISA: Instruction Discovery and Analysis on x86-64
  ☆118Updated 7 months ago
• binsec / rosa
  ROSA: Finding Backdoors with Fuzzing
  ☆25Updated 3 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 3 years ago
• trailofbits / LeftoverLocalsRelease
  The public release of LeftoverLocals code
  ☆70Updated last year
• trailofbits / magnifier
  ☆59Updated 2 years ago
• Generative-Program-Analysis / GenSym
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆139Updated last week
• ergrelet / cpplumber
  Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects
  ☆86Updated 3 years ago
• security-pride / WASMaker
  WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-world…
  ☆15Updated last year
• Baltoli / accsynt
  Program synthesis tools and utilities for LLVM.
  ☆20Updated 2 years ago
• BenH11235 / rust-re-tour
  A tour of what some Rust language features look like after compilation.
  ☆48Updated 2 years ago
• HackOvert / awesome-bugs
  A collection of software bug types and articles showcasing the hunt for and exploitation of them.
  ☆20Updated 4 years ago
• compilers-wiki / compilers-wiki
  Wiki pages for compiler technologies https://compilers.wiki
  ☆24Updated 2 years ago
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• 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.
  ☆78Updated 3 weeks ago
• itewqq / SGX-PTE-SPY
  A migration for the page table entry based side-channel attack agains SGX enclaves.
  ☆19Updated 8 months ago
• vusec / inspectre-gadget
  InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets
  ☆56Updated 2 weeks ago
• novafacing / practical-fuzzing
  Practical fuzzing tutorials and training
  ☆30Updated last year
• vusec / slam
  Spectre based on Linear Address Masking
  ☆68Updated last year
• mikekben / SLOT
  SLOT: SMT-LLVM Optimizing Translation
  ☆60Updated 6 months ago