RFCAudit. Python
ParDiff. A Static Differential Analysis Tool of Network Protocol Parsers
ParCleanse. Python
PARVAL. Large language Models for Validating Network Protocol Parsers
LambdaMisuse. Jupyter Notebook
