WUFFS and the Linux kernel
WUFFS and the Linux kernel
Posted Aug 31, 2024 17:18 UTC (Sat) by farnz (subscriber, #17727)In reply to: WUFFS and the Linux kernel by sammythesnake
Parent article: Standards for use of unsafe Rust in the kernel
I did indeed mean 2**(2**44), since I have a 2 TiB exposed capacity drive (no idea how much raw capacity there is) - it's a huge number of possible states. And if I understated the number, that just makes it worse - the underlying issue that WUFFS and friends aim to help you with is reducing the number of input states from "all possible bit patterns" to "valid bit patterns", by forcing you to provide functions from "possible bit pattern" to "valid bit pattern or error state".