| Sep | OCT | Nov |
| 03 | ||
| 2020 | 2021 | 2022 |
COLLECTED BY
Collection: github.com
|
This PR includes a number of functions in
There are a few more functions that could reveal information about the file system, by telling the last modification time of a file, e.g. |
|
The text was updated successfully, but these errors were encountered: |
Python: Add tests for `os.path`-functions
81adb7d
Python: Model `os.path`-functions
f2fbeed
getmtime. This will raise an error if the file does not exist, so could also reveal the existence of files depending on the applications error handling. These are currently not included.
Can we please model these as well? they fit the FileSystemAccess concept as far as I can tell.
Sorry, something went wrong.
Python: Model functions that will raise
02e91b3
on non-existing files.
| "getatime", "getmtime", "getctime", "getsize", | ||
| // this will resolve symlinks | ||
| "realpath" |
realpath with an extra taint-step instead.
Suggested change
| "getatime", "getmtime", "getctime", "getsize", | |
| // this will resolve symlinks | |
| "realpath" | |
| "getatime", "getmtime", "getctime", "getsize" |
Sorry, something went wrong.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to commentRequested changes must be addressed to merge this pull request.
No one assigned Labels Python No milestoneSuccessfully merging this pull request may close these issues.
None yet
2 participants Add this suggestion to a batch that can be applied as a single commit. This suggestion is invalid because no changes were made to the code. Suggestions cannot be applied while the pull request is closed. Suggestions cannot be applied while viewing a subset of changes. Only one suggestion per line can be applied in a batch. Add this suggestion to a batch that can be applied as a single commit. Applying suggestions on deleted lines is not supported. You must change the existing code in this line in order to create a valid suggestion. Outdated suggestions cannot be applied. This suggestion has been applied or marked resolved. Suggestions cannot be applied from pending reviews. Suggestions cannot be applied on multi-line comments. ●© 2021 GitHub, Inc. ●Terms ●Privacy ●Security ●Status ●Docs ●Contact GitHub ●Pricing ●API ●Training ●Blog ●About You can’t perform that action at this time. You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.