Open cyphar opened 17 hours ago
Ah, it seems openat
and openat2
are also missing. I guess that means I can't do Miri tests for https://github.com/openSUSE/libpathrs since openat
and openat2
are used everywhere throughout it (since it's a filesystem-related library)...
Yeah, those are all waiting for https://github.com/rust-lang/rust/issues/120426 so that we can implement them on top of standard library APIs.
Funnily enough, the library I was trying to verify with miri
is a crate for sandboxing path operations (of the kind mentioned in that issue). 😅
I'll keep an eye out for this. Thanks!
Ah, in that case maybe even DirFd
won't be enough...
libc::renameat2
is a fairly commonly used function on Linux (especially since it is the only way of doing atomic file swaps on Linux withRENAME_EXCHANGE
) that Miri does not yet support: