diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-12-09 07:42:48 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-12-17 19:03:39 +0100 |
| commit | 64ca0a371100fc7dfdb20de9263763e46c88a436 (patch) | |
| tree | 0e417568271dbbcc5817034a624a31d62bf20633 /sys/linux/dev_infiniband_rdma_cm.txt.warn | |
| parent | f950e82d47572b79581fd6b8355504cddb06a7f4 (diff) | |
tools/syz-check: add description checking utility
syz-check parses vmlinux dwarf, extracts struct descriptions,
compares them with what we have (size, fields, alignment, etc)
and produces .warn files.
This is first raw version, it can be improved in a number of ways.
But it already helped to identify a critical issue #1542
and shows some wrong struct descriptions.
Update #590
Diffstat (limited to 'sys/linux/dev_infiniband_rdma_cm.txt.warn')
| -rw-r--r-- | sys/linux/dev_infiniband_rdma_cm.txt.warn | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/sys/linux/dev_infiniband_rdma_cm.txt.warn b/sys/linux/dev_infiniband_rdma_cm.txt.warn new file mode 100644 index 000000000..e77326053 --- /dev/null +++ b/sys/linux/dev_infiniband_rdma_cm.txt.warn @@ -0,0 +1,13 @@ +0164: struct rdma_ucm_create_mcast_id_resp: no corresponding struct in kernel +0179: struct rdma_ucm_leave_mcast: no corresponding struct in kernel +0189: struct rdma_ucm_event_resp: bad number of fields: syz=2 kernel=6 +0191: field rdma_ucm_event_resp.id/id: bad size: syz=8 kernel=4 +0196: struct rdma_ucm_set_option: bad number of fields: syz=4 kernel=5 +0197: field rdma_ucm_set_option.id_tos/optval: bad size: syz=24 kernel=8 +0198: field rdma_ucm_set_option.id_resuseaddr/id: bad offset: syz=24 kernel=8 +0198: field rdma_ucm_set_option.id_resuseaddr/id: bad size: syz=24 kernel=4 +0199: field rdma_ucm_set_option.id_afonly/level: bad offset: syz=48 kernel=12 +0199: field rdma_ucm_set_option.id_afonly/level: bad size: syz=24 kernel=4 +0200: field rdma_ucm_set_option.ib_path/optname: bad offset: syz=72 kernel=16 +0200: field rdma_ucm_set_option.ib_path/optname: bad size: syz=24 kernel=4 +0245: struct sockaddr_rdma_cm: no corresponding struct in kernel |