diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-12-30 11:30:18 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-12-30 12:19:52 +0100 |
| commit | 6e86ffb020feeeff10efcf88522b0f048456cdb7 (patch) | |
| tree | a84ad35ecc4bd2e1d112b01b10969831a755cf81 /sys/linux/sys.txt | |
| parent | 4ebd1f1e835dc6ee7a5bf44561eb68af9732874a (diff) | |
sys/linux: open more of /dev/ files
/dev/vfio/vfio
/dev/btrfs-control
/dev/ubi_ctrl
/dev/cachefiles
Diffstat (limited to 'sys/linux/sys.txt')
| -rw-r--r-- | sys/linux/sys.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/sys/linux/sys.txt b/sys/linux/sys.txt index 422e37d35..90773be49 100644 --- a/sys/linux/sys.txt +++ b/sys/linux/sys.txt @@ -451,6 +451,7 @@ procfs_file = "auxv", "cmdline", "environ", "autogroup", "cgroup", "clear_refs", # These devices are relatively safe (don't reboot and don't corrupt kernel memory). # They need a more comprehensive support. But let at least open them for now, # maybe fuzzer will be able to skrew them in a useful way. +# TODO: all these devices returning just fd need proper interface descriptions. syz_open_dev$vcsn(dev ptr[in, string["/dev/vcs#"]], id intptr, flags flags[open_flags]) fd syz_open_dev$vcsa(dev ptr[in, string["/dev/vcsa#"]], id intptr, flags flags[open_flags]) fd syz_open_dev$usbmon(dev ptr[in, string["/dev/usbmon#"]], id intptr, flags flags[open_flags]) fd @@ -498,6 +499,10 @@ openat$xenevtchn(fd const[AT_FDCWD], file ptr[in, string["/dev/xen/evtchn"]], fl openat$dlm_control(fd const[AT_FDCWD], file ptr[in, string["/dev/dlm-control"]], flags flags[open_flags], mode const[0]) fd openat$dlm_monitor(fd const[AT_FDCWD], file ptr[in, string["/dev/dlm-monitor"]], flags flags[open_flags], mode const[0]) fd openat$dlm_plock(fd const[AT_FDCWD], file ptr[in, string["/dev/dlm_plock"]], flags flags[open_flags], mode const[0]) fd +openat$vfio(fd const[AT_FDCWD], file ptr[in, string["/dev/vfio/vfio"]], flags flags[open_flags], mode const[0]) fd +openat$btrfs_control(fd const[AT_FDCWD], file ptr[in, string["/dev/btrfs-control"]], flags flags[open_flags], mode const[0]) fd +openat$ubi_ctrl(fd const[AT_FDCWD], file ptr[in, string["/dev/ubi_ctrl"]], flags flags[open_flags], mode const[0]) fd +openat$cachefiles(fd const[AT_FDCWD], file ptr[in, string["/dev/cachefiles"]], flags flags[open_flags], mode const[0]) fd pipefd { rfd fd |