4 ms·
Fuzzing + miri sounds like it will be incredibly slow. Probably slower than just using asan. The good thing about UB in rust is it's easy to target - you don't
by staticassertion 8y ago
Fuzzing + miri sounds like it will be incredibly slow. Probably slower than just using asan.
The good thing about UB in rust is it's easy to target - you don't need to explore the whole space, just module boundaries that encapsulate that space. So something more fine grained should be fine with miri, and fuzzing can capture more complex errors like panics.
- shepmaster 8y agoYes, that's what I mean about using proptest (if you are unfamiliar, it's akin to QuickCheck). You'd write the proptest functions for your dedicated unsafe section. As an example, I use this with Jetscii [1] in an attempt to throughly test SIMD vs non-SIMD code. If Miri detected errors with SIMD (I don't think it does now), then I could run those tests inside of Miri, having them pull double duty. [1]: https://github.com/shepmaster/jetscii/ https://github.com/shepmaster/jetscii/
- staticassertion 8y agoOh, yes, agreed that proptest is way more viable here and probably a good solution to pair with miri.