diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-01-23 14:07:01 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-01-23 15:05:21 +0100 |
| commit | 0e8428d26ffd80789aa83442676e6fb800e9c0ff (patch) | |
| tree | 5d110f7952fcdc8a64e0acb1f714d6d54505d3ff /sys/linux/dev_infiniband_rdma_cm.txt.warn | |
| parent | 9ab9b329d9c8d1477d5b2921671701d9a7a6d2cd (diff) | |
tools/syz-check: add limited checking of varlen structs
Stop at the fist varlen field, but check the preceeding ones.
Frequently the varlen array is the last field,
so we should get good checking for these cases.
Update #590
Diffstat (limited to 'sys/linux/dev_infiniband_rdma_cm.txt.warn')
| -rw-r--r-- | sys/linux/dev_infiniband_rdma_cm.txt.warn | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/sys/linux/dev_infiniband_rdma_cm.txt.warn b/sys/linux/dev_infiniband_rdma_cm.txt.warn index dbda9a410..3f40ef5b1 100644 --- a/sys/linux/dev_infiniband_rdma_cm.txt.warn +++ b/sys/linux/dev_infiniband_rdma_cm.txt.warn @@ -3,13 +3,5 @@ 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-size: rdma_ucm_event_resp.id: syz=8 kernel=4 -bad-field-number: rdma_ucm_set_option: syz=4 kernel=5 -bad-field-size: rdma_ucm_set_option.id_tos/optval: syz=24 kernel=8 -bad-field-offset: rdma_ucm_set_option.id_resuseaddr/id: syz=24 kernel=8 -bad-field-size: rdma_ucm_set_option.id_resuseaddr/id: syz=24 kernel=4 -bad-field-offset: rdma_ucm_set_option.id_afonly/level: syz=48 kernel=12 -bad-field-size: rdma_ucm_set_option.id_afonly/level: syz=24 kernel=4 -bad-field-offset: rdma_ucm_set_option.ib_path/optname: syz=72 kernel=16 -bad-field-size: rdma_ucm_set_option.ib_path/optname: syz=24 kernel=4 no-such-struct: rdma_ucm_set_option_t no-such-struct: sockaddr_rdma_cm |