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
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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 5 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
- Build docker container for @MaskRay's pcap-search☆10Aug 2, 2018Updated 7 years ago
- Make your IDA Lazy!☆1,423Jan 31, 2026Updated 2 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ELF parser library implemented in pure Ruby!☆46Updated this week
- 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 2 years ago
- ☆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)☆103Jan 13, 2023Updated 3 years ago
- public-pentesting-reports☆13Aug 23, 2016Updated 9 years ago
- MediaTek Fuzzing Workshop in HITCON 2021☆62Apr 28, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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☆51May 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
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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 7 months ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆23May 31, 2023Updated 2 years ago