rusticata / pcap-parser

PCAP/PCAPNG file format parser written in pure Rust. Fast, zero-copy, safe.
Other
104 stars 24 forks source link

Replace Circular and Add Miri tests #37

Closed Posnet closed 5 months ago

Posnet commented 5 months ago

Oval is a nicer, maintained fork of Circular, that removes the unsafe and unsound code (it replaces them with stdlib features that didn't exist at the time of Circular's writing such as copy_within, so it should generate the same code). Replacing Ciruclar with Oval means we can now add Miri tests to check for undefined/unsound behavior in unsafe rust (even though there isn't in this crate).