Z3Prover / z3
The Z3 Theorem Prover
☆10,352Updated this week
Related projects ⓘ
Alternatives and complementary repositories for z3
- cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.☆1,033Updated this week
- KLEE Symbolic Execution Engine☆2,638Updated this week
- Dafny is a verification-aware programming language☆2,912Updated this week
- A superoptimizer for LLVM IR☆2,136Updated 2 months ago
- A powerful and user-friendly binary analysis platform!☆7,576Updated this week
- UNIX-like reverse engineering framework and command-line toolset☆20,670Updated this week
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆4,850Updated this week
- Binary Analysis Platform☆2,068Updated 2 months ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)☆7,626Updated this week
- Run compilers interactively from your web browser and interact with the assembly☆16,398Updated this week
- An advanced SAT solver☆822Updated 2 weeks ago
- Record and Replay Framework☆9,176Updated this week
- Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX,…☆7,587Updated this week
- QEMU Interactive Runtime Analyser☆3,953Updated 2 years ago
- A minimalistic and high-performance SAT solver☆1,025Updated 6 months ago
- Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)☆3,075Updated 2 months ago
- GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Li…☆6,976Updated this week
- The P programming language.☆3,021Updated this week
- The seL4 microkernel☆4,744Updated this week
- Cap'n Proto serialization/RPC system - core tools and C++ library☆11,686Updated this week
- The CompCert formally-verified C compiler☆1,883Updated last week
- The WebAssembly Binary Toolkit☆6,859Updated this week
- pySMT: A library for SMT formulae manipulation and solving☆574Updated 2 months ago
- Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, a…☆9,905Updated 7 months ago
- A collection of out-of-tree LLVM passes for teaching and learning☆2,968Updated 3 weeks ago
- The single instruction C compiler☆9,448Updated 5 months ago
- A lightweight LLVM python binding for writing JIT compilers☆1,930Updated this week
- Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software v…☆3,533Updated 2 weeks ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.☆28,993Updated this week
- Zstandard - Fast real-time compression algorithm☆23,707Updated this week