src/fuzz/Makefile.am - master - githubmirror/libmicrohttpd

src/fuzz/Makefile.am
178 строк6 KB
Christian Grothoff
more fuzzing fun
29 июл 2026, 18:13
29 июл 2026, 18:13d623ab0
# This Makefile.am is in the public domain

# In-process fuzzing harnesses.  See README in this directory.
#
# The harnesses are built only with --enable-fuzzing (see
# BUILD-INTEGRATION.md).  They are ordinary check_PROGRAMS with a
# built-in deterministic driver, so they need neither clang nor
# libFuzzer nor AFL++; with those available the very same sources can be
# compiled into libFuzzer/AFL++ targets (again, see the README).

SUBDIRS = .

# Number of generate/mutate iterations per harness during "make check".
# Raise for a real fuzzing session, e.g.
#   make MHD_FUZZ_ITERATIONS=1000000 MHD_FUZZ_SEED=42 check
# The whole suite takes about three seconds under ASAN+UBSAN at this value.
MHD_FUZZ_ITERATIONS = 50000

# PRNG seed; every run is exactly reproducible from (harness, seed).
MHD_FUZZ_SEED = 1

# Lower bound for MHD_OPTION_CLIENT_DISCIPLINE_LVL in fuzz_request.
# -3 is the full range: it includes the deliberately non-conformant
# parsing modes, which is where the most interesting inputs live.
MHD_FUZZ_MIN_DISCIPLINE = -3

# Lower bound for MHD_OPTION_CONNECTION_MEMORY_LIMIT in fuzz_request.
# 0 is the full range, including the tiny pools needed to reach the
# read-buffer "shift back" code path.
MHD_FUZZ_MIN_MEM_LIMIT = 0

# Where reproducers for failing inputs are written.
MHD_FUZZ_CRASH_DIR = crashes

AM_CPPFLAGS = \
  -I$(top_srcdir)/src/include \
  -I$(top_srcdir)/src/microhttpd \
  $(CPPFLAGS_ac)

AM_CFLAGS = $(CFLAGS_ac)

AM_LDFLAGS = $(LDFLAGS_ac)

AM_TESTS_ENVIRONMENT = $(TESTS_ENVIRONMENT_ac) \
  MHD_FUZZ_ITERATIONS="$(MHD_FUZZ_ITERATIONS)" ; \
  export MHD_FUZZ_ITERATIONS ; \
  MHD_FUZZ_SEED="$(MHD_FUZZ_SEED)" ; export MHD_FUZZ_SEED ; \
  MHD_FUZZ_MIN_DISCIPLINE="$(MHD_FUZZ_MIN_DISCIPLINE)" ; \
  export MHD_FUZZ_MIN_DISCIPLINE ; \
  MHD_FUZZ_MIN_MEM_LIMIT="$(MHD_FUZZ_MIN_MEM_LIMIT)" ; \
  export MHD_FUZZ_MIN_MEM_LIMIT ; \
  MHD_FUZZ_CRASH_DIR="$(MHD_FUZZ_CRASH_DIR)" ; \
  export MHD_FUZZ_CRASH_DIR ;

if USE_COVERAGE
  AM_CFLAGS += -fprofile-arcs -ftest-coverage
endif

# fuzz_str and fuzz_auth_header call functions that are internal to the
# library (mhd_str.c, gen_auth.c, memorypool.c) and therefore hidden in
# the shared object; link them against the static archive.  This
# requires a build with --enable-static (the default).
LDADD = \
  $(top_builddir)/src/microhttpd/libmicrohttpd.la

$(top_builddir)/src/microhttpd/libmicrohttpd.la: $(top_builddir)/src/microhttpd/Makefile
	@echo ' cd $(top_builddir)/src/microhttpd && $(MAKE) $(AM_MAKEFLAGS) libmicrohttpd.la'; \
	$(am__cd) $(top_builddir)/src/microhttpd && $(MAKE) $(AM_MAKEFLAGS) libmicrohttpd.la

check_PROGRAMS = \
  fuzz_request \
  fuzz_options \
  fuzz_eventloop \
  fuzz_str \
  fuzz_memorypool \
  fuzz_postprocessor

if HAVE_ANYAUTH
check_PROGRAMS += \
  fuzz_auth_header
endif

# fuzz_tls needs a TLS backend, and it links GnuTLS directly of its own
# accord: it drives a real client through the handshake rather than
# feeding bytes at MHD, which is what makes MHD's own TLS plumbing --
# rather than GnuTLS's record parser -- the thing under test.
if ENABLE_HTTPS
check_PROGRAMS += \
  fuzz_tls
endif

.NOTPARALLEL:

TESTS = $(check_PROGRAMS)

fuzz_request_SOURCES = \
  fuzz_request.c fuzz_common.h
fuzz_request_LDFLAGS = $(AM_LDFLAGS) -static

fuzz_options_SOURCES = \
  fuzz_options.c fuzz_common.h
fuzz_options_LDFLAGS = $(AM_LDFLAGS) -static

fuzz_eventloop_SOURCES = \
  fuzz_eventloop.c fuzz_common.h
fuzz_eventloop_LDFLAGS = $(AM_LDFLAGS) -static

fuzz_tls_SOURCES = \
  fuzz_tls.c fuzz_common.h
fuzz_tls_CPPFLAGS = $(AM_CPPFLAGS) $(MHD_TLS_LIB_CPPFLAGS)
fuzz_tls_LDFLAGS = $(AM_LDFLAGS) $(MHD_TLS_LIB_LDFLAGS) -static
fuzz_tls_LDADD = $(LDADD) $(MHD_TLS_LIBDEPS)

fuzz_str_SOURCES = \
  fuzz_str.c fuzz_common.h
fuzz_str_LDFLAGS = $(AM_LDFLAGS) -static

fuzz_auth_header_SOURCES = \
  fuzz_auth_header.c fuzz_common.h
fuzz_auth_header_LDFLAGS = $(AM_LDFLAGS) -static

fuzz_memorypool_SOURCES = \
  fuzz_memorypool.c fuzz_common.h
fuzz_memorypool_LDFLAGS = $(AM_LDFLAGS) -static

fuzz_postprocessor_SOURCES = \
  fuzz_postprocessor.c fuzz_common.h
fuzz_postprocessor_LDFLAGS = $(AM_LDFLAGS) -static

# The whole corpus directory is distributed as-is.
EXTRA_DIST = \
  README \
  BUILD-INTEGRATION.md \
  corpus

CLEANFILES = \
  $(MHD_FUZZ_CRASH_DIR)/*.bin

# Regenerate the on-disk seed corpus from the built-in one.
.PHONY: refresh-corpus
refresh-corpus: $(check_PROGRAMS)
	for p in $(check_PROGRAMS) ; do \
	  ./$$p --write-corpus=$(srcdir)/corpus || exit 1 ; \
	done

# Replay the whole on-disk corpus through every harness; this is what a
# CI regression run should do after a crash has been fixed.
#
# corpus/known-findings/ and corpus/distilled/ are listed separately
# because --corpus-dir does not recurse.
#
# known-findings/ holds the reproducers of the findings in README
# section 6; all of them are fixed, so anything failing there is a
# regression.  The one intended exception is a reproducer committed while
# its finding is still open: that fails here until the fix lands, which
# is what a regression test for an unfixed bug is supposed to do.
#
# distilled/ is the edge-minimal residue of a fuzzing campaign; see
# corpus/README.  It is the slowest part of check-corpus by file count
# and the most valuable part by coverage.
#
# Note that these only bite on a tree configured with --enable-asserts;
# without it mhd_assert() compiles away and most of these reproducers
# pass whether MHD is fixed or not.
CORPUS_DIRS = \
  $(srcdir)/corpus \
  $(srcdir)/corpus/known-findings \
  $(srcdir)/corpus/distilled

.PHONY: check-corpus
check-corpus: $(check_PROGRAMS)
	for p in $(check_PROGRAMS) ; do \
	  for d in $(CORPUS_DIRS) ; do \
	    MHD_FUZZ_MIN_DISCIPLINE="$(MHD_FUZZ_MIN_DISCIPLINE)" \
	    MHD_FUZZ_MIN_MEM_LIMIT="$(MHD_FUZZ_MIN_MEM_LIMIT)" \
	      ./$$p --corpus-dir=$$d || exit 1 ; \
	  done ; \
	done