diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-11-27 09:08:59 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-11-27 09:08:59 +0100 |
| commit | 8257de047b6ceb09374e04e44eb9be489aff2d8a (patch) | |
| tree | 583eff849844f58f1cb0ef5a41af5d7148179dc6 /sys/linux/sys.txt | |
| parent | bbe60f6cb6ca28bbe9f6a54e264d01dcb8f5940e (diff) | |
sys/linux: open files from /proc
Diffstat (limited to 'sys/linux/sys.txt')
| -rw-r--r-- | sys/linux/sys.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/sys/linux/sys.txt b/sys/linux/sys.txt index dc1a48215..a1c83496e 100644 --- a/sys/linux/sys.txt +++ b/sys/linux/sys.txt @@ -429,6 +429,10 @@ getrandom(buf buffer[out], len len[buf], flags flags[getrandom_flags]) # Do only MEMBARRIER_CMD_SHARED membarrier(cmd const[1], flags const[0]) +syz_open_procfs(pid pid, file ptr[in, string[procfs_file]]) fd + +procfs_file = "auxv", "cmdline", "environ", "autogroup", "cgroup", "clear_refs", "comm", "coredump_filter", "cpuset", "gid_map", "io", "limits", "loginuid", "maps", "mountinfo", "mounts", "mountstats", "numa_maps", "oom_adj", "oom_score", "oom_score_adj", "pagemap", "personality", "projid_map", "sched", "schedstat", "sessionid", "setgroups", "smaps", "stack", "stat", "statm", "status", "syscall", "timers", "uid_map", "wchan", "map_files", "attr", "attr/current", "attr/exec", "attr/fscreate", "attr/keycreate", "attr/prev", "attr/sockcreate", "ns", "ns/cgroup", "ns/ipc", "ns/mnt", "ns/net", "ns/pid", "ns/user", "ns/uts", "children", "task", "fdinfo", "net" + # Uncomment on your own account. #syz_open_dev$char(dev const[0xc], major intptr, minor intptr) fd #syz_open_dev$block(dev const[0xb], major intptr, minor intptr) fd |