From: Anshu Kumari <anskuma@redhat.com>
To: david@gibson.dropbear.id.au, sbrivio@redhat.com, passt-dev@passt.top
Cc: aerosound161@gmail.com, abdobngad@gmail.com, anskuma@redhat.com,
lvivier@redhat.com
Subject: [PATCH 1/5] fuzz: Add deterministic wrappers for system calls
Date: Wed, 12 Aug 2026 12:56:24 +0530 [thread overview]
Message-ID: <20260812072630.3235261-2-anskuma@redhat.com> (raw)
In-Reply-To: <20260812072630.3235261-1-anskuma@redhat.com>
Add fuzz.h and fuzz.c with wrapper implementations for
clock_gettime(), getrandom(), getsockopt(), recv(),
recvmsg(), recvfrom() and recvmmsg().
Under -DFUZZING, these macros replace the real system
calls across the codebase:
- fuzz_clock_gettime(): returns a deterministic clock that
advances by 1 microsecond per call.
- fuzz_getrandom(): fills buffers with a fixed 0x41 pattern.
- fuzz_getsockopt(): returns static values for TCP_INFO,
SO_ERROR, SO_RCVBUF, SO_SNDBUF.
- fuzz_recv/recvmsg/recvfrom/recvmmsg(): for fd_tap, calls
the real syscall; for all other fds, returns data from
AFL++ shared memory buffer
These wrappers eliminate kernel-level non-determinism during
AFL++ fuzzing.
Signed-off-by: Anshu Kumari <anskuma@redhat.com>
---
Makefile | 14 +--
fuzz.c | 275 +++++++++++++++++++++++++++++++++++++++++++++++++++++++
fuzz.h | 62 +++++++++++++
3 files changed, 344 insertions(+), 7 deletions(-)
create mode 100644 fuzz.c
create mode 100644 fuzz.h
diff --git a/Makefile b/Makefile
index b315242..fe1df58 100644
--- a/Makefile
+++ b/Makefile
@@ -38,7 +38,7 @@ PASST_SRCS = arch.c arp.c bitmap.c checksum.c conf.c dhcp.c dhcpv6.c \
isolation.c lineread.c log.c mld.c ndp.c netlink.c migrate.c packet.c \
parse.c passt.c pasta.c pcap.c pif.c repair.c serialise.c tap.c tcp.c \
tcp_buf.c tcp_splice.c tcp_vu.c udp.c udp_flow.c udp_vu.c util.c \
- vhost_user.c virtio.c vu_common.c
+ vhost_user.c virtio.c vu_common.c fuzz.c
PASST_REPAIR_SRCS = passt-repair.c
PESTO_SRCS = pesto.c bitmap.c fwd_rule.c inany.c ip.c lineread.c parse.c \
serialise.c
@@ -47,12 +47,12 @@ SRCS = $(PASST_SRCS) $(PASST_REPAIR_SRCS) $(PESTO_SRCS)
MANPAGES = passt.1 pasta.1 pesto.1 passt-repair.1
PASST_HEADERS = arch.h arp.h bitmap.h checksum.h conf.h dhcp.h dhcpv6.h \
- epoll_ctl.h flow.h fwd.h fwd_rule.h flow_table.h icmp.h icmp_flow.h \
- inany.h iov.h ip.h isolation.h lineread.h linux_dep.h log.h migrate.h \
- ndp.h netlink.h packet.h parse.h passt.h pasta.h pcap.h pif.h repair.h \
- serialise.h siphash.h tap.h tcp.h tcp_buf.h tcp_conn.h tcp_internal.h \
- tcp_splice.h tcp_vu.h udp.h udp_flow.h udp_internal.h udp_vu.h util.h \
- vhost_user.h virtio.h vu_common.h
+ epoll_ctl.h flow.h fwd.h fwd_rule.h flow_table.h fuzz.h icmp.h \
+ icmp_flow.h inany.h iov.h ip.h isolation.h lineread.h linux_dep.h \
+ log.h migrate.h ndp.h netlink.h packet.h parse.h passt.h pasta.h \
+ pcap.h pif.h repair.h serialise.h siphash.h tap.h tcp.h tcp_buf.h \
+ tcp_conn.h tcp_internal.h tcp_splice.h tcp_vu.h udp.h udp_flow.h \
+ udp_internal.h udp_vu.h util.h vhost_user.h virtio.h vu_common.h
PASST_REPAIR_HEADERS = linux_dep.h
PESTO_HEADERS = bitmap.h common.h fwd_rule.h inany.h ip.h log.h parse.h \
pesto.h serialise.h
diff --git a/fuzz.c b/fuzz.c
new file mode 100644
index 0000000..a1f6c01
--- /dev/null
+++ b/fuzz.c
@@ -0,0 +1,275 @@
+// SPDX-License-Identifier: GPL-2.0-or-later
+
+/* fuzz.c - AFL++ fuzzing support: deterministic wrappers for
+ * clock_gettime(), getrandom(), getsockopt(), recv(),
+ * recvmsg(), recvfrom() and recvmmsg()
+ *
+ * Copyright Red Hat
+ * Author: Anshu Kumari <anskuma@redhat.com>
+ */
+
+#ifdef FUZZING
+
+#include <string.h>
+#include <time.h>
+#include <errno.h>
+#include <netinet/tcp.h>
+#include "passt.h"
+#include "fuzz.h"
+
+/* Undo macros so definitions here call the real syscalls */
+#undef clock_gettime
+#undef getrandom
+#undef getsockopt
+#undef recv
+#undef recvmsg
+#undef recvfrom
+#undef recvmmsg
+
+const unsigned char *fuzz_recv_data;
+int fuzz_recv_data_len;
+
+#define FUZZ_CLOCK_BASE_SEC 10000
+
+static struct timespec fuzz_clock;
+
+/**
+ * fuzz_clock_reset() - Reset clock to fixed baseline
+ *
+ * Called at the start of every __AFL_LOOP iteration so
+ * the clock is identical regardless of iteration number.
+ */
+void fuzz_clock_reset(void)
+{
+ fuzz_clock.tv_sec = FUZZ_CLOCK_BASE_SEC;
+ fuzz_clock.tv_nsec = 0;
+}
+
+/**
+ * fuzz_clock_gettime() - Return deterministic time
+ * @clk: Clock ID
+ * @tp: Output timespec
+ *
+ * Return: 0 (always succeeds)
+ */
+int fuzz_clock_gettime(clockid_t clk, struct timespec *tp)
+{
+ (void)clk;
+ *tp = fuzz_clock;
+
+ /* increment the timestamp by 1 micro sec monotonically */
+ fuzz_clock.tv_nsec += 1000;
+ if (fuzz_clock.tv_nsec >= 1000000000) {
+ fuzz_clock.tv_sec++;
+ fuzz_clock.tv_nsec -= 1000000000;
+ }
+ return 0;
+}
+
+/**
+ * fuzz_getrandom() - Return static deterministic bytes
+ * @buf: Output buffer
+ * @buflen: Bytes to fill
+ * @flags: Ignored
+ *
+ * Fills buffer with a repeating 0x41 pattern. Every call with the
+ * same length returns identical bytes, eliminating randomness
+ *
+ * Return: buflen (always succeeds)
+ */
+ssize_t fuzz_getrandom(void *buf, size_t buflen, unsigned int flags)
+{
+ (void)flags;
+ memset(buf, 0x41, buflen);
+ return buflen;
+}
+
+/**
+ * fuzz_getsockopt() - Deterministic getsockopt wrapper
+ * @fd: Socket file descriptor
+ * @level: Protocol level
+ * @optname: Option name
+ * @optval: Output buffer
+ * @optlen: In/out option length
+ *
+ * For TCP_INFO, SO_ERROR, SO_RCVBUF, SO_SNDBUF returns determinstic
+ * values. For all other options: calls the real getsockopt.
+ *
+ * Return: 0 on success, -1 on error
+ */
+int fuzz_getsockopt(int fd, int level, int optname, void *optval,
+ socklen_t *optlen)
+{
+ if (level == SOL_SOCKET) {
+ if (optname == SO_ERROR) {
+ *(int *)optval = 0;
+ return 0;
+ }
+ if (optname == SO_RCVBUF || optname == SO_SNDBUF) {
+ *(int *)optval = 212992; /* default linux buff size */
+ return 0;
+ }
+ }
+
+ /* intercept SOL_TCP option: TCP_INFO */
+ if (level == SOL_TCP && optname == TCP_INFO) {
+ size_t fill = *optlen;
+
+ memset(optval, 0, fill);
+
+ if (fill >= sizeof(struct tcp_info)) {
+ struct tcp_info *ti = optval;
+
+ ti->tcpi_state = 1; /* TCP_ESTABLISHED */
+ ti->tcpi_rto = 200000; /* 200ms */
+ ti->tcpi_rtt = 1000; /* 1ms RTT */
+ ti->tcpi_rttvar = 500;
+ ti->tcpi_snd_mss = 1460;
+ ti->tcpi_rcv_mss = 1460;
+ ti->tcpi_snd_cwnd = 10;
+ ti->tcpi_advmss = 1460;
+ ti->tcpi_pmtu = 1500;
+
+ *optlen = sizeof(struct tcp_info);
+ }
+
+ return 0;
+ }
+
+ return getsockopt(fd, level, optname, optval, optlen);
+}
+
+/**
+ * fuzz_recv() - recv wrapper
+ * @fd: File descriptor
+ * @buf: Output buffer
+ * @len: Max bytes
+ * @flags: recv flags (passed through for fd_tap)
+ *
+ * real recv() for fd_tap, AFL++ data for everything else
+ *
+ * Return: bytes read, or -1
+ */
+ssize_t fuzz_recv(int fd, void *buf, size_t len, int flags)
+{
+ size_t n;
+
+ /* fd is TAP socket for UNIX connection */
+ if (fd == passt_ctx.fd_tap)
+ return recv(fd, buf, len, flags);
+
+ if (!fuzz_recv_data || fuzz_recv_data_len <= 0) {
+ errno = EAGAIN;
+ return -1;
+ }
+
+ n = (len < (size_t)fuzz_recv_data_len) ?
+ len : (size_t)fuzz_recv_data_len;
+ memcpy(buf, fuzz_recv_data, n);
+ fuzz_recv_data += n;
+ fuzz_recv_data_len -= n;
+ return n;
+}
+
+/**
+ * fuzz_recvmsg() - recvmsg wrapper
+ * @fd: File descriptor
+ * @msg: Message header
+ * @flags: recvmsg flags
+ *
+ * For fd_tap: calls real recvmsg. For all other fds: fills each
+ * buffer sequentially from the AFL++ shared memory stream.
+ *
+ * Return: total bytes read across all iovecs, or -1
+ */
+ssize_t fuzz_recvmsg(int fd, struct msghdr *msg, int flags)
+{
+ size_t total = 0;
+ size_t i;
+
+ if (fd == passt_ctx.fd_tap)
+ return recvmsg(fd, msg, flags);
+
+ if (!fuzz_recv_data || fuzz_recv_data_len <= 0) {
+ errno = EAGAIN;
+ return -1;
+ }
+
+ for (i = 0; i < (size_t)msg->msg_iovlen &&
+ fuzz_recv_data_len > 0; i++) {
+ size_t n = msg->msg_iov[i].iov_len;
+
+ if ((int)n > fuzz_recv_data_len)
+ n = fuzz_recv_data_len;
+ memcpy(msg->msg_iov[i].iov_base, fuzz_recv_data, n);
+ fuzz_recv_data += n;
+ fuzz_recv_data_len -= n;
+ total += n;
+ }
+
+ return total;
+}
+
+/**
+ * fuzz_recvfrom() - recvfrom wrapper
+ * @fd: File descriptor
+ * @buf: Output buffer
+ * @len: Max bytes
+ * @flags: recv flags
+ * @src: Source address output
+ * @addrlen: Source address length
+ *
+ * For fd_tap: calls real recvfrom(). For all other fds: zeroes the
+ * source address (so callers see a deterministic sender) and
+ * delegates to fuzz_recv() for the payload.
+ *
+ * Return: bytes read, or -1
+ */
+ssize_t fuzz_recvfrom(int fd, void *buf, size_t len, int flags,
+ struct sockaddr *src, socklen_t *addrlen)
+{
+ if (fd == passt_ctx.fd_tap)
+ return recvfrom(fd, buf, len, flags, src, addrlen);
+
+ if (src && addrlen)
+ memset(src, 0, *addrlen);
+
+ return fuzz_recv(fd, buf, len, flags);
+}
+
+/**
+ * fuzz_recvmmsg() - recvmmsg wrapper
+ * @fd: File descriptor
+ * @mmh: Array of mmsghdr structures to fill
+ * @vlen: Number of mmsghdr entries available
+ * @flags: recv flags
+ * @timeout: Timeout
+ *
+ * For fd_tap: calls real recvmmsg(). For all other fds: fills only
+ * the first message from the AFL++ buffer via fuzz_recvmsg() and
+ * returns 1.
+ *
+ * Return: number of messages received (0 or 1), or -1
+ */
+int fuzz_recvmmsg(int fd, struct mmsghdr *mmh, unsigned int vlen,
+ int flags, struct timespec *timeout)
+{
+ ssize_t n;
+
+ if (fd == passt_ctx.fd_tap)
+ return recvmmsg(fd, mmh, vlen, flags, timeout);
+
+ if (!vlen || !fuzz_recv_data || fuzz_recv_data_len <= 0) {
+ errno = EAGAIN;
+ return -1;
+ }
+
+ n = fuzz_recvmsg(fd, &mmh[0].msg_hdr, flags);
+ if (n < 0)
+ return -1;
+
+ mmh[0].msg_len = n;
+ return 1;
+}
+
+#endif
diff --git a/fuzz.h b/fuzz.h
new file mode 100644
index 0000000..3f834a0
--- /dev/null
+++ b/fuzz.h
@@ -0,0 +1,62 @@
+//SPDX-License-Identifier: GPL-2.0-or-later
+
+/* fuzz.h - AFL++ fuzzing support for passt
+ *
+ * Copyright Red Hat
+ * Author: Anshu Kumari <anskuma@redhat.com>
+ */
+
+#ifndef FUZZ_H
+#define FUZZ_H
+
+#ifdef FUZZING
+
+#include <stdint.h>
+#include <stddef.h>
+#include <time.h>
+#include <sys/types.h>
+#include <sys/socket.h>
+
+int fuzz_clock_gettime(clockid_t clk, struct timespec *tp);
+void fuzz_clock_reset(void);
+ssize_t fuzz_getrandom(void *buf, size_t buflen, unsigned int flags);
+int fuzz_getsockopt(int fd, int level, int optname, void *optval,
+ socklen_t *optlen);
+
+#define clock_gettime(clk, tp) fuzz_clock_gettime(clk, tp)
+#define getrandom(buf, len, flags) fuzz_getrandom(buf, len, flags)
+#define getsockopt(fd, level, name, val, len) \
+ fuzz_getsockopt(fd, level, name, val, len)
+
+/* AFL++ buf layout: [0..11] epoll_event, [12..65547] recv payload */
+#define FUZZ_RECV_OFF 12
+#define FUZZ_RECV_MAX (64 * 1024)
+
+extern const unsigned char *fuzz_recv_data;
+extern int fuzz_recv_data_len;
+
+ssize_t fuzz_recv(int fd, void *buf, size_t len, int flags);
+ssize_t fuzz_recvmsg(int fd, struct msghdr *msg, int flags);
+ssize_t fuzz_recvfrom(int fd, void *buf, size_t len, int flags,
+ struct sockaddr *src, socklen_t *addrlen);
+int fuzz_recvmmsg(int fd, struct mmsghdr *mmh, unsigned int vlen,
+ int flags, struct timespec *timeout);
+
+/* Override existing wrappers for recvfrom() present inside util.h*/
+#undef recvfrom
+
+#define recv(fd, buf, len, flags) fuzz_recv(fd, buf, len, flags)
+#define recvmsg(fd, msg, flags) fuzz_recvmsg(fd, msg, flags)
+#define recvfrom(fd, buf, len, flags, src, sl) \
+ fuzz_recvfrom(fd, buf, len, flags, src, sl)
+#define recvmmsg(fd, mmh, vlen, flags, timeout) \
+ fuzz_recvmmsg(fd, mmh, vlen, flags, timeout)
+
+#define FUZZ_TURN_PATH "/dev/shm/passt_fuzz_turn"
+
+struct fuzz_turn {
+ uint32_t turn;
+};
+
+#endif
+#endif
--
2.55.0
next prev parent reply other threads:[~2026-08-12 7:26 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-08-12 7:26 [PATCH 0/5] Add AFL++ fuzzing support for passt Anshu Kumari
2026-08-12 7:26 ` Anshu Kumari [this message]
2026-08-13 3:46 ` [PATCH 1/5] fuzz: Add deterministic wrappers for system calls David Gibson
2026-08-12 7:26 ` [PATCH 2/5] fuzz: Add flow type guards for fuzzing stability Anshu Kumari
2026-08-13 4:45 ` David Gibson
2026-08-12 7:26 ` [PATCH 3/5] fuzz: Bypass isolation and adapt sockets for AFL++ Anshu Kumari
2026-08-13 5:04 ` David Gibson
2026-08-12 7:26 ` [PATCH 4/5] fuzz: Add AFL++ persistent mode fuzz loop Anshu Kumari
2026-08-12 7:26 ` [PATCH 5/5] fuzz: Add test server for bidirectional protocol fuzzing Anshu Kumari
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20260812072630.3235261-2-anskuma@redhat.com \
--to=anskuma@redhat.com \
--cc=abdobngad@gmail.com \
--cc=aerosound161@gmail.com \
--cc=david@gibson.dropbear.id.au \
--cc=lvivier@redhat.com \
--cc=passt-dev@passt.top \
--cc=sbrivio@redhat.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://passt.top/passt
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for IMAP folder(s).