diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-12-09 07:42:48 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-12-17 19:03:39 +0100 |
| commit | 64ca0a371100fc7dfdb20de9263763e46c88a436 (patch) | |
| tree | 0e417568271dbbcc5817034a624a31d62bf20633 /sys/linux/devio.txt.warn | |
| parent | f950e82d47572b79581fd6b8355504cddb06a7f4 (diff) | |
tools/syz-check: add description checking utility
syz-check parses vmlinux dwarf, extracts struct descriptions,
compares them with what we have (size, fields, alignment, etc)
and produces .warn files.
This is first raw version, it can be improved in a number of ways.
But it already helped to identify a critical issue #1542
and shows some wrong struct descriptions.
Update #590
Diffstat (limited to 'sys/linux/devio.txt.warn')
| -rw-r--r-- | sys/linux/devio.txt.warn | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/sys/linux/devio.txt.warn b/sys/linux/devio.txt.warn new file mode 100644 index 000000000..f18d15d32 --- /dev/null +++ b/sys/linux/devio.txt.warn @@ -0,0 +1,20 @@ +0053: struct usbdevfs_ep: no corresponding struct in kernel +0070: struct usbdevfs_bulktransfer: bad number of fields: syz=6 kernel=4 +0071: field usbdevfs_bulktransfer.ep/ep: bad size: syz=1 kernel=4 +0072: field usbdevfs_bulktransfer.pad0/len: bad offset: syz=1 kernel=4 +0072: field usbdevfs_bulktransfer.pad0/len: bad size: syz=1 kernel=4 +0073: field usbdevfs_bulktransfer.pad1/timeout: bad offset: syz=2 kernel=8 +0073: field usbdevfs_bulktransfer.pad1/timeout: bad size: syz=2 kernel=4 +0074: field usbdevfs_bulktransfer.len/data: bad offset: syz=4 kernel=16 +0074: field usbdevfs_bulktransfer.len/data: bad size: syz=4 kernel=8 +0101: struct usbdevfs_urb_control: no corresponding struct in kernel +0124: struct usbdevfs_urb_bulk: no corresponding struct in kernel +0139: struct usbdevfs_urb_interrupt: no corresponding struct in kernel +0184: field usbdevfs_ioctl.usbdevfs_disconnect/ifno: bad size: syz=16 kernel=4 +0185: field usbdevfs_ioctl.usbdevfs_connect/ioctl_code: bad offset: syz=16 kernel=4 +0185: field usbdevfs_ioctl.usbdevfs_connect/ioctl_code: bad size: syz=16 kernel=4 +0186: field usbdevfs_ioctl.usbdevfs_driver/data: bad offset: syz=32 kernel=8 +0186: field usbdevfs_ioctl.usbdevfs_driver/data: bad size: syz=16 kernel=8 +0189: struct usbdevfs_ioctl_disconnect: no corresponding struct in kernel +0195: struct usbdevfs_ioctl_connect: no corresponding struct in kernel +0201: struct usbdevfs_ioctl_driver: no corresponding struct in kernel |