Z3Prover / z3
The Z3 Theorem Prover
☆10,394Updated this week
Related projects ⓘ
Alternatives and complementary repositories for z3
- KLEE Symbolic Execution Engine☆2,650Updated 2 weeks ago
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆4,865Updated this week
- Run compilers interactively from your web browser and interact with the assembly☆16,468Updated this week
- A superoptimizer for LLVM IR☆2,169Updated 2 months ago
- Record and Replay Framework☆9,196Updated this week
- Binary Analysis Platform☆2,070Updated 3 months ago
- A powerful and user-friendly binary analysis platform!☆7,604Updated this week
- mimalloc is a compact general purpose allocator with excellent performance.☆10,605Updated this week
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)☆7,661Updated last week
- Dafny is a verification-aware programming language☆2,928Updated this week
- The single instruction C compiler☆9,493Updated 5 months ago
- Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX,…☆7,617Updated this week
- Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode☆2,656Updated 2 years ago
- Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software v…☆3,546Updated 3 weeks ago
- american fuzzy lop - a security-oriented fuzzer☆3,701Updated 3 years ago
- A fast and secure runtime for WebAssembly☆15,427Updated this week
- The CompCert formally-verified C compiler☆1,892Updated this week
- Free and Open Source Reverse Engineering Platform powered by rizin☆15,897Updated last 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,926Updated 8 months ago
- Dynamic Instrumentation Tool Platform☆2,675Updated 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,221Updated last month
- Modular visual interface for GDB in Python☆11,134Updated 3 months ago
- The WebAssembly Binary Toolkit☆6,892Updated this week
- LIEF - Library to Instrument Executable Formats (C++, Python, Rust)☆4,503Updated this week
- 🚀 The leading Wasm Runtime supporting WASIX and WASI☆19,030Updated this week
- UNIX-like reverse engineering framework and command-line toolset☆20,740Updated this week
- Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, …☆19,378Updated this week
- AddressSanitizer, ThreadSanitizer, MemorySanitizer☆11,545Updated 3 weeks ago
- C++ Library Manager for Windows, Linux, and MacOS☆23,307Updated this week
- A Python Interpreter written in Rust☆19,215Updated 3 weeks ago