What's "new" in Miri (and also, there's a Miri paper!)
46 points by fanf
46 points by fanf
The FFI support is such a big deal and it is presented almost like an afterthought! I didn't even know people were working on it.
"some truly cursed magic to let Miri trace quite precisely which memory the native code accesses" how do this work I want to know.
Looks like https://github.com/rust-lang/miri/pull/4326 which uses ptrace, but I still need to figure out how that helps.
It seems to disable access to the memory mappings in the target process, so every time it accesses memory miri monitors it causes a trap, which the ptracing process catches and then handles (parsing the instruction currently being run for the parameters, unprotecting the relevant bit of memory, stepping the target process for one instruction and then reprotecting)
This thing feels so useful to me, finally no more unaligned writes because i fucked my growable bump allocator mmap usage up.