PROGNOSISTool / main
Code and resources for model learning of network protocol implementations
☆18Updated last year
Alternatives and similar repositories for main:
Users that are interested in main are comparing it to the libraries listed below
- Open-source code for RFCNLP paper.☆56Updated 2 years ago
- Protocol state machine learner and fuzzer for DTLS servers and clients☆37Updated this week
- Lifting network implementation to precise format specification☆24Updated 3 months ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆22Updated last year
- A points-to and alias analysis benchmark suite☆40Updated 6 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 4 years ago
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆16Updated 3 years ago
- ☆39Updated last year
- The ISLa (Input Specification Language) language & solver.☆62Updated 8 months ago
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow☆58Updated 4 months ago
- configuration evolution dataset☆17Updated 4 years ago
- Program Vulnerability Repair via Inductive Inference☆18Updated last year
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆54Updated 3 months ago
- Testing Configuration Changes in Context to Prevent Production Failures☆30Updated last year
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆53Updated 11 months ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆57Updated last year
- A fuzzing framework for SMT solvers☆187Updated last year
- LLMDFA: Analyzing Dataflow in Code with Large Language Models☆86Updated 4 months ago
- ☆54Updated 2 years ago
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆14Updated 2 years ago
- ☆26Updated last year
- ☆14Updated 8 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
- Symbolic Program Slicing with LLVM☆79Updated 4 years ago
- Semantic program repair system for C programs☆98Updated 2 years ago
- PL/SE conference deadline countdowns☆19Updated 4 years ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆16Updated 9 months ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆75Updated 2 years ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆28Updated 4 years ago
- Mutation-guided mutation-based fuzz testing☆44Updated 7 months ago