Z3Prover / z3Links
The Z3 Theorem Prover
☆11,767Updated 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,878Updated last week
- Dafny is a verification-aware programming language☆3,245Updated 3 weeks ago
- Record and Replay Framework☆10,300Updated last week
- GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Li…☆7,944Updated this week
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,312Updated this week
- Lean Theorem Prover☆2,154Updated 2 years ago
- Firmware Analysis Tool☆13,431Updated 4 months ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆6,195Updated this 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,256Updated last year
- A powerful and user-friendly binary analysis platform!☆8,399Updated this week
- The CompCert formally-verified C compiler☆2,092Updated this week
- The WebAssembly Binary Toolkit☆7,774Updated last month
- A Proof-oriented Programming Language☆2,943Updated 2 weeks ago
- Run compilers interactively from your web browser and interact with the assembly☆18,378Updated this week
- Lean 4 programming language and theorem prover☆6,981Updated this week
- QEMU Interactive Runtime Analyser☆4,049Updated 3 years ago
- A superoptimizer for LLVM IR☆2,308Updated last year
- Exploit Development and Reverse Engineering with GDB & LLDB Made Easy☆9,782Updated this week
- american fuzzy lop - a security-oriented fuzzer☆4,032Updated 4 years ago
- Binary Analysis Platform☆2,198Updated 8 months ago
- Emscripten: An LLVM-to-WebAssembly Compiler☆27,073Updated last week
- mold: A Modern Linker 🦠☆16,014Updated 3 weeks ago
- Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Pytho…☆4,472Updated 2 weeks ago
- Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, a…☆10,243Updated 6 months ago
- Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX,…☆8,455Updated 2 weeks ago
- mimalloc is a compact general purpose allocator with excellent performance.☆12,304Updated last week
- A hacky debugger UI for hackers☆6,328Updated 11 months ago
- UNIX-like reverse engineering framework and command-line toolset☆22,817Updated this week
- The seL4 microkernel☆5,231Updated 2 weeks ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)☆8,676Updated 3 months ago