Z3Prover / z3Links
The Z3 Theorem Prover
☆11,559Updated 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,861Updated last week
- Dafny is a verification-aware programming language☆3,203Updated this week
- A powerful and user-friendly binary analysis platform!☆8,319Updated this week
- Record and Replay Framework☆10,242Updated last week
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)☆8,592Updated last month
- Run compilers interactively from your web browser and interact with the assembly☆18,210Updated last week
- A superoptimizer for LLVM IR☆2,303Updated last year
- Binary Analysis Platform☆2,184Updated 6 months ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆6,088Updated this week
- A hacky debugger UI for hackers☆6,319Updated 9 months ago
- A Proof-oriented Programming Language☆2,924Updated 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,203Updated 4 months ago
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,270Updated this week
- QEMU Interactive Runtime Analyser☆4,035Updated 3 years ago
- GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Li…☆7,863Updated 2 months ago
- american fuzzy lop - a security-oriented fuzzer☆4,006Updated 4 years ago
- 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,250Updated last year
- Reverse engineering framework in Python☆3,756Updated 9 months ago
- Modular visual interface for GDB in Python☆11,995Updated 2 weeks ago
- Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software v…☆3,920Updated last month
- High-performance regular expression matching library☆5,194Updated 7 months ago
- UNIX-like reverse engineering framework and command-line toolset☆22,624Updated this week
- UNIX-like reverse engineering framework and command-line toolset.☆3,171Updated this week
- Platform for Architecture-Neutral Dynamic Analysis☆2,689Updated this week
- A lightweight process isolation tool that utilizes Linux namespaces, cgroups, rlimits and seccomp-bpf syscall filters, leveraging the Kaf…☆3,573Updated last month
- Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode☆2,727Updated 3 years ago
- The CompCert formally-verified C compiler☆2,064Updated last month
- Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Pytho…☆4,428Updated this week
- Free and Open Source Reverse Engineering Platform powered by rizin☆18,045Updated last week
- The single instruction C compiler☆10,035Updated last year