Visible to the public Investigating Automatic Code Generation for Network Packet Parsing

TitleInvestigating Automatic Code Generation for Network Packet Parsing
Publication TypeConference Paper
Year of Publication2021
AuthorsMcQuistin, Stephen, Band, Vivian, Jacob, Dejice, Perkins, Colin
Conference Name2021 IFIP Networking Conference (IFIP Networking)
KeywordsBuildings, Computer bugs, Human Behavior, human factors, Internet, Metrics, Policy Based Governance, Protocols, pubcrawl, resilience, Resiliency, Safe Coding, security, Solids, Syntactics
AbstractUse of formal protocol description techniques and code generation can reduce bugs in network packet parsing code. However, such techniques are themselves complex, and don't see wide adoption in the protocol standards development community, where the focus is on consensus building and human-readable specifications. We explore the utility and effectiveness of new techniques for describing protocol data, specifically designed to integrate with the standards development process, and discuss how they can be used to generate code that is safer and more trustworthy, while maintaining correctness and performance.
DOI10.23919/IFIPNetworking52078.2021.9472829
Citation Keymcquistin_investigating_2021