If a process successfully changes the atime and/or mtime, this is a postcondition for the file. - [ ] intercept utimensat - [ ] SyscallEvent::ChangeTimestamp(s) - [ ] if it is successful, add this event to file events for the current execution - [ ] generate_postconditions() needs to handle this case - [ ] Fact::HasTimestamp() - [ ] to skip a program, if this is a postcondition, we need to check that the times are correct and if they are not, update them?
If a process successfully changes the atime and/or mtime, this is a postcondition for the file.
intercept utimensat
SyscallEvent::ChangeTimestamp(s)
if it is successful, add this event to file events for the current execution
generate_postconditions() needs to handle this case
Fact::HasTimestamp()
to skip a program, if this is a postcondition, we need to check that the times are correct and if they are not, update them?