Radically Open Security did a formal assessment of smoltcp, a TCP/IP stack that I wrote in Rust with #![deny(unsafe)] a few years back and many others contributed to since
they found only two issues, two DoS via crafted packets, both in the default build configuration
memory-safe TCP/IP stacks are so boring, i love them