Using automata learning to mine models used for fuzzing of statefull systems
☆24Apr 13, 2021Updated 4 years ago
Alternatives and similar repositories for Learning-Based-Fuzzing
Users that are interested in Learning-Based-Fuzzing are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆19Mar 29, 2025Updated last year
- ☆11Nov 30, 2020Updated 5 years ago
- Protocol state machine learner and fuzzer for DTLS servers and clients☆42Updated this week
- An Automata Learning Library Written in Python☆215Feb 9, 2026Updated 2 months ago
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆16Dec 20, 2018Updated 7 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.
- DiAne is a smart fuzzer for IoT devices☆42Apr 3, 2024Updated 2 years ago
- FuzzCoAP - Fuzzing for Robustness and Security Testing of CoAP Servers☆12Jun 23, 2018Updated 7 years ago
- Analysis and exploitation of an use-after-free in ProFTPd☆12Jun 21, 2023Updated 2 years ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆25Jul 7, 2022Updated 3 years ago
- ☆22Mar 3, 2022Updated 4 years ago
- A tool that can be used to learn state machines from implementations.☆68Dec 14, 2025Updated 3 months ago
- Messaging protocol test tools☆16Dec 13, 2021Updated 4 years ago
- A free, open-source Java library for automata learning algorithms☆223Feb 16, 2026Updated last month
- ☆34Apr 7, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 基于angr的污点分析引擎☆41Apr 19, 2019Updated 6 years ago
- ☆27Mar 16, 2023Updated 3 years ago
- ☆28Jul 31, 2022Updated 3 years ago
- ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing☆258Aug 7, 2024Updated last year
- A tool to infer the security handshake state machine of a given WiFi router. Useful for vulnerability analysis☆16Oct 19, 2022Updated 3 years ago
- Code from MSc thesis on combining learning and fuzzing☆19Jul 30, 2018Updated 7 years ago
- A list of curated papers focusing on Network Protocol Fuzzing.☆14Jul 5, 2022Updated 3 years ago
- This project was conducted by the 10th KITRI BoB (Best of the Best), and recorded what we have done for vulnerability analysis of drones.☆11Dec 30, 2021Updated 4 years ago
- Fuzzing JavaScript WebAssembly APIs using Dharma/Domato (Chrome/v8, etc.)☆43Feb 8, 2022Updated 4 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.
- A python framework for Optimal Planning Modulo Theories☆12Jan 26, 2024Updated 2 years ago
- Damn Vulenerable Kernel Module for kernel fuzzing☆69Oct 24, 2024Updated last year
- A testcase generation tool for Persistent Memory Programs.☆15Jul 19, 2021Updated 4 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- a blackbox network fuzzer for IoT devices☆57Sep 6, 2024Updated last year
- Black-box extraction of Finite-State Machines from RNNs.☆22Apr 14, 2022Updated 3 years ago
- The fuzzing framework named SHADOWFUZZER to find clientside vulnerabilities when processing incoming MQTT messages.☆20May 10, 2023Updated 2 years ago
- PatchFuzz: Fuzzing for JavaScript Engine Incomplete Security Patches☆20Dec 17, 2025Updated 3 months ago
- A fuzzing framework targeted at MQTT brokers. Modeled as a finite state machine (using Markov Modeling).☆38Jul 11, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Code snippets for Binary Ninja's Python API☆35Jun 2, 2021Updated 4 years ago
- ☆20May 27, 2020Updated 5 years ago
- ☆12Jun 14, 2021Updated 4 years ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86) adapted to afl++☆45Nov 27, 2021Updated 4 years ago
- IKE fuzzer☆29May 29, 2015Updated 10 years ago
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆18Jun 21, 2025Updated 9 months ago
- Qemu Fuzzer.针对Qemu模拟设备的模糊测试工具,主要思路是Host生成种子Data,然后传递给Guest中转程序,由中转程序访问MMIO,以达到和模拟设备的交互,不同于qtest自带的fuzzer.☆46Dec 12, 2021Updated 4 years ago