Using automata learning to mine models used for fuzzing of statefull systems
☆24Apr 13, 2021Updated 5 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:
- ☆20Mar 29, 2025Updated last year
- ☆11Nov 30, 2020Updated 5 years ago
- Protocol state machine learner and fuzzer for DTLS servers and clients☆42Jul 13, 2026Updated last week
- An Automata Learning Library Written in Python☆239Updated this week
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆16Dec 20, 2018Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- DiAne is a smart fuzzer for IoT devices☆42Apr 3, 2024Updated 2 years ago
- Analysis and exploitation of an use-after-free in ProFTPd☆14Jun 21, 2023Updated 3 years ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆25Jul 7, 2022Updated 4 years ago
- ☆22Mar 3, 2022Updated 4 years ago
- FuzzCoAP - Fuzzing for Robustness and Security Testing of CoAP Servers☆12Jun 23, 2018Updated 8 years ago
- A tool that can be used to learn state machines from implementations.☆69Dec 14, 2025Updated 7 months ago
- Messaging protocol test tools☆16Dec 13, 2021Updated 4 years ago
- A free, open-source Java library for automata learning algorithms☆233Updated this week
- 基于angr的污点分析引擎☆41Apr 19, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆33Apr 7, 2022Updated 4 years ago
- 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☆20Jul 30, 2018Updated 7 years ago
- ☆27Mar 16, 2023Updated 3 years ago
- ☆28Jul 31, 2022Updated 3 years ago
- ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing☆263Aug 7, 2024Updated last year
- This project was conducted by the 10th KITRI BoB (Best of the Best), and recorded what we have done for vulnerability analysis of drones.☆12Dec 30, 2021Updated 4 years ago
- A list of curated papers focusing on Network Protocol Fuzzing.☆14Jul 5, 2022Updated 4 years ago
- A python framework for Optimal Planning Modulo Theories☆12Jan 26, 2024Updated 2 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.
- Fuzzing JavaScript WebAssembly APIs using Dharma/Domato (Chrome/v8, etc.)☆43Feb 8, 2022Updated 4 years ago
- Damn Vulenerable Kernel Module for kernel fuzzing☆68Oct 24, 2024Updated last year
- 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 11 years ago
- A testcase generation tool for Persistent Memory Programs.☆15Jul 19, 2021Updated 5 years ago
- Black-box extraction of Finite-State Machines from RNNs.☆22Apr 14, 2022Updated 4 years ago
- a blackbox network fuzzer for IoT devices☆57Sep 6, 2024Updated last year
- The fuzzing framework named SHADOWFUZZER to find clientside vulnerabilities when processing incoming MQTT messages.☆20May 10, 2023Updated 3 years ago
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆21Jul 5, 2026Updated 2 weeks ago
- A fuzzing framework targeted at MQTT brokers. Modeled as a finite state machine (using Markov Modeling).☆37Jul 11, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Code snippets for Binary Ninja's Python API☆35Jun 2, 2021Updated 5 years ago
- ☆20May 27, 2020Updated 6 years ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86) adapted to afl++☆45Nov 27, 2021Updated 4 years ago
- ☆12Jun 14, 2021Updated 5 years ago
- IKE fuzzer☆31May 29, 2015Updated 11 years ago
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆18Jun 21, 2025Updated last year
- Qemu Fuzzer.针对Qemu模拟设备的模糊测试工具,主要思路是Host生成种子Data,然后传递给Guest中转程序,由中转程序访问MMIO,以达到和模拟设备的交互,不同于qtest自带的fuzzer.☆47Dec 12, 2021Updated 4 years ago