From ac6c05788bacd0648a3fe6267f25c1d40a00ed98 Mon Sep 17 00:00:00 2001 From: Michael Tüxen Date: Wed, 5 Dec 2018 07:57:20 +0100 Subject: sys/freebsd: improve TCP tests * sys/freebsd: improve TCP tests Add missing TCP socket options for FreeBSD. * sys/freebsd: improve TCP tests Add socket option description for TCP_FASTOPEN. --- executor/defs.h | 2 +- executor/syscalls.h | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) (limited to 'executor') diff --git a/executor/defs.h b/executor/defs.h index fa308019d..8f8523515 100644 --- a/executor/defs.h +++ b/executor/defs.h @@ -20,7 +20,7 @@ #if GOARCH_amd64 #define GOARCH "amd64" -#define SYZ_REVISION "8b3b74aded84239fffe46ae19976fae0cbcd9030" +#define SYZ_REVISION "b002874fa6625d0210f2708e91ece47d21ba1a64" #define SYZ_EXECUTOR_USES_FORK_SERVER 1 #define SYZ_EXECUTOR_USES_SHMEM 1 #define SYZ_PAGE_SIZE 4096 diff --git a/executor/syscalls.h b/executor/syscalls.h index d523a8345..28aab3045 100644 --- a/executor/syscalls.h +++ b/executor/syscalls.h @@ -414,6 +414,8 @@ const call_t syscalls[] = { {"setsockopt$inet6_group_source_req", 105}, {"setsockopt$inet6_int", 105}, {"setsockopt$inet6_tcp_TCP_CONGESTION", 105}, + {"setsockopt$inet6_tcp_TCP_FASTOPEN", 105}, + {"setsockopt$inet6_tcp_TCP_FUNCTION_BLK", 105}, {"setsockopt$inet6_tcp_buf", 105}, {"setsockopt$inet6_tcp_int", 105}, {"setsockopt$inet6_udp", 105}, @@ -429,6 +431,8 @@ const call_t syscalls[] = { {"setsockopt$inet_msfilter", 105}, {"setsockopt$inet_opts", 105}, {"setsockopt$inet_tcp_TCP_CONGESTION", 105}, + {"setsockopt$inet_tcp_TCP_FASTOPEN", 105}, + {"setsockopt$inet_tcp_TCP_FUNCTION_BLK", 105}, {"setsockopt$inet_tcp_buf", 105}, {"setsockopt$inet_tcp_int", 105}, {"setsockopt$inet_udp", 105}, -- cgit mrf-deployment