Z3Prover / z3Links
The Z3 Theorem Prover
☆11,152Updated this week
Alternatives and similar repositories for z3
Users that are interested in z3 are comparing it to the libraries listed below
Sorting:
- A powerful and user-friendly binary analysis platform!☆8,026Updated this week
- UNIX-like reverse engineering framework and command-line toolset☆21,905Updated this week
- KLEE Symbolic Execution Engine☆2,795Updated 2 months ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)☆8,294Updated 3 weeks ago
- Binary Analysis Platform☆2,147Updated 2 months ago
- Dafny is a verification-aware programming language☆3,109Updated this week
- Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX,…☆8,113Updated last week
- A superoptimizer for LLVM IR☆2,253Updated 10 months ago
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,148Updated this week
- Record and Replay Framework☆9,916Updated this week
- Run compilers interactively from your web browser and interact with the assembly☆17,704Updated this week
- Optimizer and compiler/toolchain library for WebAssembly☆7,960Updated this week
- Lean 4 programming language and theorem prover☆5,895Updated this week
- Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.☆30,895Updated this week
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆15,494Updated this week
- High-performance regular expression matching library☆5,037Updated 3 months ago
- LIEF - Library to Instrument Executable Formats (C++, Python, Rust)☆4,924Updated last week
- Lean Theorem Prover☆2,153Updated last year
- Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software v…☆3,789Updated last month
- Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode☆2,702Updated 3 years ago
- A Proof-oriented Programming Language☆2,863Updated this week
- QEMU Interactive Runtime Analyser☆4,013Updated 3 years ago
- Plasma is an interactive disassembler for x86/ARM/MIPS. It can generates indented pseudo-code with colored syntax.☆3,056Updated 3 years ago
- Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please on…☆11,587Updated this week
- Cross-platform Rust rewrite of the GNU coreutils☆20,831Updated this week
- The seL4 microkernel☆4,997Updated last week
- Parsing, analyzing, and comparing source code across many languages☆9,041Updated 3 months ago
- Free and Open Source Reverse Engineering Platform powered by rizin☆16,848Updated last week
- A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.☆1,413Updated 2 weeks ago
- Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, …☆20,786Updated this week