Lured in by a typo that perhaps I could pedantically correct for internet points, got an excellent cryptography writeup instead, this is a good read.

Have to wonder how many bugs lay in static and dynamic analysers themselves, might be some low hanging yet wide-ranging fruit there.

Been playing around with Miri lately, it's a joy to use.

https://github.com/rust-lang/miri