Add etherparse-defrag

README.md

@@ -6,7 +6,7 @@
 
 # etherparse
 
-A zero allocation library for parsing & writing a bunch of packet based protocols (EthernetII, IPv4, IPv6, UDP, TCP ...).
+A mostly zero allocation library for parsing & writing a bunch of packet based protocols (EthernetII, IPv4, IPv6, UDP, TCP ...).
 
 Currently supported are:
 * Ethernet II
@@ -32,7 +32,7 @@ Etherparse is intended to provide the basic network parsing functions that allow
 Some key points are:
 
 * It is completely written in Rust and thoroughly tested.
-* Special attention has been paid to not use allocations or syscalls.
+* Special attention has been paid to not use allocations or syscalls except in the "defragmentation" code.
 * The package is still in development and can & will still change.
 * The current focus of development is on the most popular protocols in the internet & transport layer.
 

etherparse/Cargo.toml

@@ -26,7 +26,7 @@ std = ["arrayvec/std"]
 arrayvec = { version = "0.7.2", default-features = false }
 
 [dev-dependencies]
-proptest = "1.0.0"
+proptest = "1.4.0"
 
 [package.metadata.docs.rs]
 all-features = true

etherparse/src/checksum.rs

@@ -901,6 +901,7 @@ pub mod u64_16bit_word {
 
         proptest! {
             #[test]
+            #[cfg_attr(miri, ignore)] // vec allocation reduces miri runspeed too much
             fn u32_u16_comparison(
                 data in proptest::collection::vec(any::<u8>(), 0..0xfffusize)
             ) {

etherparse/src/compositions_tests.rs

@@ -597,6 +597,7 @@ impl ComponentTest {
 proptest! {
     ///Test that all known packet compositions are parsed correctly.
     #[test]
+    #[cfg_attr(miri, ignore)] // vec allocation reduces miri runspeed too much
     fn test_compositions(ref eth in ethernet_2_unknown(),
                          ref vlan_outer in vlan_single_unknown(),
                          ref vlan_inner in vlan_single_unknown(),