ChrisMcMStone / state-inspectorLinks
Code from CCS paper: The Closer You Look, The More You Learn: A Grey-box Approach to Protocol State Machine Learning
☆12Updated 2 years ago
Alternatives and similar repositories for state-inspector
Users that are interested in state-inspector are comparing it to the libraries listed below
Sorting:
- ☆96Updated 2 months ago
- ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing☆253Updated last year
- An NLP-based fuzzing assitance tool for generating valid option combinations.☆50Updated 6 months ago
- StateAFL: A Greybox Fuzzer for Stateful Network Servers☆171Updated 2 years ago
- ☆12Updated last year
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆97Updated 2 years ago
- Policy-Guided Fuzzing for Robotic Vehicles☆40Updated 2 years ago
- 20 benchmark programs☆51Updated 4 years ago
- FirmSec Dataset☆43Updated 2 months ago
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆14Updated 3 years ago
- ☆52Updated 5 years ago
- ☆71Updated last year
- Large Language Model guided Protocol Fuzzing (NDSS'24)☆364Updated 5 months ago
- ☆28Updated 3 years ago
- ☆13Updated 9 months ago
- Generating API Parameter Security Rules with LLM for API Misuse Detection (Accepted by NDSS 2025)☆17Updated 9 months ago
- ☆93Updated 8 months ago
- ☆66Updated 2 years ago
- ☆11Updated last year
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆98Updated last month
- Protocol state machine learner and fuzzer for DTLS servers and clients☆40Updated 3 weeks ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆120Updated 2 years ago
- ☆34Updated 4 years ago
- ☆75Updated 3 years ago
- Firmrec is a recurring vulnerability detector for embedded firmware.☆48Updated 7 months ago
- ☆22Updated 3 years ago
- ☆30Updated 2 years ago
- Lifting network implementation to precise format specification☆23Updated 8 months ago
- a blackbox network fuzzer for IoT devices☆56Updated last year
- SLIME is a novel program-sensitive fuzzer that designs multiple property-aware queues and leverages a customized Upper Confidence Bound V…☆20Updated 2 years ago