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.<p>Have to wonder how many bugs lay in static and dynamic analysers themselves, might be some low hanging yet wide-ranging fruit there.<p>Been playing around with Miri lately, it's a joy to use.<p><a href="https://github.com/rust-lang/miri" rel="nofollow">https://github.com/rust-lang/miri</a>