Z3Prover / z3Links
The Z3 Theorem Prover
☆11,665Updated this week
Alternatives and similar repositories for z3
Users that are interested in z3 are comparing it to the libraries listed below
Sorting:
- KLEE Symbolic Execution Engine☆2,869Updated this week
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,289Updated this week
- Dafny is a verification-aware programming language☆3,224Updated this week
- A superoptimizer for LLVM IR☆2,306Updated last year
- Record and Replay Framework☆10,281Updated 3 weeks ago
- A powerful and user-friendly binary analysis platform!☆8,358Updated this week
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)☆8,638Updated 2 months ago
- Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX,…☆8,429Updated last week
- 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,253Updated last year
- Binary Analysis Platform☆2,193Updated 7 months ago
- The P programming language.☆3,479Updated 2 weeks ago
- A Proof-oriented Programming Language☆2,933Updated last week
- Run compilers interactively from your web browser and interact with the assembly☆18,293Updated last week
- The CompCert formally-verified C compiler☆2,083Updated last month
- UNIX-like reverse engineering framework and command-line toolset☆22,737Updated this week
- Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, a…☆10,225Updated 5 months ago
- The WebAssembly Binary Toolkit☆7,724Updated 2 weeks ago
- Lean Theorem Prover☆2,153Updated 2 years ago
- AddressSanitizer, ThreadSanitizer, MemorySanitizer☆12,244Updated 2 weeks ago
- A lightweight process isolation tool that utilizes Linux namespaces, cgroups, rlimits and seccomp-bpf syscall filters, leveraging the Kaf…☆3,611Updated 2 weeks ago
- A hacky debugger UI for hackers☆6,327Updated 10 months ago
- OSS-Fuzz - continuous fuzzing for open source software.☆11,715Updated this week
- An incremental parsing system for programming tools☆22,953Updated this week
- RetDec is a retargetable machine-code decompiler based on LLVM.☆8,416Updated 5 months ago
- The single instruction C compiler☆10,058Updated last year
- Cap'n Proto serialization/RPC system - core tools and C++ library☆12,711Updated this week
- Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software v…☆3,958Updated last week
- QEMU Interactive Runtime Analyser☆4,041Updated 3 years ago
- High-performance regular expression matching library☆5,212Updated 8 months ago
- a small build system with a focus on speed☆12,516Updated 2 weeks ago