tudelft-cda-lab / FlexFringeLinks
The FlexFringe tool for flexible learning of state machines (deterministic automata) from traces. See the paper at https://arxiv.org/abs/2203.16331
☆20Updated last week
Alternatives and similar repositories for FlexFringe
Users that are interested in FlexFringe are comparing it to the libraries listed below
Sorting:
- An evolutionary, coverage-guided greybox network protocol fuzzer☆19Updated 3 years ago
- Open-source code for RFCNLP paper.☆58Updated 2 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆40Updated last year
- Using automata learning to mine models used for fuzzing of statefull systems☆24Updated 4 years ago
- ☆40Updated last year
- ☆19Updated 2 months ago
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆44Updated last year
- ☆8Updated 2 years ago
- 🪐 A Database of Existing Security Vulnerabilities Patches to Enable Evaluation of Techniques (single-commit; multi-language)☆40Updated last month
- ☆80Updated 2 months ago
- OpenAI Gym environment for binary fuzzing based on afl☆23Updated 6 years ago
- AutoVAS is an automated vulnerability analysis system with a deep learning approach.☆35Updated 3 years ago
- Protocol state machine learner and fuzzer for DTLS servers and clients☆37Updated last week
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆33Updated 4 months ago
- A fuzzing environment for RL, based on Gym and AFL.☆13Updated 4 years ago
- ☆29Updated 3 years ago
- Fuzz testing framework for binary programs using AI☆51Updated last year
- ☆10Updated 4 years ago
- MALOnt - an ontology for Malware Threat Intelligence.☆10Updated 3 years ago
- A comprehensive local Linux Privilege-Escalation Benchmark☆34Updated 2 weeks ago
- ☆44Updated 2 years ago
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆52Updated 6 years ago
- holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…☆20Updated 4 years ago
- Public BanditFuzz Repo☆12Updated 4 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- MTFuzz: Fuzzing with a Multi-Task Neural Network☆35Updated 4 years ago
- A Quick Research of Active Automata Learning☆30Updated 5 years ago
- ☆50Updated 4 years ago
- Polar : Function Code Aware Fuzz Testing of ICS Protocol☆33Updated 4 years ago
- An Automata Learning Library Written in Python☆182Updated 2 weeks ago