USC-NSL / sage
SAGE disambiguates protocol description in an IETF RFC document, then converts the disambiguated protocol description into executable protocol implementation.
☆16Updated 3 years ago
Alternatives and similar repositories for sage:
Users that are interested in sage are comparing it to the libraries listed below
- Open-source code for RFCNLP paper.☆56Updated 2 years ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆22Updated last year
- ☆93Updated last year
- ☆39Updated last year
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆56Updated 10 months ago
- Protocol state machine learner and fuzzer for DTLS servers and clients☆37Updated this week
- ☆28Updated last year
- Program Vulnerability Repair via Inductive Inference☆18Updated last year
- ☆24Updated 2 years ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆54Updated 3 months ago
- Policy-Guided Fuzzing for Robotic Vehicles☆32Updated last year
- Lifting network implementation to precise format specification☆24Updated 3 months ago
- ☆26Updated 4 months ago
- Two-Level Collaborative Fuzzing for Python Runtimes☆15Updated last year
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆53Updated 11 months ago
- The ISLa (Input Specification Language) language & solver.☆62Updated 8 months ago
- ☆32Updated 4 months ago
- NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces☆68Updated 7 months ago
- Greybox Fuzzing of Distributed Systems (CCS'23)☆46Updated last year
- ☆22Updated 4 months ago
- ☆10Updated 2 years ago
- ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing☆227Updated 6 months ago
- ☆37Updated 4 months ago
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆43Updated last year
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆48Updated 2 weeks ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- Search, check, and autofix your BibTex files!☆25Updated 10 months ago
- An NLP-based fuzzing assitance tool for generating valid option combinations.☆42Updated 11 months ago
- ☆50Updated 5 months ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆27Updated 6 months ago