fix: missing sync in i/o syscalls list

Signed-off-by: Julien Desfossez <jdesfossez@efficios.com>

diff --git a/linuxautomaton/linuxautomaton/sv.py b/linuxautomaton/linuxautomaton/sv.py
index 794014e3c42b2438385c6fe582c54ddf307a033b..7a12792ec39008e74bb9c5f40cb94509425bd87e 100644 (file)
--- a/linuxautomaton/linuxautomaton/sv.py
+++ b/linuxautomaton/linuxautomaton/sv.py
@@ -350,7 +350,7 @@ class SyscallConsts():
                       "sys_writev", "syscall_entry_writev"]
     # All I/O related syscalls
     IO_SYSCALLS = OPEN_SYSCALLS + CLOSE_SYSCALLS + READ_SYSCALLS + \
-        WRITE_SYSCALLS
+        WRITE_SYSCALLS + SYNC_SYSCALLS
     # generic names assigned to special FDs, don't try to match these in the
     # closed_fds dict
     GENERIC_NAMES = ["unknown", "socket"]