C++ wrapper around KLEE and AFL for intelligent, coverage guided fuzzing. Developed while doing research at MWR Infosecurity
☆18Aug 1, 2018Updated 7 years ago
Alternatives and similar repositories for Kleenex
Users that are interested in Kleenex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Linear IL view for Binary Ninja☆13Feb 28, 2017Updated 9 years ago
- The collection of programs for evaluating fuzzing techniques☆21Nov 27, 2017Updated 8 years ago
- a grammar-based data generator☆61Jan 10, 2019Updated 7 years ago
- Dependency lockfiles for reproducible build environments 📦🔒☆48Updated this week
- Regular expression Search on the command-line☆16Mar 31, 2025Updated 11 months 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.
- Improving side channel analysis techniques for CTF problems.☆12Oct 25, 2020Updated 5 years ago
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆16Jan 9, 2022Updated 4 years ago
- A Clang/LLVM add-on to enforce coding rules☆33Nov 15, 2013Updated 12 years ago
- LLVM pass that obfuscates against symbolic execution☆76Jul 29, 2018Updated 7 years ago
- The autoexpect of pwntools☆18Feb 10, 2019Updated 7 years ago
- Visually analyze basic block code coverage in Binary Ninja using Pin output.☆11Oct 6, 2017Updated 8 years ago
- Generate MAEC XML from Ero Carrera's pefile output☆15Mar 6, 2017Updated 9 years ago
- An patch porting qwingraph (wingraph written in qt4) to qt5.☆10Aug 21, 2019Updated 6 years ago
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆31Apr 7, 2019Updated 6 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.
- Playground for testing feedback☆16Aug 12, 2020Updated 5 years ago
- ProXBBE (Protocol eXtraction By Binary Execution)☆31Sep 21, 2017Updated 8 years ago
- Proof of Concept's provided by Source Incite☆37Aug 10, 2017Updated 8 years ago
- A python library for building and using hash databases.☆22Mar 3, 2026Updated 3 weeks ago
- Repository to store the Threat Reports made by the McAfee Enterprise ATR Team☆10Oct 11, 2018Updated 7 years ago
- Remove notches from iPhone X☆22May 25, 2018Updated 7 years ago
- Topguw implements Gr-gsm tools in Java and makes possible to uses to gsm data☆15Mar 31, 2018Updated 7 years ago
- Maltrace is a simple syscall tracer for Windows implemented through the use of PIN.☆24Apr 10, 2013Updated 12 years ago
- My AddressSanitizer implementation in C☆29Jan 29, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- libfuzzerfication - fuzzing for the rest of us!☆61Jan 9, 2017Updated 9 years ago
- Obtain remote process cookies by performing a brute-force attack on ntdll.RtlDecodePointer using known pointer encodings.☆23May 31, 2017Updated 8 years ago
- ☆10Jul 30, 2018Updated 7 years ago
- Educational tools for Binary Ninja☆20Jul 18, 2018Updated 7 years ago
- OLE Package Format Documentation☆23Jun 13, 2020Updated 5 years ago
- Automated library compilation and PDB annotation with CMake and IDA Pro☆22Sep 20, 2018Updated 7 years ago
- realtime cross-tool collaborative reverse engineering☆102Nov 30, 2022Updated 3 years ago
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 2 years ago
- Automatic function exporting and linking for fuzzing cross-architecture binaries.☆51Sep 9, 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.
- LLVM Compiler Infrastructure docset for dash.☆14Jan 13, 2020Updated 6 years ago
- Template repo for Conjur repositories☆17Nov 3, 2025Updated 4 months ago
- GDB plug-in based on PWNDBG, GEF and PEDA that makes debugging MIPS with GDB suck less☆16Sep 18, 2024Updated last year
- A symbolic execution engine for LLVM IR☆52Apr 25, 2022Updated 3 years ago
- Just basic scanner abusing CVE-2020-3452 to enumerate the standard files accessible in the Web Directory of the CISCO ASA applicances.☆24Oct 10, 2020Updated 5 years ago
- 这是提供给.Net使用的window hook和api hook托管和非托管混合项目☆12May 13, 2016Updated 9 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆30Jun 27, 2018Updated 7 years ago