diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-09-29 09:41:10 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-10-02 13:56:36 +0200 |
| commit | eb97aa06109e7b258c888b3c364533de17ec33ee (patch) | |
| tree | 1f345e449c62cf61a5b4417e866a8ca1c992b918 /sys/linux/vnet.txt | |
| parent | ffd2a08fd98c0e0834def0cbec1cf94182f1df6f (diff) | |
executor: support fragmentation in syz_emit_ethernet
A recent linux commit "tun: enable napi_gro_frags() for TUN/TAP driver"
added support for fragmentation when emitting packets via tun.
Support this feature in syz_emit_ethernet.
Diffstat (limited to 'sys/linux/vnet.txt')
| -rw-r--r-- | sys/linux/vnet.txt | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/sys/linux/vnet.txt b/sys/linux/vnet.txt index 3ec5430b8..0389f7133 100644 --- a/sys/linux/vnet.txt +++ b/sys/linux/vnet.txt @@ -4,7 +4,15 @@ include <linux/types.h> include <linux/byteorder/generic.h> -syz_emit_ethernet(len len[packet], packet ptr[in, eth_packet]) +syz_emit_ethernet(len len[packet], packet ptr[in, eth_packet], frags ptr[in, vnet_fragmentation, opt]) + +vnet_fragmentation { +# If set and we have remaining data after fragmentation, it is written in an additional fragment. +# If not set, data remaining after fragmentation is discarded. + full int32[0:1] + count len[frags, int32] + frags array[int32[0:4096], 1:4] +} resource tcp_seq_num[int32]: 0x42424242 |