Z3Prover / z3
The Z3 Theorem Prover
☆10,617Updated this week
Alternatives and similar repositories for z3:
Users that are interested in z3 are comparing it to the libraries listed below
- KLEE Symbolic Execution Engine☆2,690Updated last month
- The CompCert formally-verified C compiler☆1,931Updated this week
- Dafny is a verification-aware programming language☆2,983Updated this week
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆4,921Updated this week
- UNIX-like reverse engineering framework and command-line toolset☆21,107Updated this week
- cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.☆1,070Updated this week
- Record and Replay Framework☆9,463Updated this week
- A powerful and user-friendly binary analysis platform!☆7,741Updated this week
- OSS-Fuzz - continuous fuzzing for open source software.☆10,786Updated 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,227Updated 4 months ago
- A superoptimizer for LLVM IR☆2,196Updated 5 months ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)☆7,839Updated last week
- AddressSanitizer, ThreadSanitizer, MemorySanitizer☆11,739Updated 2 weeks ago
- A Proof-oriented Programming Language☆2,781Updated this week
- The seL4 microkernel☆4,815Updated 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…☆9,996Updated 10 months ago
- RetDec is a retargetable machine-code decompiler based on LLVM.☆8,109Updated 4 months ago
- A hacky debugger UI for hackers☆6,197Updated last week
- mimalloc is a compact general purpose allocator with excellent performance.☆10,930Updated this week
- Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode☆2,678Updated 2 years ago
- Free and Open Source Reverse Engineering Platform powered by rizin☆16,133Updated this week
- Binary Analysis Platform☆2,096Updated 5 months ago
- Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software v…☆3,607Updated this week
- Chez Scheme☆7,033Updated last week
- Defines a common protocol for language servers.☆11,509Updated this week
- QEMU Interactive Runtime Analyser☆3,974Updated 2 years ago
- GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Li…☆7,210Updated last week
- Modular visual interface for GDB in Python☆11,411Updated 5 months ago
- Lean Theorem Prover☆2,149Updated last year
- Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX,…☆7,772Updated last week