USC-NSL / sage
SAGE disambiguates protocol description in an IETF RFC document, then converts the disambiguated protocol description into executable protocol implementation.
☆14Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for sage
- Open-source code for RFCNLP paper.☆52Updated 2 years ago
- Protocol state machine learner and fuzzer for DTLS servers and clients☆36Updated this week
- A Static Differential Analysis Tool of Network Protocol Parsers☆19Updated 9 months ago
- ☆39Updated last year
- Policy-Guided Fuzzing for Robotic Vehicles☆33Updated last year
- ☆91Updated last year
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆54Updated 7 months ago
- This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard:…☆23Updated 2 years ago
- Lifting network implementation to precise format specification☆22Updated last week
- ☆26Updated last year
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆27Updated last year
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆43Updated last month
- ☆26Updated 3 weeks ago
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆26Updated 3 years ago
- User Guided API Misuse Detection☆27Updated last year
- ☆23Updated 2 months ago
- Program Vulnerability Repair via Inductive Inference☆18Updated 11 months ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆29Updated 2 years ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆46Updated 6 months ago
- ☆10Updated 2 years ago
- NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces☆59Updated 3 months ago
- A use-after-free checker based on SVF.☆20Updated 6 years ago
- Pre-built bitcode files for the Linux kernel☆22Updated 5 years ago
- Search, check, and autofix your BibTex files!☆25Updated 7 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆52Updated 7 months ago
- Recent Paper About Bug Detection☆30Updated 5 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆56Updated 11 months ago
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow☆12Updated last month
- ☆50Updated 3 years ago
- The ISLa (Input Specification Language) language & solver.☆62Updated 4 months ago