PwnFunction / learn-z3Links
Some challenge solutions solved using z3
☆218Updated 2 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☆300Updated 2 years ago
- Security Research☆39Updated 2 years ago
- ☆45Updated last year
- CVE-2021-3156 - Sudo Baron Samedit☆221Updated 3 years ago
- The updated website for b01lers CTF!☆12Updated 2 weeks ago
- Models the mersenne twister used by Python Random as a symbolic program. This allows recovering the state given a few outputs☆82Updated 4 years ago
- SMT based attacks on non cryptographic PRNGs☆81Updated 2 years ago
- Predict MT19937 PRNG, from preceding 624 generated numbers. There is a specialization for the "random" of Python standard library.☆184Updated 4 years ago
- Jeopardy challenges for #ECSC2024 held in Turin, Italy from 8th to 11th October 2024☆37Updated 7 months ago
- Small example repo for looking into log4j CVE-2021-44228☆71Updated 3 years ago
- Supporting code and apps for demonstrating Android interprocess communication☆41Updated 10 months ago
- A tool to easily archive CTFd sites to GitHub Pages☆33Updated 3 months ago
- Hayden Housen's solutions to the 2021 PicoCTF Competition☆55Updated last year
- A python transpiler for rizzlers.☆58Updated 3 months ago
- Computing Fibonacci numbers efficiently, for real this time.☆76Updated last month
- visualizing CTF clusters (teams playing together at DEFCON)☆27Updated 2 years ago
- a CTF web challenge about making screenshots☆225Updated 3 years ago
- ☆72Updated 5 years ago
- ☆44Updated 2 years ago
- Get rickrolled, right in your favourite NSA reverse engineering tool☆77Updated 2 years ago
- Assembly needs a modern makeover! Aski is a compiled programming language allowing programming as low abstraction as Assembly but a synta…☆24Updated 4 years ago
- An nsjail Docker image for CTF pwnables. Easily create secure, isolated xinetd/inetd-style services.☆210Updated 10 months ago
- JVM in Python that can only run "Hello, World"☆161Updated last year
- An interpreter that can evaluate simple calculations to understand how computers process human-readable text☆59Updated last year
- Predict python's random module generated values.☆410Updated 6 months ago
- An archive of past challenges from LA CTF hosted by ACM Cyber at UCLA and Psi Beta Rho.☆137Updated 3 months ago
- Source code and documentation for TeamItaly CTF 2023 challenges☆20Updated last year
- Proof of concept for pwnkit vulnerability☆344Updated 2 years ago
- A GDB+GEF-style debugger for unloading Python pickles☆67Updated 5 months ago
- Source code for a video on computing Fibonacci numbers efficiently☆117Updated 6 months ago