-
Notifications
You must be signed in to change notification settings - Fork 465
Support fstat on non-file-backed FDs #4753
Copy link
Copy link
Open
Labels
A-filesArea: related to files, paths, sockets, file descriptors, or handlesArea: related to files, paths, sockets, file descriptors, or handlesA-shimsArea: This affects the external function shimsArea: This affects the external function shimsC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementE-good-first-issueA good way to start contributing, mentoring is availableA good way to start contributing, mentoring is available
Description
fstat is supposed to work on all FDs, but we currently only support it on file-backed FDs.
I am not sure what exactly it should do for other FDs; figuring that out would be the first step in working on this issue. So to work on this you should be willing to do some research and explain the results so that we can then together figure out how to best implement this in Miri. However, I don't expect this to be complicated from the Miri side, so prior experience with Miri is not required.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
A-filesArea: related to files, paths, sockets, file descriptors, or handlesArea: related to files, paths, sockets, file descriptors, or handlesA-shimsArea: This affects the external function shimsArea: This affects the external function shimsC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementE-good-first-issueA good way to start contributing, mentoring is availableA good way to start contributing, mentoring is available
Type
Fields
Give feedbackNo fields configured for issues without a type.