Alternatives and similar repositories for z3

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

• klee / klee
  KLEE Symbolic Execution Engine
  ☆2,898Updated last month
• angr / angr
  A powerful and user-friendly binary analysis platform!
  ☆8,455Updated this week
• google / AFL
  american fuzzy lop - a security-oriented fuzzer
  ☆4,053Updated 4 years ago
• radareorg / radare2
  UNIX-like reverse engineering framework and command-line toolset
  ☆23,018Updated this week
• google / oss-fuzz
  OSS-Fuzz - continuous fuzzing for open source software.
  ☆11,862Updated this week
• AFLplusplus / AFLplusplus
  The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…
  ☆6,266Updated last week
• cvc5 / cvc5
  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
  ☆1,252Updated this week
• capstone-engine / capstone
  Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX,…
  ☆8,532Updated this week
• google / honggfuzz
  Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
  ☆3,304Updated last month
• xoreaxeaxeax / movfuscator
  The single instruction C compiler
  ☆10,119Updated last year
• dafny-lang / dafny
  Dafny is a verification-aware programming language
  ☆3,288Updated last month
• BinaryAnalysisPlatform / bap
  Binary Analysis Platform
  ☆2,211Updated 9 months ago
• unicorn-engine / unicorn
  Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)
  ☆8,733Updated 2 weeks ago
• rr-debugger / rr
  Record and Replay Framework
  ☆10,362Updated 2 weeks ago
• JonathanSalwan / Triton
  Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software v…
  ☆4,036Updated 2 months ago
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆12,298Updated last month
• google / syzkaller
  syzkaller is an unsupervised coverage-guided kernel fuzzer
  ☆6,033Updated this week
• google / souper
  A superoptimizer for LLVM IR
  ☆2,317Updated last year
• NixOS / patchelf
  A small utility to modify the dynamic linker and RPATH of ELF executables
  ☆4,144Updated last month
• ksluckow / awesome-symbolic-execution
  A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
  ☆1,465Updated 7 months ago
• snare / voltron
  A hacky debugger UI for hackers
  ☆6,335Updated last year
• lief-project / LIEF
  LIEF - Library to Instrument Executable Formats (C++, Python, Rust)
  ☆5,260Updated this week
• capnproto / capnproto
  Cap'n Proto serialization/RPC system - core tools and C++ library
  ☆12,831Updated this week
• avast / retdec
  RetDec is a retargetable machine-code decompiler based on LLVM.
  ☆8,467Updated 7 months ago
• qilingframework / qiling
  A True Instrumentable Binary Emulation Framework
  ☆5,796Updated 3 months ago
• JonathanSalwan / ROPgadget
  This tool lets you search your gadgets on your binaries to facilitate your ROP exploitation. ROPgadget supports ELF, PE and Mach-O format…
  ☆4,361Updated last month
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆2,102Updated this week
• github / semantic
  Parsing, analyzing, and comparing source code across many languages
  ☆9,058Updated 10 months ago
• lifting-bits / mcsema
  Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
  ☆2,749Updated 3 years ago
• hugsy / gef
  GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Li…
  ☆7,998Updated this week