From 83af9a2cef76239e377590d4cb753df6a0093077 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Sat, 13 Jun 2020 19:36:30 +0200 Subject: sys/linux: regenerate .warn files On latest kernel, with latest *.txt files and with kernels compiled with -fno-eliminate-unused-debug-types -fno-eliminate-unused-debug-symbols flags. --- sys/linux/binfmt.txt.warn | 1 - sys/linux/bpf.txt.warn | 8 +++++- sys/linux/dev_dri.txt.warn | 14 ---------- sys/linux/dev_floppy.txt.warn | 32 ++++++++-------------- sys/linux/dev_infiniband_rdma_cm.txt.warn | 10 ++++++- sys/linux/dev_kvm.txt.warn | 21 +++++--------- sys/linux/dev_ptmx.txt.warn | 1 - sys/linux/dev_rtc.txt.warn | 1 - sys/linux/dev_vfio.txt.warn | 1 + sys/linux/dev_vhci.txt.warn | 8 ++++++ sys/linux/fs_ioctl_fscrypt.txt.warn | 1 - sys/linux/l2cap.txt.warn | 4 +++ sys/linux/netfilter.txt.warn | 2 -- sys/linux/netfilter_ipvs.txt.warn | 1 - sys/linux/socket.txt.warn | 2 -- sys/linux/socket_bluetooth.txt.warn | 1 - sys/linux/socket_inet.txt.warn | 1 - sys/linux/socket_inet_sctp.txt.warn | 1 - sys/linux/socket_ipx.txt.warn | 5 ++-- sys/linux/socket_key.txt.warn | 1 - sys/linux/socket_netlink.txt.warn | 1 - sys/linux/socket_netlink_generic_smc.txt.warn | 1 - .../socket_netlink_netfilter_conntrack.txt.warn | 1 + sys/linux/socket_netlink_route.txt.warn | 2 +- sys/linux/socket_netlink_route_sched.txt.warn | 2 +- sys/linux/socket_packet.txt.warn | 3 +- sys/linux/sys.txt.warn | 1 - sys/linux/vnet.txt.warn | 3 +- sys/linux/vusb.txt.warn | 1 - tools/syz-check/check.go | 3 +- 30 files changed, 60 insertions(+), 74 deletions(-) delete mode 100644 sys/linux/dev_rtc.txt.warn create mode 100644 sys/linux/dev_vhci.txt.warn create mode 100644 sys/linux/l2cap.txt.warn delete mode 100644 sys/linux/socket_netlink_generic_smc.txt.warn diff --git a/sys/linux/binfmt.txt.warn b/sys/linux/binfmt.txt.warn index 5ae3f14bc..4353b8ec8 100644 --- a/sys/linux/binfmt.txt.warn +++ b/sys/linux/binfmt.txt.warn @@ -1,3 +1,2 @@ no-such-struct: exec no-such-struct: elf_hdr -no-such-struct: elf64_phdr [386,arm] diff --git a/sys/linux/bpf.txt.warn b/sys/linux/bpf.txt.warn index b592004d7..7fd3380c2 100644 --- a/sys/linux/bpf.txt.warn +++ b/sys/linux/bpf.txt.warn @@ -7,6 +7,8 @@ no-such-struct: bpf_map_get_next_arg no-such-struct: bpf_map_batch_arg no-such-struct: bpf_link_create_arg no-such-struct: bpf_link_update_arg +no-such-struct: bpf_enable_stats_arg +no-such-struct: bpf_iter_create_arg bad-struct-size: bpf_prog: syz=116 kernel=40 [386] bad-struct-size: bpf_prog: syz=120 kernel=40 [arm] bad-struct-size: bpf_prog: syz=120 kernel=56 [amd64,arm64] @@ -74,10 +76,14 @@ no-such-struct: bpf_insn_map_value no-such-struct: bpf_obj_pin_map no-such-struct: bpf_obj_pin_prog no-such-struct: bpf_obj_get +no-such-struct: bpf_attach_targets no-such-struct: bpf_attach_arg no-such-struct: bpf_detach_arg no-such-struct: bpf_test_prog_arg -no-such-struct: bpf_obj_get_next_id_arg +no-such-struct: bpf_prog_get_next_id_arg +no-such-struct: bpf_map_get_next_id_arg +no-such-struct: bpf_btf_get_next_id_arg +no-such-struct: bpf_link_get_next_id_arg no-such-struct: bpf_prog_get_fd_by_id_arg no-such-struct: bpf_get_prog_info_arg bad-field-number: bpf_prog_info: syz=32 kernel=34 diff --git a/sys/linux/dev_dri.txt.warn b/sys/linux/dev_dri.txt.warn index a70f84b7b..d5fc0627a 100644 --- a/sys/linux/dev_dri.txt.warn +++ b/sys/linux/dev_dri.txt.warn @@ -1,18 +1,4 @@ no-such-struct: drm_unique_in no-such-struct: drm_unique_out -no-such-struct: drm_map -no-such-struct: drm_ctx_priv_map -no-such-struct: drm_ctx -no-such-struct: drm_ctx_res -no-such-struct: drm_lock -no-such-struct: drm_buf_desc -no-such-struct: drm_buf_map -no-such-struct: drm_buf_pub -no-such-struct: drm_buf_free -no-such-struct: drm_dma -no-such-struct: drm_control -no-such-struct: drm_agp_buffer [arm,arm64] -no-such-struct: drm_agp_binding [arm,arm64] -no-such-struct: drm_scatter_gather no-such-struct: drm_wait_vblank bad-field-size: drm_mode_modeinfo.vrefr/vrefresh: syz=2 kernel=4 diff --git a/sys/linux/dev_floppy.txt.warn b/sys/linux/dev_floppy.txt.warn index 9a692105b..c572a35b2 100644 --- a/sys/linux/dev_floppy.txt.warn +++ b/sys/linux/dev_floppy.txt.warn @@ -1,20 +1,12 @@ -no-such-struct: floppy_struct [arm,arm64] -no-such-struct: format_descr [arm,arm64] -no-such-struct: floppy_max_errors [arm,arm64] -no-such-struct: floppy_drive_params [arm,arm64] -no-such-struct: floppy_drive_struct [arm,arm64] -no-such-struct: floppy_fdc_state [arm,arm64] -no-such-struct: floppy_write_errors [arm,arm64] -bad-field-number: floppy_raw_cmd: syz=16 kernel=14 [386,amd64] -no-such-struct: floppy_raw_cmd [arm,arm64] -bad-field-size: floppy_raw_cmd.cmd/: syz=16 kernel=33 [386,amd64] -bad-field-offset: floppy_raw_cmd.reply_count/track: syz=46 kernel=64 [386] -bad-field-offset: floppy_raw_cmd.reply_count/track: syz=70 kernel=88 [amd64] -bad-field-size: floppy_raw_cmd.reply_count/track: syz=1 kernel=4 [386,amd64] -bad-field-offset: floppy_raw_cmd.reply/resultcode: syz=47 kernel=68 [386] -bad-field-offset: floppy_raw_cmd.reply/resultcode: syz=71 kernel=92 [amd64] -bad-field-size: floppy_raw_cmd.reply/resultcode: syz=16 kernel=4 [386,amd64] -bad-field-offset: floppy_raw_cmd.track/reserved1: syz=64 kernel=72 [386] -bad-field-offset: floppy_raw_cmd.track/reserved1: syz=88 kernel=96 [amd64] -bad-field-offset: floppy_raw_cmd.resultcode/reserved2: syz=68 kernel=76 [386] -bad-field-offset: floppy_raw_cmd.resultcode/reserved2: syz=92 kernel=100 [amd64] +bad-field-number: floppy_raw_cmd: syz=16 kernel=14 +bad-field-size: floppy_raw_cmd.cmd/: syz=16 kernel=33 +bad-field-offset: floppy_raw_cmd.reply_count/track: syz=46 kernel=64 [386,arm] +bad-field-offset: floppy_raw_cmd.reply_count/track: syz=70 kernel=88 [amd64,arm64] +bad-field-size: floppy_raw_cmd.reply_count/track: syz=1 kernel=4 +bad-field-offset: floppy_raw_cmd.reply/resultcode: syz=47 kernel=68 [386,arm] +bad-field-offset: floppy_raw_cmd.reply/resultcode: syz=71 kernel=92 [amd64,arm64] +bad-field-size: floppy_raw_cmd.reply/resultcode: syz=16 kernel=4 +bad-field-offset: floppy_raw_cmd.track/reserved1: syz=64 kernel=72 [386,arm] +bad-field-offset: floppy_raw_cmd.track/reserved1: syz=88 kernel=96 [amd64,arm64] +bad-field-offset: floppy_raw_cmd.resultcode/reserved2: syz=68 kernel=76 [386,arm] +bad-field-offset: floppy_raw_cmd.resultcode/reserved2: syz=92 kernel=100 [amd64,arm64] diff --git a/sys/linux/dev_infiniband_rdma_cm.txt.warn b/sys/linux/dev_infiniband_rdma_cm.txt.warn index 3f40ef5b1..3a24662e9 100644 --- a/sys/linux/dev_infiniband_rdma_cm.txt.warn +++ b/sys/linux/dev_infiniband_rdma_cm.txt.warn @@ -1,7 +1,15 @@ no-such-struct: rdma_ucm_cmd_t +bad-field-number: rdma_ucm_connect: syz=3 kernel=4 +bad-struct-size: rdma_ucm_connect: syz=280 kernel=288 +bad-field-number: rdma_ucm_accept: syz=4 kernel=5 +bad-struct-size: rdma_ucm_accept: syz=288 kernel=296 +bad-field-number: rdma_ucm_reject: syz=4 kernel=5 +bad-field-size: rdma_ucm_reject.reserved/reason: syz=3 kernel=1 +bad-field-offset: rdma_ucm_reject.private_data/reserved: syz=8 kernel=6 +bad-field-size: rdma_ucm_reject.private_data/reserved: syz=256 kernel=2 no-such-struct: rdma_ucm_create_mcast_id_resp no-such-struct: rdma_ucm_leave_mcast -bad-field-number: rdma_ucm_event_resp: syz=2 kernel=6 +bad-field-number: rdma_ucm_event_resp: syz=2 kernel=7 bad-field-size: rdma_ucm_event_resp.id: syz=8 kernel=4 no-such-struct: rdma_ucm_set_option_t no-such-struct: sockaddr_rdma_cm diff --git a/sys/linux/dev_kvm.txt.warn b/sys/linux/dev_kvm.txt.warn index f23afe8a7..85f0ffe04 100644 --- a/sys/linux/dev_kvm.txt.warn +++ b/sys/linux/dev_kvm.txt.warn @@ -43,17 +43,14 @@ no-such-struct: kvm_setup_opt_arm64 [386,amd64,arm64] no-such-struct: kvm_setup_opt_feature [386,amd64,arm64] bad-struct-size: kvm_guest_debug: syz=72 kernel=520 [arm64] bad-field-size: kvm_guest_debug.reg/arch: syz=64 kernel=512 [arm64] -no-such-struct: kvm_arm_device_addr [386,amd64] -no-such-struct: kvm_s390_interrupt [386,amd64,arm64] -no-such-struct: kvm_pit_config [arm64] -no-such-struct: kvm_one_reg [386,amd64] -no-such-struct: kvm_s390_ucas_mapping [386,amd64,arm64] -no-such-struct: kvm_dirty_tlb [386,amd64,arm64] -no-such-struct: kvm_assigned_msix_entry [386,amd64,arm64] -no-such-struct: kvm_assigned_msix_nr [386,amd64,arm64] +bad-field-number: kvm_assigned_msix_entry: syz=3 kernel=4 [386,amd64,arm64] +bad-struct-size: kvm_assigned_msix_entry: syz=12 kernel=16 [386,amd64,arm64] +bad-field-number: kvm_assigned_msix_nr: syz=2 kernel=3 [386,amd64,arm64] no-such-struct: kvm_irq_routing_entry_u [386,amd64,arm64] -no-such-struct: kvm_assigned_irq [386,amd64,arm64] -no-such-struct: kvm_assigned_pci_dev [386,amd64,arm64] +bad-field-number: kvm_assigned_irq: syz=4 kernel=5 [386,amd64,arm64] +bad-struct-size: kvm_assigned_irq: syz=16 kernel=64 [386,amd64,arm64] +bad-field-number: kvm_assigned_pci_dev: syz=5 kernel=6 [386,amd64,arm64] +bad-struct-size: kvm_assigned_pci_dev: syz=20 kernel=64 [386,amd64,arm64] no-such-struct: kvm_enable_cap_cpu [386,amd64,arm64] no-such-struct: kvm_enable_cap_vm [386,amd64,arm64] bad-field-number: kvm_vcpu_events: syz=22 kernel=2 [arm64] @@ -76,7 +73,6 @@ bad-field-size: kvm_vcpu_events.innr/reserved: syz=1 kernel=27 [386,amd64] bad-field-offset: kvm_vcpu_events.insoft/exception_has_payload: syz=10 kernel=55 [386,amd64] bad-field-offset: kvm_vcpu_events.inshad/exception_payload: syz=11 kernel=56 [386,amd64] bad-field-size: kvm_vcpu_events.inshad/exception_payload: syz=1 kernel=8 [386,amd64] -no-such-struct: kvm_clock_data [arm64] bad-field-number: kvm_regs: syz=3 kernel=18 [386,amd64] bad-field-number: kvm_regs: syz=3 kernel=5 [arm64] bad-struct-size: kvm_regs: syz=144 kernel=864 [arm64] @@ -90,16 +86,13 @@ no-such-struct: kvm_sregs [arm64] no-such-struct: kvm_segment [arm64] no-such-struct: kvm_dtable [arm64] no-such-struct: kvm_fpu [arm64] -no-such-struct: kvm_irqchip [arm64] no-such-struct: kvm_irq_chip [386,amd64,arm64] no-such-struct: kvm_pic_state [arm64] no-such-struct: kvm_ioapic_state [arm64] no-such-struct: kvm_ioapic_redir [386,amd64,arm64] -no-such-struct: kvm_tpr_access_ctl [arm64] no-such-struct: kvm_mce_cap [386,amd64,arm64] no-such-struct: kvm_reinject_control [arm64] bad-field-number: kvm_vcpu_init: syz=3 kernel=2 [arm64] bad-field-size: kvm_vcpu_init.feature/features: syz=4 kernel=28 [arm64] -no-such-struct: kvm_hyperv_eventfd [arm64] no-such-struct: kvm_nested_state_arg [386,amd64] no-such-struct: kvm_vmx_nested_state [386,amd64] diff --git a/sys/linux/dev_ptmx.txt.warn b/sys/linux/dev_ptmx.txt.warn index 25d513d20..ae8e85205 100644 --- a/sys/linux/dev_ptmx.txt.warn +++ b/sys/linux/dev_ptmx.txt.warn @@ -7,7 +7,6 @@ compiler: unsupported syscall: ioctl$TIOCSLTC due to missing const TIOCSLTC no-such-struct: io_cmap no-such-struct: unimapdesc_in no-such-struct: unimapdesc_out -no-such-struct: unimapinit no-such-struct: tiocl_selection_arg bad-field-number: tiocl_selection: syz=6 kernel=5 bad-struct-size: tiocl_selection: syz=11 kernel=10 diff --git a/sys/linux/dev_rtc.txt.warn b/sys/linux/dev_rtc.txt.warn deleted file mode 100644 index b2eddf078..000000000 --- a/sys/linux/dev_rtc.txt.warn +++ /dev/null @@ -1 +0,0 @@ -no-such-struct: rtc_pll_info diff --git a/sys/linux/dev_vfio.txt.warn b/sys/linux/dev_vfio.txt.warn index 3646ac58e..4b919cda0 100644 --- a/sys/linux/dev_vfio.txt.warn +++ b/sys/linux/dev_vfio.txt.warn @@ -1,3 +1,4 @@ no-such-struct: vfio_iommu_type1_info [arm] no-such-struct: vfio_iommu_type1_dma_map [arm] +bad-field-number: vfio_iommu_type1_dma_unmap: syz=4 kernel=5 [386,amd64,arm64] no-such-struct: vfio_iommu_type1_dma_unmap [arm] diff --git a/sys/linux/dev_vhci.txt.warn b/sys/linux/dev_vhci.txt.warn new file mode 100644 index 000000000..e6446f5f3 --- /dev/null +++ b/sys/linux/dev_vhci.txt.warn @@ -0,0 +1,8 @@ +no-such-struct: vhci_command_vendor_pkt +bad-field-number: hci_acl_hdr: syz=4 kernel=2 +bad-bitfield: hci_acl_hdr.bc/handle: size/offset: syz=2/0 kernel=0/0 +bad-bitfield: hci_acl_hdr.pb/dlen: size/offset: syz=2/2 kernel=0/0 +bad-field-offset: hci_acl_hdr.pb/dlen: syz=0 kernel=2 +no-such-struct: hci_event_hdr_t +no-such-struct: hci_ev_le_meta_t +no-such-struct: hci_ev_cmd_complete_t diff --git a/sys/linux/fs_ioctl_fscrypt.txt.warn b/sys/linux/fs_ioctl_fscrypt.txt.warn index 31fad08e4..7f46ada8f 100644 --- a/sys/linux/fs_ioctl_fscrypt.txt.warn +++ b/sys/linux/fs_ioctl_fscrypt.txt.warn @@ -13,4 +13,3 @@ bad-field-size: fscrypt_policy_v2.master_key_identifier/__reserved: syz=16 kerne no-such-struct: fscrypt_policy_modes no-such-struct: fscrypt_policy_mode_t no-such-struct: fscrypt_key_specifier_payload -bad-field-size: fscrypt_add_key_arg.reserved/key_id: syz=36 kernel=4 diff --git a/sys/linux/l2cap.txt.warn b/sys/linux/l2cap.txt.warn new file mode 100644 index 000000000..e2432dc51 --- /dev/null +++ b/sys/linux/l2cap.txt.warn @@ -0,0 +1,4 @@ +no-such-struct: l2cap_cmd_hdr_t +bad-struct-size: l2cap_conninfo: syz=5 kernel=6 +bad-struct-size: l2cap_options: syz=11 kernel=12 +bad-field-offset: l2cap_options.txwin_size: syz=9 kernel=10 diff --git a/sys/linux/netfilter.txt.warn b/sys/linux/netfilter.txt.warn index d26b026a6..897c4d04d 100644 --- a/sys/linux/netfilter.txt.warn +++ b/sys/linux/netfilter.txt.warn @@ -44,12 +44,10 @@ bad-field-size: xt_quota_info.master: syz=8 kernel=4 [386,arm] bad-field-size: xt_hashlimit_mtinfo1.hinfo: syz=8 kernel=4 [386,arm] bad-field-size: xt_hashlimit_mtinfo2.hinfo: syz=8 kernel=4 [386,arm] bad-field-size: xt_hashlimit_mtinfo3.hinfo: syz=8 kernel=4 [386,arm] -no-such-struct: xt_comment_info bad-field-number: xt_statistic_info: syz=6 kernel=4 bad-field-size: xt_statistic_info.every/u: syz=4 kernel=12 bad-field-offset: xt_statistic_info.packet/master: syz=8 kernel=16 bad-field-size: xt_statistic_info.packet/master: syz=4 kernel=8 [amd64,arm64] -no-such-struct: xt_recent_mtinfo bad-field-number: xt_policy_elem: syz=10 kernel=7 bad-field-size: xt_policy_elem.saddr/: syz=16 kernel=64 bad-field-offset: xt_policy_elem.smask/spi: syz=16 kernel=64 diff --git a/sys/linux/netfilter_ipvs.txt.warn b/sys/linux/netfilter_ipvs.txt.warn index c85989980..b287b5d0e 100644 --- a/sys/linux/netfilter_ipvs.txt.warn +++ b/sys/linux/netfilter_ipvs.txt.warn @@ -1,3 +1,2 @@ bad-netlink-attr: ip_vs_svc_policy: missing attributes: [10] bad-netlink-attr: ip_vs_dest_policy: missing attributes: [10] -no-such-struct: ip_vs_svcdest_user diff --git a/sys/linux/socket.txt.warn b/sys/linux/socket.txt.warn index 04ffe9d32..e4b54d5cd 100644 --- a/sys/linux/socket.txt.warn +++ b/sys/linux/socket.txt.warn @@ -26,7 +26,5 @@ no-such-struct: brctl_arg_get no-such-struct: brctl_arg_add_del no-such-struct: brctl_arg_generic no-such-struct: ethtool_flow_union -no-such-struct: ethtool_rx_ntuple -no-such-struct: ethtool_rx_ntuple_flow_spec no-such-struct: ethtool_rx_ntuple_flow_spec_union bad-field-size: ethtool_link_settings.reserved/transceiver: syz=32 kernel=1 diff --git a/sys/linux/socket_bluetooth.txt.warn b/sys/linux/socket_bluetooth.txt.warn index 9b108963a..698b82da2 100644 --- a/sys/linux/socket_bluetooth.txt.warn +++ b/sys/linux/socket_bluetooth.txt.warn @@ -1,2 +1 @@ -no-such-struct: vhci_command_vendor_pkt no-such-struct: bdaddr_fixed diff --git a/sys/linux/socket_inet.txt.warn b/sys/linux/socket_inet.txt.warn index ad8283d80..3c1a69067 100644 --- a/sys/linux/socket_inet.txt.warn +++ b/sys/linux/socket_inet.txt.warn @@ -1,6 +1,5 @@ bad-field-number: sockaddr_in: syz=3 kernel=4 no-such-struct: sockaddr_storage_in -no-such-struct: ip_mreq no-such-struct: group_req_in no-such-struct: group_source_req_in no-such-struct: rtentry_in diff --git a/sys/linux/socket_inet_sctp.txt.warn b/sys/linux/socket_inet_sctp.txt.warn index cf9ed384a..8ef5c0a2f 100644 --- a/sys/linux/socket_inet_sctp.txt.warn +++ b/sys/linux/socket_inet_sctp.txt.warn @@ -7,6 +7,5 @@ no-such-struct: cmsghdr_sctp_authinfo no-such-struct: cmsghdr_sctp_dstaddrv4 no-such-struct: cmsghdr_sctp_dstaddrv6 no-such-struct: sockaddr_storage_sctp -no-such-struct: sctp_paddrthlds bad-field-number: sctp_assoc_stats: syz=3 kernel=17 bad-field-size: sctp_assoc_stats.status/sas_maxrto: syz=120 kernel=8 diff --git a/sys/linux/socket_ipx.txt.warn b/sys/linux/socket_ipx.txt.warn index a1583faee..8b3f4d9b5 100644 --- a/sys/linux/socket_ipx.txt.warn +++ b/sys/linux/socket_ipx.txt.warn @@ -1,2 +1,3 @@ -no-such-struct: sockaddr_ipx -no-such-struct: ipx_config_data +bad-struct-size: ipx_config_data: syz=4 kernel=2 +bad-field-size: ipx_config_data.ipxcfg_auto_select_primary: syz=2 kernel=1 +bad-field-offset: ipx_config_data.ipxcfg_auto_create_interfaces: syz=2 kernel=1 diff --git a/sys/linux/socket_key.txt.warn b/sys/linux/socket_key.txt.warn index 85f917457..3ae6a0b18 100644 --- a/sys/linux/socket_key.txt.warn +++ b/sys/linux/socket_key.txt.warn @@ -1,6 +1,5 @@ no-such-struct: send_msghdr_key no-such-struct: iovec_sadb_msg -no-such-struct: sadb_ident bad-field-number: sadb_x_policy: syz=8 kernel=7 bad-struct-size: sadb_x_policy: syz=64 kernel=16 bad-field-number: sadb_x_ipsecrequest: syz=9 kernel=7 diff --git a/sys/linux/socket_netlink.txt.warn b/sys/linux/socket_netlink.txt.warn index c5c2d5677..31dfad492 100644 --- a/sys/linux/socket_netlink.txt.warn +++ b/sys/linux/socket_netlink.txt.warn @@ -5,4 +5,3 @@ no-such-struct: msghdr_netlink no-such-struct: netlink_msg_t no-such-struct: nlattr_t no-such-struct: nlattr_tt -no-such-struct: nl_mmap_req diff --git a/sys/linux/socket_netlink_generic_smc.txt.warn b/sys/linux/socket_netlink_generic_smc.txt.warn deleted file mode 100644 index 6f6d01c04..000000000 --- a/sys/linux/socket_netlink_generic_smc.txt.warn +++ /dev/null @@ -1 +0,0 @@ -no-such-netlink-policy: smc_pnet_policy diff --git a/sys/linux/socket_netlink_netfilter_conntrack.txt.warn b/sys/linux/socket_netlink_netfilter_conntrack.txt.warn index bb821fe53..e17694344 100644 --- a/sys/linux/socket_netlink_netfilter_conntrack.txt.warn +++ b/sys/linux/socket_netlink_netfilter_conntrack.txt.warn @@ -1,2 +1,3 @@ +bad-netlink-attr: ct_nla_policy: missing attributes: [25] no-such-struct: cta_ip_nla_policy_ipv4 no-such-struct: cta_ip_nla_policy_ipv6 diff --git a/sys/linux/socket_netlink_route.txt.warn b/sys/linux/socket_netlink_route.txt.warn index 1c34437d2..abd1e5701 100644 --- a/sys/linux/socket_netlink_route.txt.warn +++ b/sys/linux/socket_netlink_route.txt.warn @@ -12,7 +12,7 @@ bad-netlink-attr: vti6_policy: missing attributes: [1 2 3 6] bad-netlink-attr: ifa_ipv4_policy: missing attributes: [9 10] bad-netlink-attr: ifa_ipv6_policy: missing attributes: [9 10] bad-netlink-attr: rtm_ipv4_policy: missing attributes: [15 27 28 29 30] -bad-netlink-attr: nda_policy: missing attributes: [12] +bad-netlink-attr: nda_policy: missing attributes: [12 13] bad-netlink-attr: nda_policy.NDA_DST_IPV6: duplicate attribute bad-netlink-attr: nda_policy.NDA_DST_MAC: duplicate attribute bad-netlink-attr: ifla_vf_policy: missing attributes: [8] diff --git a/sys/linux/socket_netlink_route_sched.txt.warn b/sys/linux/socket_netlink_route_sched.txt.warn index e0c5e82d8..325265df5 100644 --- a/sys/linux/socket_netlink_route_sched.txt.warn +++ b/sys/linux/socket_netlink_route_sched.txt.warn @@ -10,6 +10,7 @@ bad-netlink-attr: pie_policy: missing attributes: [8] bad-netlink-attr: entry_policy_taprio: missing attributes: [1] bad-netlink-attr: taprio_policy: missing attributes: [4] no-such-netlink-policy: tclass_kind_options +bad-netlink-attr: fl_policy: missing attributes: [99] no-such-netlink-policy: tca_actions no-such-netlink-policy: tca_ife_meta_policy bad-field-size: xt_entry_target.u_target_size/u: syz=2 kernel=32 @@ -65,4 +66,3 @@ no-such-struct: tcf_ematch_hdr_t bad-field-size: tcf_em_nbyte.off: syz=4 kernel=2 bad-field-offset: tcf_em_nbyte.len: syz=4 kernel=2 bad-field-offset: tcf_em_nbyte.layer: syz=5 kernel=3 -no-such-struct: tc_estimator diff --git a/sys/linux/socket_packet.txt.warn b/sys/linux/socket_packet.txt.warn index 279291a90..d30d3efed 100644 --- a/sys/linux/socket_packet.txt.warn +++ b/sys/linux/socket_packet.txt.warn @@ -1,4 +1,5 @@ bad-field-number: sockaddr_ll: syz=8 kernel=7 bad-field-size: sockaddr_ll.sll_addr: syz=6 kernel=8 -no-such-struct: packet_mreq +bad-field-number: packet_mreq: syz=5 kernel=4 +bad-field-size: packet_mreq.mr_address: syz=6 kernel=8 no-such-struct: packet_fanout_val diff --git a/sys/linux/sys.txt.warn b/sys/linux/sys.txt.warn index 3125182d0..faef6ea67 100644 --- a/sys/linux/sys.txt.warn +++ b/sys/linux/sys.txt.warn @@ -97,7 +97,6 @@ no-such-struct: timespec no-such-struct: timeval no-such-struct: itimerspec no-such-struct: itimerval -no-such-struct: utimbuf [386] bad-field-size: sigevent.u/_sigev_un: syz=16 kernel=48 [amd64,arm64] bad-field-size: sigevent.u/_sigev_un: syz=8 kernel=52 [386,arm] no-such-struct: sigevent_u diff --git a/sys/linux/vnet.txt.warn b/sys/linux/vnet.txt.warn index 4deb4c72b..be6ad9736 100644 --- a/sys/linux/vnet.txt.warn +++ b/sys/linux/vnet.txt.warn @@ -1,6 +1,7 @@ no-such-struct: vnet_fragmentation no-such-struct: tcp_resources -no-such-struct: mac_addr_t +bad-field-number: mac_addr_t: syz=2 kernel=1 +bad-field-size: mac_addr_t.a0/mac_addr_value: syz=5 kernel=6 no-such-struct: mac_addr_link_local no-such-struct: vlan_tag_ad no-such-struct: vlan_tag_q diff --git a/sys/linux/vusb.txt.warn b/sys/linux/vusb.txt.warn index e894c4684..2d679e120 100644 --- a/sys/linux/vusb.txt.warn +++ b/sys/linux/vusb.txt.warn @@ -12,7 +12,6 @@ no-such-struct: vusb_responses no-such-struct: vusb_response_t no-such-struct: usb_string_descriptor_t compiler: len target caps refer to an array with variable-size elements (do you mean bytesize?) -no-such-struct: usb_wireless_cap_descriptor bad-field-number: usb_ext_cap_descriptor: syz=7 kernel=4 bad-bitfield: usb_ext_cap_descriptor.bmAttributes1/bmAttributes: size/offset: syz=8/0 kernel=0/0 bad-bitfield: usb_ssp_cap_descriptor.bmAttributesSublinkSpeeds/bmAttributes: size/offset: syz=5/0 kernel=0/0 diff --git a/tools/syz-check/check.go b/tools/syz-check/check.go index a94090a6a..a648aa54f 100644 --- a/tools/syz-check/check.go +++ b/tools/syz-check/check.go @@ -7,7 +7,8 @@ // $ syz-check -obj-amd64 /linux_amd64/vmlinux -obj-arm64 /linux_arm64/vmlinux \ // -obj-386 /linux_386/vmlinux -obj-arm /linux_arm/vmlinux // -// The vmlinux files should include debug info and enable all relevant configs (since we parse dwarf). +// The vmlinux files should include debug info, enable all relevant configs (since we parse dwarf), +// and be compiled with -fno-eliminate-unused-debug-types -fno-eliminate-unused-debug-symbols flags. // You may check only one arch as well (but then don't commit changes to warn files): // // $ syz-check -obj-amd64 /linux_amd64/vmlinux -- cgit mrf-deployment