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,686Updated 3 weeks ago
• cyrus-and / gdb-dashboard
  Modular visual interface for GDB in Python
  ☆11,393Updated 5 months ago
• cvc5 / cvc5
  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
  ☆1,069Updated this week
• dafny-lang / dafny
  Dafny is a verification-aware programming language
  ☆2,977Updated this week
• github / semantic
  Parsing, analyzing, and comparing source code across many languages
  ☆9,002Updated 6 months ago
• numba / llvmlite
  A lightweight LLVM python binding for writing JIT compilers
  ☆1,974Updated this week
• google / souper
  A superoptimizer for LLVM IR
  ☆2,195Updated 5 months ago
• capstone-engine / capstone
  Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX,…
  ☆7,755Updated this week
• snare / voltron
  A hacky debugger UI for hackers
  ☆6,187Updated this week
• rr-debugger / rr
  Record and Replay Framework
  ☆9,428Updated this week
• ninja-build / ninja
  a small build system with a focus on speed
  ☆11,527Updated this week
• DynamoRIO / dynamorio
  Dynamic Instrumentation Tool Platform
  ☆2,728Updated this week
• angr / angr
  A powerful and user-friendly binary analysis platform!
  ☆7,725Updated this week
• eteran / edb-debugger
  edb is a cross-platform AArch32/x86/x86-64 debugger.
  ☆2,748Updated 5 months ago
• hugsy / gef
  GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Li…
  ☆7,188Updated this week
• BinaryAnalysisPlatform / bap
  Binary Analysis Platform
  ☆2,092Updated 5 months ago
• cs01 / gdbgui
  Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, a…
  ☆9,981Updated 10 months ago
• cython / cython
  The most widely used Python to C compiler
  ☆9,728Updated this week
• lief-project / LIEF
  LIEF - Library to Instrument Executable Formats (C++, Python, Rust)
  ☆4,623Updated this week
• csmith-project / csmith
  Csmith, a random generator of C programs
  ☆1,054Updated last year
• asmjit / asmjit
  Low-latency machine code generation
  ☆4,026Updated last week
• google / oss-fuzz
  OSS-Fuzz - continuous fuzzing for open source software.
  ☆10,770Updated this week
• google / honggfuzz
  Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
  ☆3,120Updated 3 weeks ago
• seL4 / seL4
  The seL4 microkernel
  ☆4,811Updated 3 weeks ago
• radareorg / radare2
  UNIX-like reverse engineering framework and command-line toolset
  ☆21,062Updated this week
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,539Updated 7 months ago
• llvm-mirror / llvm
  Project moved to: https://github.com/llvm/llvm-project
  ☆4,608Updated 4 years ago
• google / syzkaller
  syzkaller is an unsupervised coverage-guided kernel fuzzer
  ☆5,505Updated this week
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆581Updated 5 months ago
• niklasso / minisat
  A minimalistic and high-performance SAT solver
  ☆1,044Updated 9 months ago