Nom, A Byte oriented, streaming, Zero copy, Parser Combinators Library in Rust

Couprie, Geoffroy

doi:10.1109/spw.2015.31

Cited by 9 publications

(6 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We have developed a prototype implementation that generates protocol parsers, written in Rust, using the nom library [33], from the Network Packet Representation, using Augmented Packet Header Diagrams as an input format.1 In this section, we will describe the output for our TCP example, and give snippets of the generated code to illustrate the benefits of the parser combinator approach, and the ways in which the architecture of the generated code improves safety and reliability.…”

Section: C Gmentioning

confidence: 99%

Investigating Automatic Code Generation for Network Packet Parsing

McQuistin

Band

Jacob

et al. 2021

2021 IFIP Networking Conference (IFIP Networking)

View full text Add to dashboard Cite

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.

show abstract

Section: C Gmentioning

confidence: 99%

Investigating Automatic Code Generation for Network Packet Parsing

McQuistin

Band

Jacob

et al. 2021

2021 IFIP Networking Conference (IFIP Networking)

View full text Add to dashboard Cite

show abstract

“…In practical terms, systems programming languages with an emphasis on memory safety and strict typing are particularly useful for testing the security of new protocols [5]. For this reason, our prototype generates Rust code, with parsers using the nom parser combinator library [6].…”

Section: Parser Generatorsmentioning

confidence: 99%

Parsing Protocol Standards to Parse Standard Protocols

McQuistin

Band

Jacob

et al. 2020

Proceedings of the Applied Networking Research Workshop

View full text Add to dashboard Cite

show abstract

“…They combine several existing parsers that are represented by functions into a single, new parser. Representatives are Hammer [2], a parsing library for binary formats written in C, attoparsec [25], a parser combinator library for Haskell, and nom [13], a parser combinator written in Rust that leverages Rust's strong type system and memory safety. Parser combinators may contain ambiguities in the grammar which are not reported at compile-time.…”

Section: Related Workmentioning

confidence: 99%

RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers

Reiher¹,

Senier²,

Castrillón

et al. 2020

Formal Aspects of Component Software

View full text Add to dashboard Cite

Various vulnerabilities have been found in message parsers of protocol implementations in the past. Even highly sensitive software components like TLS libraries are affected regularly. Resulting issues range from denial-of-service attacks to the extraction of sensitive information. The complexity of protocols and imprecise specifications in natural language are the core reasons for subtle bugs in implementations, which are hard to find. The lack of precise specifications impedes formal verification. In this paper, we propose a model and a corresponding domain-specific language to formally specify message formats of existing real-world binary protocols. A unique feature of the model is the capability to define invariants, which specify relations and dependencies between message fields. Furthermore, the model allows defining the relation of messages between different protocol layers and thus ensures correct interpretation of payload data. We present a technique to derive verifiable parsers based on the model, generate efficient code for their implementation, and automatically prove the absence of runtime errors. Examples of parser specifications for Ethernet and TLS demonstrate the applicability of our approach.

show abstract

Nom, A Byte oriented, streaming, Zero copy, Parser Combinators Library in Rust

Cited by 9 publications

References 0 publications

Investigating Automatic Code Generation for Network Packet Parsing

Investigating Automatic Code Generation for Network Packet Parsing

Parsing Protocol Standards to Parse Standard Protocols

RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers

Contact Info

Product

Resources

About