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.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.txt.warn')
| -rw-r--r-- | sys/linux/dev_infiniband_rdma.txt.warn | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/sys/linux/dev_infiniband_rdma.txt.warn b/sys/linux/dev_infiniband_rdma.txt.warn index 0d1fe0b34..ecd0eba49 100644 --- a/sys/linux/dev_infiniband_rdma.txt.warn +++ b/sys/linux/dev_infiniband_rdma.txt.warn @@ -114,6 +114,12 @@ bad-field-size: ib_uverbs_flow_spec_action_count.size/handle: syz=2 kernel=4 bad-field-offset: ib_uverbs_flow_spec_action_count.reserved0/reserved1: syz=6 kernel=12 bad-field-size: ib_uverbs_flow_spec_action_count.reserved0/reserved1: syz=2 kernel=4 no-such-struct: union_ib_flow_spec +bad-field-size: ib_uverbs_flow_attr.reserved1/reserved: syz=1 kernel=2 +bad-field-offset: ib_uverbs_flow_attr.reserved2/port: syz=10 kernel=11 +bad-field-offset: ib_uverbs_flow_attr.port/flags: syz=11 kernel=12 +bad-field-size: ib_uverbs_flow_attr.port/flags: syz=1 kernel=4 +bad-field-offset: ib_uverbs_flow_attr.flags/flow_specs: syz=12 kernel=16 +bad-field-size: ib_uverbs_flow_attr.flags/flow_specs: syz=4 kernel=0 no-such-struct: create_flow_resp no-such-struct: destroy_flow_cmd no-such-struct: ib_uverbs_create_counters_cmd |