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
  ☆379Updated 5 years ago
• gamozolabs / mesos
  Binary coverage tool without binary modification for Windows
  ☆437Updated 4 years ago
• capstone-rust / capstone-rs
  High-level Capstone system bindings for Rust
  ☆245Updated last week
• PLSysSec / haybale
  Symbolic execution of LLVM IR with an engine written in Rust
  ☆556Updated last year
• MarginResearch / cannoli
  High-performance QEMU memory and instruction tracing
  ☆542Updated 10 months ago
• lifting-bits / rellic
  Rellic produces goto-free C output from LLVM bitcode
  ☆561Updated last month
• HexHive / retrowrite
  RetroWrite -- Retrofitting compiler passes through binary rewriting
  ☆715Updated last month
• unicorn-rs / unicorn-rs
  Rust bindings for the unicorn CPU emulator
  ☆143Updated 4 years ago
• intel / kernel-fuzzer-for-xen-project
  Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL
  ☆473Updated 11 months ago
• GrammaTech / gtirb
  Intermediate Representation for Binary analysis and transformation
  ☆338Updated last month
• quarkslab / rewind
  Snapshot-based coverage-guided windows kernel fuzzer
  ☆319Updated 3 years ago
• nyx-fuzz / libxdc
  The fastest Intel-PT decoder for fuzzing
  ☆372Updated last year
• Wenzel / libmicrovmi
  A cross-platform unified Virtual Machine Introspection API library
  ☆179Updated 2 weeks ago
• cea-sec / Sibyl
  A Miasm2 based function divination.
  ☆537Updated 5 years ago
• gamozolabs / fzero_fuzzer
  A fast Rust-based safe and thead-friendly grammar-based fuzz generator
  ☆219Updated 4 years ago
• utds3lab / multiverse
  A static binary rewriter that does not use heuristics
  ☆304Updated 7 years ago
• eurecom-s3 / symcc
  SymCC: efficient compiler-based symbolic execution
  ☆817Updated last month
• 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…
  ☆942Updated 2 years ago
• aemmitt-ns / radius2
  radius2 is a fast binary emulation and symbolic execution framework using radare2
  ☆615Updated 6 months ago
• trailofbits / polytracker
  An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
  ☆568Updated 2 months ago
• JonathanSalwan / Tigress_protection
  Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deo…
  ☆833Updated last year
• S2E / s2e
  S2E: A platform for multi-path program analysis with selective symbolic execution.
  ☆476Updated 6 months ago
• GrammaTech / ddisasm
  A fast and accurate disassembler
  ☆706Updated last week
• fugue-re / fugue-core
  A binary analysis framework written in Rust.
  ☆170Updated last month
• angr / cle
  CLE Loads Everything (at least, many binary formats!)
  ☆451Updated last week
• angr / patcherex
  Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.
  ☆256Updated 3 months ago
• angr / pyvex
  Python bindings for Valgrind's VEX IR.
  ☆358Updated last week
• GJDuck / e9patch
  A powerful static binary rewriting tool
  ☆1,019Updated 2 months ago
• IntelLabs / kAFL
  A fuzzer for full VM kernel/driver targets
  ☆720Updated 2 weeks ago
• feliam / pysymemu
  An amd64 symbolic emulator
  ☆313Updated 3 years ago