2 ms·
The trophy cases in miri are about bugs in unsafe code. Yes, you can write UB with unsafe code. This should not be news. And miri is a blessing. There even is
by the8472 2y ago
The trophy cases in miri are about bugs in unsafe code. Yes, you can write UB with unsafe code. This should not be news.
And miri is a blessing. There even is a known case where someone found a bug in C by translating it to rust and then running it through miri.