PwnFunction / learn-z3Links
Some challenge solutions solved using z3
☆233Updated 3 years ago
Alternatives and similar repositories for learn-z3
Users that are interested in learn-z3 are comparing it to the libraries listed below
Sorting:
- Using z3 to predict `Math.random` in v8☆341Updated 3 years ago
- Proof of concept for pwnkit vulnerability☆345Updated 3 years ago
- Security Research☆39Updated 3 years ago
- CVE-2021-3156 - Sudo Baron Samedit☆225Updated 3 years ago
- A tool to easily archive CTFd sites to GitHub Pages☆45Updated this week
- the rounding error tool 🚩☆14Updated 8 months ago
- visualizing CTF clusters (teams playing together at DEFCON)☆28Updated 2 years ago
- redpwn's CTF platform☆274Updated last year
- a CTF web challenge about making screenshots☆224Updated 4 years ago
- ☆46Updated 2 years ago
- Implementation of the Folders📂 esoteric programming language, a language with no code and just folders.☆449Updated 4 years ago
- Runs exploits, fast.☆112Updated 3 months ago
- The updated website for b01lers CTF!☆13Updated 2 months ago
- Generate prime numbers from pictures!☆340Updated 3 years ago
- How to exploit a double free vulnerability in 2021. Use After Free for Dummies☆1,380Updated last year
- Get rickrolled, right in your favourite NSA reverse engineering tool☆75Updated 2 years ago
- Complicated math expression generator☆102Updated 3 weeks ago
- Small example repo for looking into log4j CVE-2021-44228☆72Updated 4 years ago
- ☆68Updated 2 years ago
- Jeopardy challenges for #ECSC2024 held in Turin, Italy from 8th to 11th October 2024☆41Updated last year
- Predict python's random module generated values.☆432Updated last year
- ☆79Updated 5 years ago
- An nsjail Docker image for CTF pwnables. Easily create secure, isolated xinetd/inetd-style services.☆250Updated last year
- Project HashClash - MD5 & SHA-1 cryptanalysis☆910Updated 9 months ago
- ctfcli is a tool to manage Capture The Flag events and challenges☆201Updated last month
- Platform for LA CTF. Forked from redpwn/rctf.☆11Updated last week
- Models the mersenne twister used by Python Random as a symbolic program. This allows recovering the state given a few outputs☆100Updated 4 years ago
- A toy Feistel network implementation☆122Updated 5 years ago
- aNOther CTF platform☆29Updated 2 weeks ago
- ImaginaryCTF is a platform that brings the beauty of CTF Competitions to discord, releasing a challenge every day☆43Updated 8 months ago