diff options
| author | Andrey Konovalov <andreyknvl@google.com> | 2019-08-07 18:03:59 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-08-08 15:34:27 +0200 |
| commit | d545e945ce3761556e10fd6b4c20a952c0e821a1 (patch) | |
| tree | 9eac971ae8d917de598827c1941d872253d67080 /sys/linux/dev_char_usb.txt | |
| parent | bcc419e9414564fc64cdde076635d6295641f9a4 (diff) | |
sys/linux: add syz_open_dev$char_usb descriptions
syz_open_dev$char_usb opens char devices with major = USB_MAJOR.
Sanitize its values to make sure it doesn't open other char/block devices.
Diffstat (limited to 'sys/linux/dev_char_usb.txt')
| -rw-r--r-- | sys/linux/dev_char_usb.txt | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/sys/linux/dev_char_usb.txt b/sys/linux/dev_char_usb.txt new file mode 100644 index 000000000..f75196b7e --- /dev/null +++ b/sys/linux/dev_char_usb.txt @@ -0,0 +1,11 @@ +# Copyright 2019 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +include <include/linux/usb.h> + +resource fd_char_usb[fd] + +syz_open_dev$char_usb(dev const[0xc], major const[USB_MAJOR], minor intptr) fd_char_usb + +read$char_usb(fd fd_char_usb, buf buffer[out], count len[buf]) +write$char_usb(fd fd_char_usb, buf buffer[in], count len[buf]) |