Z3Prover / z3Links
The Z3 Theorem Prover
☆11,167Updated 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,795Updated 2 months ago
- Record and Replay Framework☆9,916Updated last week
- UNIX-like reverse engineering framework and command-line toolset☆21,905Updated this week
- A powerful and user-friendly binary analysis platform!☆8,034Updated this week
- GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Li…☆7,600Updated last month
- Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, a…☆10,111Updated last week
- Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX,…☆8,113Updated 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,238Updated 9 months ago
- A superoptimizer for LLVM IR☆2,253Updated 10 months ago
- The single instruction C compiler☆9,844Updated last year
- Modular visual interface for GDB in Python☆11,776Updated 4 months ago
- mimalloc is a compact general purpose allocator with excellent performance.☆11,667Updated 2 weeks ago
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,147Updated this week
- Run compilers interactively from your web browser and interact with the assembly☆17,704Updated this week
- Free and Open Source Reverse Engineering Platform powered by rizin☆16,848Updated last week
- An incremental parsing system for programming tools☆21,171Updated this week
- ☕ GDBFrontend is an easy, flexible and extensible gui debugger.☆2,949Updated 6 months ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)☆8,309Updated 3 weeks ago
- The CompCert formally-verified C compiler☆1,998Updated 3 weeks ago
- QEMU Interactive Runtime Analyser☆4,013Updated 3 years ago
- Binary Analysis Platform☆2,147Updated 2 months ago
- Dafny is a verification-aware programming language☆3,109Updated this week
- AddressSanitizer, ThreadSanitizer, MemorySanitizer☆12,004Updated 2 weeks ago
- Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode☆2,702Updated 3 years ago
- C-Reduce, a C and C++ program reducer☆1,593Updated last year
- OSS-Fuzz - continuous fuzzing for open source software.☆11,147Updated this week
- Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software v…☆3,789Updated last month
- A hacky debugger UI for hackers☆6,275Updated 5 months ago
- Cap'n Proto serialization/RPC system - core tools and C++ library☆12,285Updated this week
- Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Pytho…☆4,231Updated 2 months ago