mirror of
https://github.com/reactos/syzkaller.git
synced 2025-02-23 05:02:30 +00:00
538a105600
Squash of: * Doc typo * Ported some tun related functions. * Copy vnet.txt from linux to openbsd. * Simplified syz_emit_ethernet and stubbed out vnet.txt. * Undo clang-format header sorting: headers are order sensitive. * Uniquify tap devices by pid. * clang-format off for includes * Happier clang-format. * Partially revert "Uniquify tap devices by pid." Just rely on procid magic instead of getting it from a flag.
21 lines
893 B
Plaintext
21 lines
893 B
Plaintext
# Copyright 2018 syzkaller project authors. All rights reserved.
|
|
# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.
|
|
|
|
# TODO(blackgnezdo): discover a cheap way to share protocol
|
|
# descriptions between different OSs. They are platform agnostic
|
|
# and should not need to be recreated on each platform.
|
|
|
|
syz_emit_ethernet(len len[packet], packet ptr[in, array[int8]])
|
|
|
|
resource tcp_seq_num[int32]: 0x41424344
|
|
|
|
tcp_resources {
|
|
seq tcp_seq_num
|
|
ack tcp_seq_num
|
|
}
|
|
|
|
# These pseudo syscalls read a packet from tap device and extract tcp sequence and acknowledgement numbers from it.
|
|
# They also adds the inc arguments to the returned values, this way sequence numbers get incremented.
|
|
syz_extract_tcp_res(res ptr[out, tcp_resources], seq_inc int32, ack_inc int32)
|
|
syz_extract_tcp_res$synack(res ptr[out, tcp_resources], seq_inc const[1], ack_inc const[0])
|