z3-playground
A repository to store Z3-python scripts you can use as examples, reminders, whatever.
If you have such examples, practical or not, feel free to contact me to add them ; would be cool to compile a list of relevant scripts :)!
-
This repository has been archived on 26/Nov/2023
-
Stars273
-
Rank 145,821 (Top 3 %)
-
LanguagePython
-
Created about 10 years ago
-
Updated over 3 years ago
Reviews
There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
A repository to store Z3-python scripts you can use as examples, reminders, whatever.
More Repositories
1
rp
rp++ is a fast C++ ROP gadget finder for PE/ELF/Mach-O x86/x64/ARM/ARM64 binaries.C++
1,722
2
wtf
wtf is a distributed, code-coverage guided, customizable, cross-platform snapshot-based fuzzer designed for attacking user and / or kernel-mode targets running on Microsoft Windows and Linux user-mode (experimental!).C++
1,351
3
CVE-2021-31166
Proof of concept for CVE-2021-31166, a remote HTTP.sys use-after-free triggered remotely.Python
823
4
CVE-2019-11708
Full exploit chain (CVE-2019-11708 & CVE-2019-9810) against Firefox on Windows 64-bit.JavaScript
615
5
stuffz
Basically a script thrift shopC
584
6
CVE-2022-21971
PoC for CVE-2022-21971 "Windows Runtime Remote Code Execution Vulnerability"
Rich Text Format
303
7
clairvoyance
Visualize the virtual address space of a Windows process on a Hilbert curve.C++
290
8
windbg-scripts
A bunch of JavaScript extensions for WinDbg.JavaScript
286
9
CVE-2019-9810
Exploit for CVE-2019-9810 Firefox on Windows 64-bit.JavaScript
227
10
CVE-2021-24086
Proof of concept for CVE-2021-24086, a NULL dereference in tcpip.sys triggered remotely.Python
225
11
CVE-2021-28476
PoC for CVE-2021-28476 a guest-to-host "Hyper-V Remote Code Execution Vulnerability" in vmswitch.sys.C
212
12
kdmp-parser
A Windows kernel dump C++ parser library with Python 3 bindings.C++
181
13
udmp-parser
A Cross-Platform C++ parser library for Windows user minidumps with Python 3 bindings.C++
172
14
blazefox
Blazefox exploits for Windows 10 RS5 64-bit.C++
147
15
symbolizer
A fast execution trace symbolizer for Windows.C++
130
16
zenith
Zenith exploits a memory corruption vulnerability in the NetUSB driver to get remote-code execution on the TP-Link Archer C7 V5 router for Pwn2Own Austin 2021.Python
123
17
sic
Enumerate user mode shared memory mappings on Windows.C
112
18
ollydbg2-python
Scripting OllyDBG2 using Python is now possible!C++
108
19
rp-bf.rs
rp-bf: A library to bruteforce ROP gadgets by emulating a Windows user-mode crash-dumpRust
108
20
snapshot
WinDbg extension written in Rust to dump the CPU / memory state of a running VMRust
91
21
paracosme
Paracosme is a zero-click remote memory corruption exploit that compromises ICONICS Genesis64 which was demonstrated successfully on stage during the Pwn2Own Miami 2022 competition.Python
84
22
fuzzing-ida75
Repository of the findings found by wtf when fuzzing IDA75.
83
23
CVE-2022-28281
PoC for CVE-2022-28281 a Mozilla Firefox Out of bounds write.HTML
74
24
pywinhv
Python bindings for the Microsoft Hypervisor Platform APIs.Python
66
25
CVE-2022-21974
PoC for CVE-2022-21974 "Roaming Security Rights Management Services Remote Code Execution Vulnerability"
Rich Text Format
60
26
lockmem
This utility allows you to lock every available memory regions of an arbitrary process into its working set.C++
58
27
CVE-2021-32537
PoC for CVE-2021-32537: an out-of-bounds memory access that leads to pool corruption in the Windows kernel.C++
58
28
pwn2own2023-miami
Writeups, PoCs of the bugs I found while preparing for the Pwn2Own Miami 2023 contest targeting UaGateway from the OPC UA Server category.C++
54
29
j0llyDmpr
j0llydmper is a windows service that allows you to dump furtively and automaticaly some contents of USB disks just plugged in your computer. In order to dump potentialy interesting files, you can use a rule on the file name or/and on the file size.C
41
30
udmp-parser-rs
A Rust crate for parsing Windows user minidumps.Rust
40
31
inject
Yet another Windows DLL injector.C++
33
32
KEPaboo
Neutralize KEPServerEX anti-debugging techniquesC++
28
33
longue-vue
Longue vue is an exploit chain that can compromise over the internet NETGEAR DGND3700v2 devices.JavaScript
24
34
kdmp-parser-rs
A KISS Rust crate to parse Windows kernel crash-dumps created by Windows & its debugger.Rust
24
35
TV-Show-Downloader
Maybe you're a guy a bit like me -- who watch a lot of series -- so I guess you already know that downloading the latest episodes of all your favorites TV Shows is absolutely PAINFUL. I mean it, really. Thus, TVShow Downloader is a set of basic scripts (crontab + python script + bash script) designed to simplify my whole existence on this earth: I haven't to think about downloading my serie anymore \o/.Python
22
36
teesee-calc
Visualize and compare total compensation (TC) packages over time.HTML
10
37
articles
Mirror of the different PDF articles I wrote
10
38
0vercl0k
5
39
gflags-rs
Utility that lets you interact with Microsoft Windows Global Flags and particularly PageHeap, made to learn RustRust
4
40
symbolizer-rs
A fast execution trace symbolizer for Windows that runs on all major platforms and doesn't depend on any Microsoft libraries.Rust
4
41
rp2s
3
42
result
Simple, tiny and readable implementation of a Rust like std::result type for C++.
1