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
- Protocol state machine learner and fuzzer for DTLS servers and clients☆36Updated this week
- ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing☆230Updated 3 months ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 7 years ago
- StateAFL: A Greybox Fuzzer for Stateful Network Servers☆158Updated last year
- FairFuzz: AFL extension targeting rare branches☆241Updated 5 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆172Updated 7 months ago
- ☆91Updated last year
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆151Updated 2 years ago
- ☆47Updated 4 years ago
- Clang static checker that carries out tainting analysis.☆87Updated 6 years ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆290Updated 4 months ago
- ☆296Updated 3 years ago
- ☆188Updated 6 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆52Updated 7 months ago
- source code for savior fuzzer☆126Updated 4 years ago
- Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.☆128Updated 2 years ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆33Updated last year
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆114Updated last year
- ☆88Updated 3 years ago
- ☆38Updated 2 years ago
- ☆64Updated 4 years ago
- ☆248Updated 4 years ago
- KLEE / CSE Project☆43Updated 4 years ago
- ☆50Updated 6 years 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
- ☆70Updated 2 years ago
- Seeding fuzzers with symbolic execution☆201Updated 7 years ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆21Updated 7 months ago
- ☆49Updated 8 months ago