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,712Updated 2 months ago
• cvc5 / cvc5
  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
  ☆1,081Updated this week
• coq / coq
  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…
  ☆4,968Updated this week
• rr-debugger / rr
  Record and Replay Framework
  ☆9,542Updated last week
• radareorg / radare2
  UNIX-like reverse engineering framework and command-line toolset
  ☆21,289Updated this week
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆1,946Updated last week
• angr / angr
  A powerful and user-friendly binary analysis platform!
  ☆7,807Updated this week
• compiler-explorer / compiler-explorer
  Run compilers interactively from your web browser and interact with the assembly
  ☆17,119Updated this week
• google / syzkaller
  syzkaller is an unsupervised coverage-guided kernel fuzzer
  ☆5,568Updated this week
• lief-project / LIEF
  LIEF - Library to Instrument Executable Formats (C++, Python, Rust)
  ☆4,682Updated 2 weeks 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…
  ☆10,015Updated last year
• google / oss-fuzz
  OSS-Fuzz - continuous fuzzing for open source software.
  ☆10,869Updated this week
• google / honggfuzz
  Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
  ☆3,149Updated 2 weeks ago
• hugsy / gef
  GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Li…
  ☆7,303Updated 2 weeks ago
• capstone-engine / capstone
  Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX,…
  ☆7,841Updated this week
• cyrus-and / gdb-dashboard
  Modular visual interface for GDB in Python
  ☆11,528Updated last month
• dafny-lang / dafny
  Dafny is a verification-aware programming language
  ☆3,012Updated this week
• DynamoRIO / dynamorio
  Dynamic Instrumentation Tool Platform
  ☆2,765Updated this week
• google / souper
  A superoptimizer for LLVM IR
  ☆2,209Updated 6 months ago
• niklasso / minisat
  A minimalistic and high-performance SAT solver
  ☆1,054Updated 10 months ago
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆11,816Updated last month
• github / semantic
  Parsing, analyzing, and comparing source code across many languages
  ☆9,019Updated 7 months ago
• BinaryAnalysisPlatform / bap
  Binary Analysis Platform
  ☆2,109Updated this week
• unicorn-engine / unicorn
  Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)
  ☆7,945Updated this week
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆583Updated last month
• seL4 / seL4
  The seL4 microkernel
  ☆4,841Updated this week
• NASA-SW-VnV / ikos
  Static analyzer for C/C++ based on the theory of Abstract Interpretation.
  ☆2,911Updated 2 months ago
• rizinorg / cutter
  Free and Open Source Reverse Engineering Platform powered by rizin
  ☆16,254Updated this week
• xoreaxeaxeax / movfuscator
  The single instruction C compiler
  ☆9,673Updated 9 months ago
• WebAssembly / binaryen
  Optimizer and compiler/toolchain library for WebAssembly
  ☆7,707Updated this week