Alternatives and similar repositories for falcon:

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

• radareorg / radeco
  radare2-based decompiler and symbol executor
  ☆375Updated 4 years ago
• gamozolabs / mesos
  Binary coverage tool without binary modification for Windows
  ☆436Updated 4 years ago
• capstone-rust / capstone-rs
  high-level Capstone system bindings for Rust
  ☆229Updated 2 months ago
• PLSysSec / haybale
  Symbolic execution of LLVM IR with an engine written in Rust
  ☆550Updated last year
• unicorn-rs / unicorn-rs
  Rust bindings for the unicorn CPU emulator
  ☆139Updated 4 years ago
• HexHive / retrowrite
  RetroWrite -- Retrofitting compiler passes through binary rewriting
  ☆704Updated 11 months ago
• intel / kernel-fuzzer-for-xen-project
  Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL
  ☆474Updated 9 months ago
• angr / cle
  CLE Loads Everything (at least, many binary formats!)
  ☆443Updated this week
• gamozolabs / applepie
  A hypervisor for fuzzing built with WHVP and Bochs
  ☆374Updated 6 years ago
• radareorg / radare2-extras
  Source graveyard and random candy for radare2
  ☆244Updated last month
• quarkslab / rewind
  Snapshot-based coverage-guided windows kernel fuzzer
  ☆317Updated 3 years ago
• gamozolabs / fzero_fuzzer
  A fast Rust-based safe and thead-friendly grammar-based fuzz generator
  ☆218Updated 4 years ago
• utds3lab / multiverse
  A static binary rewriter that does not use heuristics
  ☆303Updated 6 years ago
• angr / pyvex
  Python bindings for Valgrind's VEX IR.
  ☆350Updated this week
• MarginResearch / cannoli
  High-performance QEMU memory and instruction tracing
  ☆543Updated 8 months ago
• AngoraFuzzer / Angora
  Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic e…
  ☆943Updated 2 years ago
• S2E / s2e
  S2E: A platform for multi-path program analysis with selective symbolic execution.
  ☆461Updated 4 months ago
• enzet / symbolic-execution
  History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
  ☆491Updated 7 months ago
• lifting-bits / rellic
  Rellic produces goto-free C output from LLVM bitcode
  ☆555Updated 7 months ago
• rair-project / rair
  RAIR: RAdare In Rust
  ☆75Updated 6 months ago
• cea-sec / Sibyl
  A Miasm2 based function divination.
  ☆534Updated 4 years ago
• IntelLabs / kAFL
  A fuzzer for full VM kernel/driver targets
  ☆690Updated 2 weeks ago
• eurecom-s3 / symcc
  SymCC: efficient compiler-based symbolic execution
  ☆801Updated last month
• GrammaTech / gtirb
  Intermediate Representation for Binary analysis and transformation
  ☆327Updated last month
• trailofbits / polytracker
  An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
  ☆561Updated last week
• trailofbits / binjascripts
  Scripts for Binary Ninja
  ☆254Updated 2 years ago
• trailofbits / cb-multios
  DARPA Challenges Sets for Linux, Windows, and macOS
  ☆525Updated last year
• Cr4sh / openreil
  Open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language)
  ☆508Updated 3 years ago
• angr / claripy
  An abstraction layer for constraint solvers.
  ☆310Updated this week
• nccgroup / TriforceAFL
  AFL/QEMU fuzzing with full-system emulation.
  ☆628Updated 6 years ago