cgettys-microsoft

I'm also interested in this and might be willing to take a crack at adding support. @RalfJung, maybe you could clarify what the main challenge to doing this? I'm not...

I wouldn't personally call myself a Windows API expert, but I definitely know folks who have expertise. But no promises as is often the case RE time :(. Even the...

Ah, yeah, good point. Nor is std::process something I personally need. Yeah, if it's mostly sync I/O without the fancy stuff (APC or IOCP or similar), maybe it's not too...

Pretty sure this duplicates #743. There are a lot of syscalls, and a lot of platforms. E.g. Linux alone has something like 500: [a list](https://www.man7.org/linux/man-pages/man2/syscalls.2.html). And a lot of sys...

Yeah, I'm not sure these can be done portably either. Not sure what the Miri stance is on non-portable syscalls - to me, that seems like a second dimension beyond...

> /cc'ing @howardjohn @cgettys-microsoft - mostly as an FYI of what's in the pipeline, as I see work & time invested in things that I expect to go away or...

I think this is relatively doable nowadays, as a far bit of infrastructure in this area has stabilized: [Instrumentation-based Code Coverage](https://doc.rust-lang.org/rustc/instrument-coverage.html#instrumentation-based-code-coverage) The LLVM coverage data in particular is pretty nice....

@sivadeilra - here's one of the PRs related to adding Miri support for Windows FS APIs, RE: https://github.com/rust-lang/miri/issues/3482

When would this be helpful? Just seeking to understand, given the lack of PR description (not my project, not my call what to merge).

Do you have a full, self-contained repro of this? What rustc version? And so on I tried to repro it like this, but without luck: ```rust #[derive(Debug, Clone, PartialEq, thiserror::Error,...