From 61f4e7ee54a1a1ae938c8ab2ee18bf16da1abab4 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Sun, 22 Dec 2019 19:34:12 +0100 Subject: tools/syz-check: check amd64 and 386 at the same time Update #590 --- sys/linux/dev_sg.txt.warn | 75 +++++++++++++++++++++++++++++------------------ 1 file changed, 46 insertions(+), 29 deletions(-) (limited to 'sys/linux/dev_sg.txt.warn') diff --git a/sys/linux/dev_sg.txt.warn b/sys/linux/dev_sg.txt.warn index 89c582529..81ad46134 100644 --- a/sys/linux/dev_sg.txt.warn +++ b/sys/linux/dev_sg.txt.warn @@ -1,29 +1,46 @@ -struct sg_io_hdr: bad number of fields: syz=20 kernel=22 -field sg_io_hdr.data/iovec_count: bad size: syz=14 kernel=2 -field sg_io_hdr.cmdp/dxfer_len: bad offset: syz=24 kernel=12 -field sg_io_hdr.cmdp/dxfer_len: bad size: syz=8 kernel=4 -field sg_io_hdr.sbp/dxferp: bad offset: syz=32 kernel=16 -field sg_io_hdr.timeout/cmdp: bad offset: syz=40 kernel=24 -field sg_io_hdr.timeout/cmdp: bad size: syz=4 kernel=8 -field sg_io_hdr.flags/sbp: bad offset: syz=44 kernel=32 -field sg_io_hdr.flags/sbp: bad size: syz=4 kernel=8 -field sg_io_hdr.pack_id/timeout: bad offset: syz=48 kernel=40 -field sg_io_hdr.usr_ptr/flags: bad offset: syz=52 kernel=44 -field sg_io_hdr.usr_ptr/flags: bad size: syz=8 kernel=4 -field sg_io_hdr.status/pack_id: bad offset: syz=60 kernel=48 -field sg_io_hdr.status/pack_id: bad size: syz=1 kernel=4 -field sg_io_hdr.masked_status/usr_ptr: bad offset: syz=61 kernel=56 -field sg_io_hdr.masked_status/usr_ptr: bad size: syz=1 kernel=8 -field sg_io_hdr.msg_status/status: bad offset: syz=62 kernel=64 -field sg_io_hdr.sb_len_wr/masked_status: bad offset: syz=63 kernel=65 -field sg_io_hdr.host_status/msg_status: bad offset: syz=64 kernel=66 -field sg_io_hdr.host_status/msg_status: bad size: syz=2 kernel=1 -field sg_io_hdr.driver_status/sb_len_wr: bad offset: syz=66 kernel=67 -field sg_io_hdr.driver_status/sb_len_wr: bad size: syz=2 kernel=1 -field sg_io_hdr.resid/host_status: bad size: syz=4 kernel=2 -field sg_io_hdr.duration/driver_status: bad offset: syz=72 kernel=70 -field sg_io_hdr.duration/driver_status: bad size: syz=4 kernel=2 -field sg_io_hdr.info/resid: bad offset: syz=76 kernel=72 -struct sg_io_hdr_data: no corresponding struct in kernel -struct sg_io_hdr_data_buffer: no corresponding struct in kernel -struct sg_io_hdr_data_scatter: no corresponding struct in kernel +bad-field-number: sg_io_hdr: syz=20 kernel=22 +bad-field-size: sg_io_hdr.data/iovec_count: syz=10 kernel=2 [386] +bad-field-size: sg_io_hdr.data/iovec_count: syz=14 kernel=2 [amd64] +bad-field-offset: sg_io_hdr.cmdp/dxfer_len: syz=20 kernel=12 [386] +bad-field-offset: sg_io_hdr.cmdp/dxfer_len: syz=24 kernel=12 [amd64] +bad-field-size: sg_io_hdr.cmdp/dxfer_len: syz=8 kernel=4 [amd64] +bad-field-offset: sg_io_hdr.sbp/dxferp: syz=24 kernel=16 [386] +bad-field-offset: sg_io_hdr.sbp/dxferp: syz=32 kernel=16 [amd64] +bad-field-offset: sg_io_hdr.timeout/cmdp: syz=28 kernel=20 [386] +bad-field-size: sg_io_hdr.timeout/cmdp: syz=4 kernel=8 [amd64] +bad-field-offset: sg_io_hdr.timeout/cmdp: syz=40 kernel=24 [amd64] +bad-field-offset: sg_io_hdr.flags/sbp: syz=32 kernel=24 [386] +bad-field-size: sg_io_hdr.flags/sbp: syz=4 kernel=8 [amd64] +bad-field-offset: sg_io_hdr.flags/sbp: syz=44 kernel=32 [amd64] +bad-field-offset: sg_io_hdr.pack_id/timeout: syz=36 kernel=28 [386] +bad-field-offset: sg_io_hdr.pack_id/timeout: syz=48 kernel=40 [amd64] +bad-field-offset: sg_io_hdr.usr_ptr/flags: syz=40 kernel=32 [386] +bad-field-offset: sg_io_hdr.usr_ptr/flags: syz=52 kernel=44 [amd64] +bad-field-size: sg_io_hdr.usr_ptr/flags: syz=8 kernel=4 [amd64] +bad-field-size: sg_io_hdr.status/pack_id: syz=1 kernel=4 +bad-field-offset: sg_io_hdr.status/pack_id: syz=44 kernel=36 [386] +bad-field-offset: sg_io_hdr.status/pack_id: syz=60 kernel=48 [amd64] +bad-field-size: sg_io_hdr.masked_status/usr_ptr: syz=1 kernel=4 [386] +bad-field-size: sg_io_hdr.masked_status/usr_ptr: syz=1 kernel=8 [amd64] +bad-field-offset: sg_io_hdr.masked_status/usr_ptr: syz=45 kernel=40 [386] +bad-field-offset: sg_io_hdr.masked_status/usr_ptr: syz=61 kernel=56 [amd64] +bad-field-offset: sg_io_hdr.msg_status/status: syz=46 kernel=44 [386] +bad-field-offset: sg_io_hdr.msg_status/status: syz=62 kernel=64 [amd64] +bad-field-offset: sg_io_hdr.sb_len_wr/masked_status: syz=47 kernel=45 [386] +bad-field-offset: sg_io_hdr.sb_len_wr/masked_status: syz=63 kernel=65 [amd64] +bad-field-size: sg_io_hdr.host_status/msg_status: syz=2 kernel=1 +bad-field-offset: sg_io_hdr.host_status/msg_status: syz=48 kernel=46 [386] +bad-field-offset: sg_io_hdr.host_status/msg_status: syz=64 kernel=66 [amd64] +bad-field-size: sg_io_hdr.driver_status/sb_len_wr: syz=2 kernel=1 +bad-field-offset: sg_io_hdr.driver_status/sb_len_wr: syz=50 kernel=47 [386] +bad-field-offset: sg_io_hdr.driver_status/sb_len_wr: syz=66 kernel=67 [amd64] +bad-field-size: sg_io_hdr.resid/host_status: syz=4 kernel=2 +bad-field-offset: sg_io_hdr.resid/host_status: syz=52 kernel=48 [386] +bad-field-size: sg_io_hdr.duration/driver_status: syz=4 kernel=2 +bad-field-offset: sg_io_hdr.duration/driver_status: syz=56 kernel=50 [386] +bad-field-offset: sg_io_hdr.duration/driver_status: syz=72 kernel=70 [amd64] +bad-field-offset: sg_io_hdr.info/resid: syz=60 kernel=52 [386] +bad-field-offset: sg_io_hdr.info/resid: syz=76 kernel=72 [amd64] +no-such-struct: sg_io_hdr_data +no-such-struct: sg_io_hdr_data_buffer +no-such-struct: sg_io_hdr_data_scatter -- cgit mrf-deployment