NESA-Lab / MPInspectorLinks
Messaging protocol test tools
☆16Updated 3 years ago
Alternatives and similar repositories for MPInspector
Users that are interested in MPInspector are comparing it to the libraries listed below
Sorting:
- Policy-Guided Fuzzing for Robotic Vehicles☆34Updated last year
- An NLP-based fuzzing assitance tool for generating valid option combinations.☆47Updated last week
- A unified framework for AI-enhanced code analysis.☆9Updated last year
- ☆31Updated 2 months ago
- 20 benchmark programs☆47Updated 4 years ago
- FirmSec Dataset☆34Updated 2 years ago
- ☆18Updated 10 months ago
- ☆29Updated 9 months ago
- ☆12Updated 3 months ago
- Seminar 2022☆21Updated 3 months ago
- Lifting network implementation to precise format specification☆24Updated 2 months ago
- ☆68Updated last year
- ☆50Updated 4 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆95Updated last year
- 2019 and 2020 Top Conference Paper☆13Updated 4 years ago
- ICSE'22 - Havoc-MAB: Enhancing AFL havoc mutation with Two-layer Multi-Armed Bandit☆12Updated 2 years ago
- NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces☆70Updated 11 months ago
- ☆93Updated 2 years ago
- This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.☆97Updated 2 months ago
- ☆25Updated 2 years ago
- SLIME is a novel program-sensitive fuzzer that designs multiple property-aware queues and leverages a customized Upper Confidence Bound V…☆20Updated 2 years ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆55Updated 4 months ago
- This repo list the core literature in the field of fuzzing test, large language model, and LLM-based fuzzer. Most of papers are selected …☆54Updated last year
- ☆45Updated last year
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆94Updated last year
- The released code of FuzzGuard in USENIX Security 2020.☆30Updated 5 years ago
- This is a benchmark for evaluating the vulnerability discovery ability of automated approaches including Large Language Models (LLMs), de…☆68Updated 7 months ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆44Updated 5 years ago
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆16Updated 3 years ago
- Recent Fuzzing Paper☆15Updated 2 years ago