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/dev_sg.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/dev_sg.txt.warn')
| -rw-r--r-- | sys/linux/dev_sg.txt.warn | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/sys/linux/dev_sg.txt.warn b/sys/linux/dev_sg.txt.warn new file mode 100644 index 000000000..5cae97c34 --- /dev/null +++ b/sys/linux/dev_sg.txt.warn @@ -0,0 +1,29 @@ +0051: struct sg_io_hdr: bad number of fields: syz=20 kernel=22 +0056: field sg_io_hdr.data/iovec_count: bad size: syz=14 kernel=2 +0057: field sg_io_hdr.cmdp/dxfer_len: bad offset: syz=24 kernel=12 +0057: field sg_io_hdr.cmdp/dxfer_len: bad size: syz=8 kernel=4 +0058: field sg_io_hdr.sbp/dxferp: bad offset: syz=32 kernel=16 +0059: field sg_io_hdr.timeout/cmdp: bad offset: syz=40 kernel=24 +0059: field sg_io_hdr.timeout/cmdp: bad size: syz=4 kernel=8 +0060: field sg_io_hdr.flags/sbp: bad offset: syz=44 kernel=32 +0060: field sg_io_hdr.flags/sbp: bad size: syz=4 kernel=8 +0061: field sg_io_hdr.pack_id/timeout: bad offset: syz=48 kernel=40 +0062: field sg_io_hdr.usr_ptr/flags: bad offset: syz=52 kernel=44 +0062: field sg_io_hdr.usr_ptr/flags: bad size: syz=8 kernel=4 +0063: field sg_io_hdr.status/pack_id: bad offset: syz=60 kernel=48 +0063: field sg_io_hdr.status/pack_id: bad size: syz=1 kernel=4 +0064: field sg_io_hdr.masked_status/usr_ptr: bad offset: syz=61 kernel=56 +0064: field sg_io_hdr.masked_status/usr_ptr: bad size: syz=1 kernel=8 +0065: field sg_io_hdr.msg_status/status: bad offset: syz=62 kernel=64 +0066: field sg_io_hdr.sb_len_wr/masked_status: bad offset: syz=63 kernel=65 +0067: field sg_io_hdr.host_status/msg_status: bad offset: syz=64 kernel=66 +0067: field sg_io_hdr.host_status/msg_status: bad size: syz=2 kernel=1 +0068: field sg_io_hdr.driver_status/sb_len_wr: bad offset: syz=66 kernel=67 +0068: field sg_io_hdr.driver_status/sb_len_wr: bad size: syz=2 kernel=1 +0069: field sg_io_hdr.resid/host_status: bad size: syz=4 kernel=2 +0070: field sg_io_hdr.duration/driver_status: bad offset: syz=72 kernel=70 +0070: field sg_io_hdr.duration/driver_status: bad size: syz=4 kernel=2 +0071: field sg_io_hdr.info/resid: bad offset: syz=76 kernel=72 +0074: struct sg_io_hdr_data: no corresponding struct in kernel +0079: struct sg_io_hdr_data_buffer: no corresponding struct in kernel +0085: struct sg_io_hdr_data_scatter: no corresponding struct in kernel |