L4ys/LazyKLEE external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

L4ys/LazyKLEE

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/L4ys/LazyKLEE)

Close

L4ys / LazyKLEEView on GitHubMore

• External links
• Readme badge

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

• csienslab / icLibFuzzer

  View on GitHub
  ☆12Feb 20, 2021Updated 5 years ago
• sasdf / firstblood

  View on GitHub
  Write exploit faster with up-to-date python 3
  ☆37Dec 2, 2018Updated 7 years ago
• zodf0055980 / QilingLab_Writeup

  View on GitHub
  QilingLab challenge writeup
  ☆22Sep 25, 2021Updated 4 years ago
• HexRabbit / CVE-writeup

  View on GitHub
  ☆26Dec 17, 2021Updated 4 years ago
• setsal / LN-fuzz

  View on GitHub
  LN-fuzz: State Sequence Network Protocol Fuzzer
  ☆11Jun 16, 2021Updated 4 years ago
• blukat29 / docker-cross

  View on GitHub
  Cross debugger suite
  ☆20Jul 9, 2021Updated 4 years ago
• zodf0055980 / k-means-AFL

  View on GitHub
  Use k-means improve seed selection.
  ☆13Apr 7, 2021Updated 4 years ago
• AI-Labs-Taiwan / Social-Distancing-Android.bak

  View on GitHub
  Android 版台灣社交距離原始碼
  ☆17Jul 8, 2021Updated 4 years ago
• jwang-a / CTF

  View on GitHub
  ☆72Feb 1, 2024Updated 2 years ago
• SQLab / CRAX-lab

  View on GitHub
  AIS3 CRAX lab demo
  ☆34Apr 26, 2017Updated 8 years ago
• spigwitmer / golang_loader_assist

  View on GitHub
  Making GO reversing easier in IDA Pro
  ☆17Aug 8, 2019Updated 6 years ago
• SQLab / CRAXplusplus

  View on GitHub
  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
• david942j / rbelftools

  View on GitHub
  ELF parser library implemented in pure Ruby!
  ☆45Nov 1, 2025Updated 4 months ago
• cebrusfs / 217gdb

  View on GitHub
  Modified from pwndbg. Enhance the UI part for better usage.
  ☆26Jun 14, 2019Updated 6 years ago
• maojui / writeups

  View on GitHub
  My CTF Writeup
  ☆16Nov 4, 2023Updated 2 years ago
• L4ys / LazyIDA

  View on GitHub
  Make your IDA Lazy!
  ☆1,395Jan 31, 2026Updated last month
• nmueas / ida-dark-plus

  View on GitHub
  Dark+ Theme
  ☆50May 17, 2024Updated last year
• 5teven1in / Reverse-CTF-writeups

  View on GitHub
  Reverse CTF writeups including challenges and solutions
  ☆16Jun 27, 2021Updated 4 years ago
• how2hack / my-ctf-challenges

  View on GitHub
  ☆30Sep 6, 2022Updated 3 years ago
• pwning / defcon25-public

  View on GitHub
  Publicly released tools/plugins from PPP for DEFCON 25 CTF Finals
  ☆144Oct 28, 2018Updated 7 years ago
• yuawn / AIS3-2019-pre-exam

  View on GitHub
  My pwn challeges for AIS3 2019 Pre-exam.
  ☆34Jun 19, 2019Updated 6 years ago
• JackGrence / FuzzInspector

  View on GitHub
  ☆19Jul 9, 2021Updated 4 years ago
• hgarrereyn / nfuncs-agent

  View on GitHub
  Proof of concept agentic solver for nfuncs from DEF CON Quals 2025
  ☆23Apr 18, 2025Updated 10 months ago
• Changochen / CTF

  View on GitHub
  CTF games I played.
  ☆23Dec 7, 2022Updated 3 years ago
• DEVCORE-Wargame / HITCON-2023

  View on GitHub
  HITCON 2023 x DEVCORE Wargame
  ☆22Aug 24, 2023Updated 2 years ago
• hugsy / ropgadget-rs

  View on GitHub
  Another (bad) ROP gadget finder, but this time in Rust
  ☆22Apr 9, 2024Updated last year
• yuawn / MediaTek-Fuzzing-Workshop

  View on GitHub
  MediaTek Fuzzing Workshop in HITCON 2021
  ☆63Apr 28, 2022Updated 3 years ago
• scwuaptx / AIS3-2017

  View on GitHub
  AIS3 2017 Binary Exploitation
  ☆38Sep 3, 2017Updated 8 years ago
• qazbnm456 / ctf-course

  View on GitHub
  ☆55Jul 13, 2015Updated 10 years ago
• haoxintu / FastKLEE

  View on GitHub
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆23May 31, 2023Updated 2 years ago
• niklasb / dump-seccomp

  View on GitHub
  GDB plugin to dump SECCOMP rules set via prctnl(PR_SET_SECCOMP, SECCOMP_MODE_FILTER)
  ☆22Mar 13, 2016Updated 9 years ago
• tensxu / pcap-search-docker

  View on GitHub
  Build docker container for @MaskRay's pcap-search
  ☆10Aug 2, 2018Updated 7 years ago
• Hypersonic / CyberTronix64k

  View on GitHub
  Architecture problem -- CSAW Finals 2016 -- @Hypersonic and @ubsan
  ☆10Mar 4, 2017Updated 9 years ago
• xen0bit / handcraftedwasm

  View on GitHub
  Farm-to-table, organic, handcrafted, delicious Webassembly
  ☆14Dec 7, 2021Updated 4 years ago
• TommyWu-fdgkhdkgh / SQ-Fuzz

  View on GitHub
  ☆11Apr 27, 2020Updated 5 years ago
• 123ojp / 107SecureCodingTA

  View on GitHub
  107逢甲-安全程式設計-教材與CTF題目
  ☆12Nov 2, 2019Updated 6 years ago
• tl455047 / DTaint

  View on GitHub
  Dtaint: taint analysis based on DFSan and llvm instrumentation
  ☆28Dec 28, 2021Updated 4 years ago
• iasthc / NYCU-Software-Testing-2021

  View on GitHub
  ☆24May 26, 2021Updated 4 years ago
• splitline / Pickora

  View on GitHub
  A toy compiler that can convert Python scripts 🐍 to pickle bytecode 🥒
  ☆140Feb 20, 2023Updated 3 years ago