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,736Updated 3 months ago
• google / souper
  A superoptimizer for LLVM IR
  ☆2,217Updated 7 months ago
• rr-debugger / rr
  Record and Replay Framework
  ☆9,693Updated this week
• compiler-explorer / compiler-explorer
  Run compilers interactively from your web browser and interact with the assembly
  ☆17,273Updated last week
• dafny-lang / dafny
  Dafny is a verification-aware programming language
  ☆3,047Updated this week
• angr / angr
  A powerful and user-friendly binary analysis platform!
  ☆7,890Updated this week
• radareorg / radare2
  UNIX-like reverse engineering framework and command-line toolset
  ☆21,504Updated this week
• WebAssembly / wabt
  The WebAssembly Binary Toolkit
  ☆7,233Updated last week
• google / syzkaller
  syzkaller is an unsupervised coverage-guided kernel fuzzer
  ☆5,618Updated this week
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,562Updated 10 months ago
• unicorn-engine / unicorn
  Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)
  ☆8,079Updated this week
• xoreaxeaxeax / movfuscator
  The single instruction C compiler
  ☆9,755Updated 10 months ago
• BinaryAnalysisPlatform / bap
  Binary Analysis Platform
  ☆2,125Updated last month
• geohot / qira
  QEMU Interactive Runtime Analyser
  ☆3,989Updated 2 years ago
• llvm / llvm-project
  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
  ☆31,914Updated this week
• JonathanSalwan / Triton
  Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software v…
  ☆3,673Updated last month
• capstone-engine / capstone
  Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX,…
  ☆7,958Updated this week
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆11,889Updated 3 weeks ago
• checkedc / checkedc
  Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let peopl…
  ☆3,231Updated 6 months ago
• redox-os / redox
  Mirror of https://gitlab.redox-os.org/redox-os/redox
  ☆15,398Updated this week
• microsoft / mimalloc
  mimalloc is a compact general purpose allocator with excellent performance.
  ☆11,260Updated this week
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,816Updated this week
• github / semantic
  Parsing, analyzing, and comparing source code across many languages
  ☆9,030Updated 2 weeks ago
• jart / cosmopolitan
  build-once run-anywhere c library
  ☆19,224Updated 2 weeks ago
• lifting-bits / mcsema
  Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
  ☆2,690Updated 2 years ago
• lief-project / LIEF
  LIEF - Library to Instrument Executable Formats (C++, Python, Rust)
  ☆4,751Updated 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…
  ☆5,636Updated this week
• cyrus-and / gdb-dashboard
  Modular visual interface for GDB in Python
  ☆11,611Updated 2 months ago
• snare / voltron
  A hacky debugger UI for hackers
  ☆6,248Updated 2 months ago
• leanprover / lean3
  Lean Theorem Prover
  ☆2,150Updated last year