Z3Prover / z3Links
The Z3 Theorem Prover
☆11,406Updated last week
Alternatives and similar repositories for z3
Users that are interested in z3 are comparing it to the libraries listed below
Sorting:
- Record and Replay Framework☆10,144Updated 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…☆10,168Updated 3 months ago
- The single instruction C compiler☆9,963Updated last year
- A hacky debugger UI for hackers☆6,298Updated 8 months ago
- A powerful and user-friendly binary analysis platform!☆8,185Updated this week
- UNIX-like reverse engineering framework and command-line toolset☆22,378Updated this week
- GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Li…☆7,779Updated last month
- Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX,…☆8,286Updated this week
- Exploit Development and Reverse Engineering with GDB & LLDB Made Easy☆9,354Updated last week
- A superoptimizer for LLVM IR☆2,300Updated last year
- american fuzzy lop - a security-oriented fuzzer☆3,973Updated 4 years ago
- QEMU Interactive Runtime Analyser☆4,029Updated 3 years ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆6,005Updated this week
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)☆8,499Updated last week
- The x86 processor fuzzer☆4,979Updated last year
- Dafny is a verification-aware programming language☆3,171Updated last week
- AddressSanitizer, ThreadSanitizer, MemorySanitizer☆12,131Updated this week
- Run compilers interactively from your web browser and interact with the assembly☆18,082Updated this week
- Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)☆3,259Updated 3 weeks ago
- Binary Analysis Platform☆2,173Updated 5 months ago
- mimalloc is a compact general purpose allocator with excellent performance.☆12,002Updated last week
- syzkaller is an unsupervised coverage-guided kernel fuzzer☆5,842Updated this week
- Free and Open Source Reverse Engineering Platform powered by rizin☆17,349Updated 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,250Updated last year
- Modular visual interface for GDB in Python☆11,929Updated 7 months ago
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,225Updated this week
- PEDA - Python Exploit Development Assistance for GDB☆6,040Updated last year
- Complete C99 parser in pure Python☆3,429Updated 3 weeks ago
- The seL4 microkernel☆5,086Updated this week
- Lean Theorem Prover☆2,154Updated last year