upenn-acg/ProcessCache

Handle utimensat

Opened this issue · 0 comments

krs85 commented

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?