Skip to content

Commit

Permalink
tools/syz-check: don't print our/kernel field name twice if equal
Browse files Browse the repository at this point in the history
  • Loading branch information
dvyukov committed Dec 18, 2019
1 parent 82b3c9d commit fa33c32
Show file tree
Hide file tree
Showing 26 changed files with 202 additions and 198 deletions.
4 changes: 2 additions & 2 deletions sys/linux/9p.txt.warn
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
struct pipe_9p: no corresponding struct in kernel
struct p9_qid: bad size: syz=13 kernel=16
field p9_qid.version/version: bad offset: syz=1 kernel=4
field p9_qid.path/path: bad offset: syz=5 kernel=8
field p9_qid.version: bad offset: syz=1 kernel=4
field p9_qid.path: bad offset: syz=5 kernel=8
struct p9_ropen: no corresponding struct in kernel
struct p9_rstatfs: bad size: syz=60 kernel=64
struct p9_rgetattr: no corresponding struct in kernel
94 changes: 47 additions & 47 deletions sys/linux/dev_cdrom.txt.warn
Original file line number Diff line number Diff line change
@@ -1,61 +1,61 @@
struct cdrom_output_buffer: no corresponding struct in kernel
struct cdrom_msf_out_stub: no corresponding struct in kernel
struct cdrom_addr: no corresponding struct in kernel
field dvd_struct.physical/physical: bad offset: syz=1 kernel=0
field dvd_struct.copyright/copyright: bad offset: syz=85 kernel=0
field dvd_struct.disckey/disckey: bad offset: syz=89 kernel=0
field dvd_struct.disckey/disckey: bad size: syz=2056 kernel=2052
field dvd_struct.bca/bca: bad offset: syz=2145 kernel=0
field dvd_struct.manufact/manufact: bad offset: syz=2341 kernel=0
field dvd_struct.physical: bad offset: syz=1 kernel=0
field dvd_struct.copyright: bad offset: syz=85 kernel=0
field dvd_struct.disckey: bad offset: syz=89 kernel=0
field dvd_struct.disckey: bad size: syz=2056 kernel=2052
field dvd_struct.bca: bad offset: syz=2145 kernel=0
field dvd_struct.manufact: bad offset: syz=2341 kernel=0
struct dvd_disckey: bad size: syz=2056 kernel=2052
field dvd_disckey.agid/agid: bad bit size/offset: syz=2/0 kernel=2/8
field dvd_disckey.agid/agid: bad offset: syz=4 kernel=0
field dvd_disckey.value/value: bad offset: syz=8 kernel=2
field dvd_disckey.agid: bad bit size/offset: syz=2/0 kernel=2/8
field dvd_disckey.agid: bad offset: syz=4 kernel=0
field dvd_disckey.value: bad offset: syz=8 kernel=2
struct dvd_authinfo: bad size: syz=24 kernel=16
field dvd_authinfo.lsa/lsa: bad offset: syz=1 kernel=0
field dvd_authinfo.lsa/lsa: bad size: syz=8 kernel=4
field dvd_authinfo.hsc/hsc: bad offset: syz=9 kernel=0
field dvd_authinfo.hsc/hsc: bad size: syz=20 kernel=12
field dvd_authinfo.lsk/lsk: bad offset: syz=29 kernel=0
field dvd_authinfo.lsk/lsk: bad size: syz=16 kernel=8
field dvd_authinfo.lsc/lsc: bad offset: syz=45 kernel=0
field dvd_authinfo.lsc/lsc: bad size: syz=20 kernel=12
field dvd_authinfo.hsk/hsk: bad offset: syz=65 kernel=0
field dvd_authinfo.hsk/hsk: bad size: syz=16 kernel=8
field dvd_authinfo.lstk/lstk: bad offset: syz=81 kernel=0
field dvd_authinfo.lstk/lstk: bad size: syz=24 kernel=16
field dvd_authinfo.lsasf/lsasf: bad offset: syz=105 kernel=0
field dvd_authinfo.lsasf/lsasf: bad size: syz=8 kernel=4
field dvd_authinfo.hrpcs/hrpcs: bad offset: syz=113 kernel=0
field dvd_authinfo.lrpcs/lrpcs: bad offset: syz=115 kernel=0
field dvd_authinfo.lsa: bad offset: syz=1 kernel=0
field dvd_authinfo.lsa: bad size: syz=8 kernel=4
field dvd_authinfo.hsc: bad offset: syz=9 kernel=0
field dvd_authinfo.hsc: bad size: syz=20 kernel=12
field dvd_authinfo.lsk: bad offset: syz=29 kernel=0
field dvd_authinfo.lsk: bad size: syz=16 kernel=8
field dvd_authinfo.lsc: bad offset: syz=45 kernel=0
field dvd_authinfo.lsc: bad size: syz=20 kernel=12
field dvd_authinfo.hsk: bad offset: syz=65 kernel=0
field dvd_authinfo.hsk: bad size: syz=16 kernel=8
field dvd_authinfo.lstk: bad offset: syz=81 kernel=0
field dvd_authinfo.lstk: bad size: syz=24 kernel=16
field dvd_authinfo.lsasf: bad offset: syz=105 kernel=0
field dvd_authinfo.lsasf: bad size: syz=8 kernel=4
field dvd_authinfo.hrpcs: bad offset: syz=113 kernel=0
field dvd_authinfo.lrpcs: bad offset: syz=115 kernel=0
struct dvd_lu_send_agid: bad size: syz=8 kernel=4
field dvd_lu_send_agid.agid/agid: bad bit size/offset: syz=2/0 kernel=2/8
field dvd_lu_send_agid.agid/agid: bad offset: syz=4 kernel=0
field dvd_lu_send_agid.agid: bad bit size/offset: syz=2/0 kernel=2/8
field dvd_lu_send_agid.agid: bad offset: syz=4 kernel=0
struct dvd_host_send_challenge: bad size: syz=20 kernel=12
field dvd_host_send_challenge.agid/agid: bad bit size/offset: syz=2/0 kernel=2/8
field dvd_host_send_challenge.agid/agid: bad offset: syz=4 kernel=0
field dvd_host_send_challenge.chal/chal: bad offset: syz=8 kernel=2
field dvd_host_send_challenge.agid: bad bit size/offset: syz=2/0 kernel=2/8
field dvd_host_send_challenge.agid: bad offset: syz=4 kernel=0
field dvd_host_send_challenge.chal: bad offset: syz=8 kernel=2
struct dvd_send_key: bad size: syz=16 kernel=8
field dvd_send_key.agid/agid: bad bit size/offset: syz=2/0 kernel=2/8
field dvd_send_key.agid/agid: bad offset: syz=4 kernel=0
field dvd_send_key.key/key: bad offset: syz=8 kernel=2
field dvd_send_key.agid: bad bit size/offset: syz=2/0 kernel=2/8
field dvd_send_key.agid: bad offset: syz=4 kernel=0
field dvd_send_key.key: bad offset: syz=8 kernel=2
struct dvd_lu_send_challenge: bad size: syz=20 kernel=12
field dvd_lu_send_challenge.agid/agid: bad bit size/offset: syz=2/0 kernel=2/8
field dvd_lu_send_challenge.agid/agid: bad offset: syz=4 kernel=0
field dvd_lu_send_challenge.chal/chal: bad offset: syz=8 kernel=2
field dvd_lu_send_challenge.agid: bad bit size/offset: syz=2/0 kernel=2/8
field dvd_lu_send_challenge.agid: bad offset: syz=4 kernel=0
field dvd_lu_send_challenge.chal: bad offset: syz=8 kernel=2
struct dvd_lu_send_title_key: bad size: syz=24 kernel=16
field dvd_lu_send_title_key.agid/agid: bad bit size/offset: syz=2/0 kernel=2/8
field dvd_lu_send_title_key.agid/agid: bad offset: syz=4 kernel=0
field dvd_lu_send_title_key.title_key/title_key: bad offset: syz=8 kernel=2
field dvd_lu_send_title_key.lba/lba: bad offset: syz=16 kernel=8
field dvd_lu_send_title_key.cpm/cpm: bad offset: syz=20 kernel=12
field dvd_lu_send_title_key.cp_sec/cp_sec: bad offset: syz=20 kernel=12
field dvd_lu_send_title_key.cgms/cgms: bad offset: syz=20 kernel=12
field dvd_lu_send_title_key.agid: bad bit size/offset: syz=2/0 kernel=2/8
field dvd_lu_send_title_key.agid: bad offset: syz=4 kernel=0
field dvd_lu_send_title_key.title_key: bad offset: syz=8 kernel=2
field dvd_lu_send_title_key.lba: bad offset: syz=16 kernel=8
field dvd_lu_send_title_key.cpm: bad offset: syz=20 kernel=12
field dvd_lu_send_title_key.cp_sec: bad offset: syz=20 kernel=12
field dvd_lu_send_title_key.cgms: bad offset: syz=20 kernel=12
struct dvd_lu_send_asf: bad size: syz=8 kernel=4
field dvd_lu_send_asf.agid/agid: bad bit size/offset: syz=2/0 kernel=2/8
field dvd_lu_send_asf.agid/agid: bad offset: syz=4 kernel=0
field dvd_lu_send_asf.asf/asf: bad bit size/offset: syz=1/2 kernel=1/10
field dvd_lu_send_asf.asf/asf: bad offset: syz=4 kernel=0
field dvd_lu_send_asf.agid: bad bit size/offset: syz=2/0 kernel=2/8
field dvd_lu_send_asf.agid: bad offset: syz=4 kernel=0
field dvd_lu_send_asf.asf: bad bit size/offset: syz=1/2 kernel=1/10
field dvd_lu_send_asf.asf: bad offset: syz=4 kernel=0
struct request_sense: bad number of fields: syz=11 kernel=15
field request_sense.valid_err_code/error_code: bad bit size/offset: syz=0/0 kernel=7/0
field request_sense.segment_number/valid: bad bit size/offset: syz=0/0 kernel=1/7
Expand Down
2 changes: 1 addition & 1 deletion sys/linux/dev_dri.txt.warn
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ struct drm_unique_in: no corresponding struct in kernel
struct drm_unique_out: no corresponding struct in kernel
struct drm_map: no corresponding struct in kernel
struct drm_client: bad number of fields: syz=8 kernel=6
field drm_client.pid/pid: bad size: syz=4 kernel=8
field drm_client.pid: bad size: syz=4 kernel=8
field drm_client.pid_pad/uid: bad offset: syz=12 kernel=16
field drm_client.pid_pad/uid: bad size: syz=4 kernel=8
field drm_client.uid/magic: bad offset: syz=16 kernel=24
Expand Down
2 changes: 1 addition & 1 deletion sys/linux/dev_infiniband_rdma_cm.txt.warn
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
struct rdma_ucm_create_mcast_id_resp: no corresponding struct in kernel
struct rdma_ucm_leave_mcast: no corresponding struct in kernel
struct rdma_ucm_event_resp: bad number of fields: syz=2 kernel=6
field rdma_ucm_event_resp.id/id: bad size: syz=8 kernel=4
field rdma_ucm_event_resp.id: bad size: syz=8 kernel=4
struct rdma_ucm_set_option: bad number of fields: syz=4 kernel=5
field rdma_ucm_set_option.id_tos/optval: bad size: syz=24 kernel=8
field rdma_ucm_set_option.id_resuseaddr/id: bad offset: syz=24 kernel=8
Expand Down
8 changes: 4 additions & 4 deletions sys/linux/dev_kvm.txt.warn
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ struct kvm_irq_routing_msi: bad size: syz=12 kernel=16
struct kvm_assigned_irq: no corresponding struct in kernel
struct kvm_assigned_pci_dev: no corresponding struct in kernel
struct kvm_xsave: bad size: syz=1024 kernel=4096
field kvm_xsave.region/region: bad size: syz=1024 kernel=4096
field kvm_xsave.region: bad size: syz=1024 kernel=4096
struct kvm_enable_cap_cpu: no corresponding struct in kernel
struct kvm_enable_cap_vm: no corresponding struct in kernel
struct kvm_vcpu_events: bad number of fields: syz=19 kernel=9
Expand All @@ -54,11 +54,11 @@ struct kvm_regs: bad number of fields: syz=3 kernel=18
field kvm_regs.gp/rax: bad size: syz=128 kernel=8
field kvm_regs.rip/rbx: bad offset: syz=128 kernel=8
field kvm_regs.rflags/rcx: bad offset: syz=136 kernel=16
field kvm_fpu.fsw/fsw: bad size: syz=1 kernel=2
field kvm_fpu.fsw: bad size: syz=1 kernel=2
field kvm_fpu.ftws/ftwx: bad offset: syz=131 kernel=132
field kvm_fpu.pad1/pad1: bad offset: syz=132 kernel=133
field kvm_fpu.pad1: bad offset: syz=132 kernel=133
struct kvm_irqchip: bad size: syz=224 kernel=520
field kvm_irqchip.chip/chip: bad size: syz=216 kernel=512
field kvm_irqchip.chip: bad size: syz=216 kernel=512
struct kvm_irq_chip: no corresponding struct in kernel
struct kvm_ioapic_redir: no corresponding struct in kernel
struct kvm_mce_cap: no corresponding struct in kernel
Expand Down
22 changes: 11 additions & 11 deletions sys/linux/dev_loop.txt.warn
Original file line number Diff line number Diff line change
@@ -1,15 +1,15 @@
struct loop_info: bad size: syz=152 kernel=168
field loop_info.lo_device/lo_device: bad offset: syz=4 kernel=8
field loop_info.lo_device/lo_device: bad size: syz=4 kernel=8
field loop_info.lo_inode/lo_inode: bad offset: syz=8 kernel=16
field loop_info.lo_inode/lo_inode: bad size: syz=4 kernel=8
field loop_info.lo_rdevice/lo_rdevice: bad offset: syz=12 kernel=24
field loop_info.lo_rdevice/lo_rdevice: bad size: syz=4 kernel=8
field loop_info.lo_offset/lo_offset: bad offset: syz=16 kernel=32
field loop_info.lo_device: bad offset: syz=4 kernel=8
field loop_info.lo_device: bad size: syz=4 kernel=8
field loop_info.lo_inode: bad offset: syz=8 kernel=16
field loop_info.lo_inode: bad size: syz=4 kernel=8
field loop_info.lo_rdevice: bad offset: syz=12 kernel=24
field loop_info.lo_rdevice: bad size: syz=4 kernel=8
field loop_info.lo_offset: bad offset: syz=16 kernel=32
field loop_info.lo_enc_type/lo_encrypt_type: bad offset: syz=20 kernel=36
field loop_info.lo_enc_key_size/lo_encrypt_key_size: bad offset: syz=24 kernel=40
field loop_info.lo_flags/lo_flags: bad offset: syz=28 kernel=44
field loop_info.lo_name/lo_name: bad offset: syz=32 kernel=48
field loop_info.lo_flags: bad offset: syz=28 kernel=44
field loop_info.lo_name: bad offset: syz=32 kernel=48
field loop_info.lo_enc_key/lo_encrypt_key: bad offset: syz=96 kernel=112
field loop_info.lo_init/lo_init: bad offset: syz=128 kernel=144
field loop_info.reserved/reserved: bad offset: syz=144 kernel=160
field loop_info.lo_init: bad offset: syz=128 kernel=144
field loop_info.reserved: bad offset: syz=144 kernel=160
12 changes: 6 additions & 6 deletions sys/linux/dev_ptmx.txt.warn
Original file line number Diff line number Diff line change
Expand Up @@ -17,9 +17,9 @@ field tiocl_selection.ye/sel_mode: bad offset: syz=7 kernel=8
struct loadlut: no corresponding struct in kernel
struct tiocl_shift_state: no corresponding struct in kernel
struct tioctl_scroll_console: no corresponding struct in kernel
field serial_struct.close_delay/close_delay: bad size: syz=4 kernel=2
field serial_struct.io_type/io_type: bad offset: syz=36 kernel=34
field serial_struct.reserved_char/reserved_char: bad offset: syz=37 kernel=35
field serial_struct.hub6/hub6: bad offset: syz=40 kernel=36
field serial_struct.closing_wait/closing_wait: bad offset: syz=44 kernel=40
field serial_struct.closing_wait2/closing_wait2: bad offset: syz=46 kernel=42
field serial_struct.close_delay: bad size: syz=4 kernel=2
field serial_struct.io_type: bad offset: syz=36 kernel=34
field serial_struct.reserved_char: bad offset: syz=37 kernel=35
field serial_struct.hub6: bad offset: syz=40 kernel=36
field serial_struct.closing_wait: bad offset: syz=44 kernel=40
field serial_struct.closing_wait2: bad offset: syz=46 kernel=42
2 changes: 1 addition & 1 deletion sys/linux/dev_snd_midi.txt.warn
Original file line number Diff line number Diff line change
@@ -1 +1 @@
field snd_rawmidi_params.reserved/reserved: bad offset: syz=28 kernel=25
field snd_rawmidi_params.reserved: bad offset: syz=28 kernel=25
64 changes: 32 additions & 32 deletions sys/linux/dev_snd_pcm.txt.warn
Original file line number Diff line number Diff line change
@@ -1,14 +1,14 @@
struct snd_pcm_hw_params_old: bad size: syz=344 kernel=256
field snd_pcm_hw_params_old.masks/masks: bad size: syz=96 kernel=12
field snd_pcm_hw_params_old.intervals/intervals: bad offset: syz=100 kernel=16
field snd_pcm_hw_params_old.rmask/rmask: bad offset: syz=244 kernel=160
field snd_pcm_hw_params_old.cmask/cmask: bad offset: syz=248 kernel=164
field snd_pcm_hw_params_old.info/info: bad offset: syz=252 kernel=168
field snd_pcm_hw_params_old.msbits/msbits: bad offset: syz=256 kernel=172
field snd_pcm_hw_params_old.rate_num/rate_num: bad offset: syz=260 kernel=176
field snd_pcm_hw_params_old.rate_den/rate_den: bad offset: syz=264 kernel=180
field snd_pcm_hw_params_old.fifo_size/fifo_size: bad offset: syz=272 kernel=184
field snd_pcm_hw_params_old.reserved/reserved: bad offset: syz=280 kernel=192
field snd_pcm_hw_params_old.masks: bad size: syz=96 kernel=12
field snd_pcm_hw_params_old.intervals: bad offset: syz=100 kernel=16
field snd_pcm_hw_params_old.rmask: bad offset: syz=244 kernel=160
field snd_pcm_hw_params_old.cmask: bad offset: syz=248 kernel=164
field snd_pcm_hw_params_old.info: bad offset: syz=252 kernel=168
field snd_pcm_hw_params_old.msbits: bad offset: syz=256 kernel=172
field snd_pcm_hw_params_old.rate_num: bad offset: syz=260 kernel=176
field snd_pcm_hw_params_old.rate_den: bad offset: syz=264 kernel=180
field snd_pcm_hw_params_old.fifo_size: bad offset: syz=272 kernel=184
field snd_pcm_hw_params_old.reserved: bad offset: syz=280 kernel=192
struct snd_pcm_sw_params: bad number of fields: syz=12 kernel=13
struct snd_pcm_sync_ptr: bad number of fields: syz=3 kernel=4
field snd_pcm_sync_ptr.status/pad1: bad size: syz=64 kernel=4
Expand All @@ -18,28 +18,28 @@ struct snd_pcm_mmap_control: bad number of fields: syz=2 kernel=6
field snd_pcm_mmap_control.appl_ptr/__pad1: bad size: syz=8 kernel=0
field snd_pcm_mmap_control.avail_min/appl_ptr: bad offset: syz=8 kernel=0
struct snd_pcm_status32: bad number of fields: syz=13 kernel=19
field snd_pcm_status32.trigger_tstamp_sec/trigger_tstamp_sec: bad offset: syz=8 kernel=4
field snd_pcm_status32.trigger_tstamp_sec/trigger_tstamp_sec: bad size: syz=8 kernel=4
field snd_pcm_status32.trigger_tstamp_nsec/trigger_tstamp_nsec: bad offset: syz=16 kernel=8
field snd_pcm_status32.trigger_tstamp_nsec/trigger_tstamp_nsec: bad size: syz=8 kernel=4
field snd_pcm_status32.tstamp_sec/tstamp_sec: bad offset: syz=24 kernel=12
field snd_pcm_status32.tstamp_sec/tstamp_sec: bad size: syz=8 kernel=4
field snd_pcm_status32.tstamp_nsec/tstamp_nsec: bad offset: syz=32 kernel=16
field snd_pcm_status32.tstamp_nsec/tstamp_nsec: bad size: syz=8 kernel=4
field snd_pcm_status32.appl_ptr/appl_ptr: bad offset: syz=40 kernel=20
field snd_pcm_status32.appl_ptr/appl_ptr: bad size: syz=8 kernel=4
field snd_pcm_status32.hw_ptr/hw_ptr: bad offset: syz=48 kernel=24
field snd_pcm_status32.hw_ptr/hw_ptr: bad size: syz=8 kernel=4
field snd_pcm_status32.delay/delay: bad offset: syz=56 kernel=28
field snd_pcm_status32.delay/delay: bad size: syz=8 kernel=4
field snd_pcm_status32.avail/avail: bad offset: syz=64 kernel=32
field snd_pcm_status32.avail/avail: bad size: syz=8 kernel=4
field snd_pcm_status32.avail_max/avail_max: bad offset: syz=72 kernel=36
field snd_pcm_status32.avail_max/avail_max: bad size: syz=8 kernel=4
field snd_pcm_status32.overrange/overrange: bad offset: syz=80 kernel=40
field snd_pcm_status32.overrange/overrange: bad size: syz=8 kernel=4
field snd_pcm_status32.suspended_state/suspended_state: bad offset: syz=88 kernel=44
field snd_pcm_status32.audio_tstamp_data/audio_tstamp_data: bad offset: syz=92 kernel=48
field snd_pcm_status32.trigger_tstamp_sec: bad offset: syz=8 kernel=4
field snd_pcm_status32.trigger_tstamp_sec: bad size: syz=8 kernel=4
field snd_pcm_status32.trigger_tstamp_nsec: bad offset: syz=16 kernel=8
field snd_pcm_status32.trigger_tstamp_nsec: bad size: syz=8 kernel=4
field snd_pcm_status32.tstamp_sec: bad offset: syz=24 kernel=12
field snd_pcm_status32.tstamp_sec: bad size: syz=8 kernel=4
field snd_pcm_status32.tstamp_nsec: bad offset: syz=32 kernel=16
field snd_pcm_status32.tstamp_nsec: bad size: syz=8 kernel=4
field snd_pcm_status32.appl_ptr: bad offset: syz=40 kernel=20
field snd_pcm_status32.appl_ptr: bad size: syz=8 kernel=4
field snd_pcm_status32.hw_ptr: bad offset: syz=48 kernel=24
field snd_pcm_status32.hw_ptr: bad size: syz=8 kernel=4
field snd_pcm_status32.delay: bad offset: syz=56 kernel=28
field snd_pcm_status32.delay: bad size: syz=8 kernel=4
field snd_pcm_status32.avail: bad offset: syz=64 kernel=32
field snd_pcm_status32.avail: bad size: syz=8 kernel=4
field snd_pcm_status32.avail_max: bad offset: syz=72 kernel=36
field snd_pcm_status32.avail_max: bad size: syz=8 kernel=4
field snd_pcm_status32.overrange: bad offset: syz=80 kernel=40
field snd_pcm_status32.overrange: bad size: syz=8 kernel=4
field snd_pcm_status32.suspended_state: bad offset: syz=88 kernel=44
field snd_pcm_status32.audio_tstamp_data: bad offset: syz=92 kernel=48
struct snd_pcm_status64: bad number of fields: syz=14 kernel=20
struct snd_interval: bad number of fields: syz=3 kernel=6
field snd_interval.flags/openmin: bad bit size/offset: syz=0/0 kernel=1/0
Loading

0 comments on commit fa33c32

Please sign in to comment.