Lazy python wrapper of KLEE for solving CTF challenges
☆64Oct 31, 2020Updated 5 years ago
Alternatives and similar repositories for LazyKLEE
Users that are interested in LazyKLEE are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Feb 20, 2021Updated 5 years ago
- Cross debugger suite☆20Jul 9, 2021Updated 4 years ago
- ☆26Dec 17, 2021Updated 4 years ago
- Write exploit faster with up-to-date python 3☆37Dec 2, 2018Updated 7 years ago
- QilingLab challenge writeup☆22Sep 25, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Modified from pwndbg. Enhance the UI part for better usage.☆26Jun 14, 2019Updated 6 years ago
- AIS3 CRAX lab demo☆34Apr 26, 2017Updated 8 years ago
- Use k-means improve seed selection.☆13Apr 7, 2021Updated 4 years ago
- Android 版台灣社交距離原始碼☆17Jul 8, 2021Updated 4 years ago
- CTF games I played.☆23Dec 7, 2022Updated 3 years ago
- My CTF Writeup☆16Nov 4, 2023Updated 2 years ago
- LN-fuzz: State Sequence Network Protocol Fuzzer☆11Jun 16, 2021Updated 4 years ago
- Make your IDA Lazy!☆1,414Jan 31, 2026Updated last month
- Build docker container for @MaskRay's pcap-search☆10Aug 2, 2018Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ELF parser library implemented in pure Ruby!☆46Nov 1, 2025Updated 4 months ago
- Publicly released tools/plugins from PPP for DEFCON 25 CTF Finals☆144Oct 28, 2018Updated 7 years ago
- Another (bad) ROP gadget finder, but this time in Rust☆22Apr 9, 2024Updated last year
- ☆30Sep 6, 2022Updated 3 years ago
- ☆72Feb 1, 2024Updated 2 years ago
- GDB plugin to dump SECCOMP rules set via prctnl(PR_SET_SECCOMP, SECCOMP_MODE_FILTER)☆22Mar 13, 2016Updated 10 years ago
- The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)☆102Jan 13, 2023Updated 3 years ago
- public-pentesting-reports☆12Aug 23, 2016Updated 9 years ago
- MediaTek Fuzzing Workshop in HITCON 2021☆63Apr 28, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Idapro cpu for OpenRISC arch☆15Mar 25, 2017Updated 9 years ago
- ☆19Jul 9, 2021Updated 4 years ago
- Python module to help in exploitation of the FILE structure in C☆27Dec 2, 2018Updated 7 years ago
- Dark+ Theme☆50May 17, 2024Updated last year
- Making GO reversing easier in IDA Pro☆17Aug 8, 2019Updated 6 years ago
- Some of my CTF solutions☆80May 13, 2019Updated 6 years ago
- Reverse CTF writeups including challenges and solutions☆16Jun 27, 2021Updated 4 years ago
- CVE-2019-0708 Exploit Tool☆18Jul 18, 2019Updated 6 years ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆28Dec 28, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- checksec tool for win10☆25Aug 21, 2017Updated 8 years ago
- ☆13Mar 5, 2019Updated 7 years ago
- ☆11Apr 27, 2020Updated 5 years ago
- My pwn challeges for AIS3 2019 Pre-exam.☆34Jun 19, 2019Updated 6 years ago
- Proof of concept agentic solver for nfuncs from DEF CON Quals 2025☆23Apr 18, 2025Updated 11 months ago
- Some CTF write up☆256Aug 29, 2025Updated 6 months ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆23May 31, 2023Updated 2 years ago