Alternatives and similar repositories for z3

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

• dafny-lang / dafny
  Dafny is a verification-aware programming language
  ☆3,154Updated this week
• klee / klee
  KLEE Symbolic Execution Engine
  ☆2,824Updated 2 months ago
• cvc5 / cvc5
  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
  ☆1,180Updated this week
• angr / angr
  A powerful and user-friendly binary analysis platform!
  ☆8,151Updated last week
• rocq-prover / rocq
  The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…
  ☆5,208Updated this week
• xoreaxeaxeax / movfuscator
  The single instruction C compiler
  ☆9,929Updated last year
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,895Updated this week
• geohot / qira
  QEMU Interactive Runtime Analyser
  ☆4,028Updated 3 years ago
• google / souper
  A superoptimizer for LLVM IR
  ☆2,297Updated last year
• radareorg / radare2
  UNIX-like reverse engineering framework and command-line toolset
  ☆22,267Updated this week
• capstone-engine / capstone
  Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX,…
  ☆8,257Updated 2 weeks ago
• niklasso / minisat
  A minimalistic and high-performance SAT solver
  ☆1,098Updated last year
• BinaryAnalysisPlatform / bap
  Binary Analysis Platform
  ☆2,170Updated 4 months ago
• WebAssembly / wabt
  The WebAssembly Binary Toolkit
  ☆7,562Updated this week
• leanprover / lean4
  Lean 4 programming language and theorem prover
  ☆6,378Updated this week
• WebAssembly / binaryen
  Optimizer and compiler/toolchain library for WebAssembly
  ☆8,096Updated this week
• kaitai-io / kaitai_struct
  Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Pytho…
  ☆4,292Updated last week
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆2,028Updated last week
• unicorn-engine / unicorn
  Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)
  ☆8,472Updated this week
• rizinorg / cutter
  Free and Open Source Reverse Engineering Platform powered by rizin
  ☆17,086Updated last week
• JonathanSalwan / Triton
  Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software v…
  ☆3,866Updated 3 weeks ago
• Cyan4973 / xxHash
  Extremely fast non-cryptographic hash algorithm
  ☆10,242Updated last week
• lief-project / LIEF
  LIEF - Library to Instrument Executable Formats (C++, Python, Rust)
  ☆5,037Updated last week
• github / semantic
  Parsing, analyzing, and comparing source code across many languages
  ☆9,054Updated 5 months ago
• msoos / cryptominisat
  An advanced SAT solver
  ☆879Updated last week
• microsoft / mimalloc
  mimalloc is a compact general purpose allocator with excellent performance.
  ☆11,941Updated last week
• cea-sec / miasm
  Reverse engineering framework in Python
  ☆3,731Updated 7 months ago
• lifting-bits / mcsema
  Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
  ☆2,720Updated 3 years ago
• tree-sitter / tree-sitter
  An incremental parsing system for programming tools
  ☆22,055Updated this week
• rr-debugger / rr
  Record and Replay Framework
  ☆10,111Updated 2 weeks ago