jderuiter / statelearner
A tool that can be used to learn state machines from implementations.
☆63Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for statelearner
- ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing☆230Updated 3 months ago
- ☆91Updated last year
- Protocol state machine learner and fuzzer for DTLS servers and clients☆35Updated last week
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆172Updated 6 months ago
- ☆188Updated 6 months ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆62Updated 3 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆224Updated 2 years ago
- StateAFL: A Greybox Fuzzer for Stateful Network Servers☆158Updated last year
- source code for savior fuzzer☆126Updated 4 years ago
- Seeding fuzzers with symbolic execution☆201Updated 7 years ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆289Updated 4 months ago
- ☆296Updated 3 years ago
- Produce code coverage results with gcov from afl-fuzz test cases☆68Updated 4 months ago
- This repository contains several examples of logic bomb.☆95Updated 10 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆51Updated 7 months ago
- FairFuzz: AFL extension targeting rare branches☆240Updated 5 years ago
- Pythia (extends AFL with Predictions)☆61Updated 3 years ago
- ☆46Updated 4 years ago
- Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program☆26Updated 6 years ago
- ☆126Updated 5 years ago
- ☆87Updated 3 years ago
- Differential fuzzing for the masses!☆149Updated 7 years ago
- A grammar-based custom mutator for AFL++☆234Updated 4 months ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆150Updated 2 years ago
- ☆51Updated 5 years ago
- a blackbox network fuzzer for IoT devices☆51Updated 2 months ago
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆75Updated 2 years ago
- ☆67Updated 4 years ago
- ☆50Updated 6 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆63Updated 2 years ago