Investigating Automatic Code Generation for Network Packet Parsing

Abstract

Use 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 e ectiveness 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.

A Survey on Automatic Code Generation Using Image Mock-Ups

“…The inter process authority proceed the graph, crucial visual of conventional fixed investigation, can be used as an analogue. Provide algorithms for the development and traversal of the WTG have resemblance significant fixed representation for Android.. McQuistin et al [25] presented It is possible to achieve this while keeping accuracy and performance by using apparatus it will be impulsively construct the prototype agreement interpret performance for the quality certificate which will describe it. We have demonstrated the ability to produce an attentive, right decipher execution it will process entering data in the cost of Gbit by second using a description of TCP in a style that is substantially similar to that in ordinary use.…”

Session Types for the Transport Layer: Towards an Implementation of TCP

“…The resulting RFCs are written primarily in English prose, allowing the documents to be used in the consensus-building process, but the natural language can be ambiguous and unclear and this can lead to inconsistent and non-conforming implementations. [22,23,28]. In this sense, ensuring the correctness of Internet protocols is vital.…”