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:
- FirmSec Dataset☆39Updated 2 years ago
- NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces☆72Updated last year
- ☆25Updated 3 years ago
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆14Updated 2 years ago
- Unit test firmware evaluated in P2IM paper☆10Updated 4 years ago
- Recent Paper About Bug Detection☆31Updated 5 years ago
- Empc: Effective Path Prioritization for Symbolic Execution with Path Cover☆29Updated 3 months ago
- 2019 and 2020 Top Conference Paper☆13Updated 4 years ago
- This is the source code for AIM paper (accepted to IEEE Transactions on Dependable and Secure Computing in 2023)☆31Updated last year