mirror of
https://github.com/wolfSSL/wolfssl.git
synced 2026-08-10 22:51:22 +02:00
Daniele Lacamera
a32a2384f7
Add test_wc_FalconDecisionCoverage to the falcon API group, covering the public wc_falcon_* wrapper decisions (level checks, import/export and sign/verify argument guards, init_id/init_label) with per-condition MC/DC independence cases. Add tests/unit-mcdc/test_falcon_whitebox.c, a standalone binary that #includes falcon.c and drives its file-static encode/decode/zint/modp/ sampler/keygen-solver/sign guards -- including the small-mem falcon_do_sign_dyn twin -- with both halves of each independence pair, plus a real Falcon-512 make/sign/verify round-trip for the proceed halves. Register the whitebox in EXTRA_DIST (test-only; it is not part of the library build).
145 lines
6.5 KiB
Plaintext
145 lines
6.5 KiB
Plaintext
# vim:ft=automake
|
|
# included from Top Level Makefile.am
|
|
# All paths should be given relative to the root
|
|
|
|
|
|
if BUILD_TESTS
|
|
noinst_PROGRAMS += tests/unit.test
|
|
tests_unit_test_SOURCES = \
|
|
tests/unit.c \
|
|
tests/api.c \
|
|
tests/utils.c \
|
|
testsuite/utils.c \
|
|
tests/suites.c \
|
|
tests/w64wrapper.c \
|
|
tests/srp.c \
|
|
tests/quic.c \
|
|
examples/client/client.c \
|
|
examples/server/server.c
|
|
|
|
if BUILD_WOLFCRYPT_TESTS
|
|
tests_unit_test_SOURCES += wolfcrypt/test/test.c
|
|
endif
|
|
|
|
tests_unit_test_CFLAGS = -DNO_MAIN_DRIVER $(AM_CFLAGS) $(WOLFSENTRY_INCLUDE)
|
|
tests_unit_test_LDADD = src/libwolfssl@LIBSUFFIX@.la $(LIB_STATIC_ADD) $(WOLFSENTRY_LIB)
|
|
tests_unit_test_DEPENDENCIES = src/libwolfssl@LIBSUFFIX@.la
|
|
if BUILD_SWDEV
|
|
tests_unit_test_SOURCES += tests/swdev/swdev_loader.c
|
|
tests_unit_test_LDADD += $(top_builddir)/tests/swdev/build/swdev.o $(LIBM)
|
|
tests_unit_test_DEPENDENCIES += $(top_builddir)/tests/swdev/build/swdev.o
|
|
endif
|
|
include tests/api/include.am
|
|
endif
|
|
EXTRA_DIST += tests/unit.h \
|
|
tests/test.conf \
|
|
tests/test-sha2.conf \
|
|
tests/test-tls13.conf \
|
|
tests/test-tls13-down.conf \
|
|
tests/test-tls13-ecc.conf \
|
|
tests/test-tls13-psk.conf \
|
|
tests/test-tls13-pq-standalone.conf \
|
|
tests/test-tls13-pq-hybrid.conf \
|
|
tests/test-tls13-pq-hybrid-extra.conf \
|
|
tests/test-tls13-slhdsa-shake.conf \
|
|
tests/test-tls13-slhdsa-sha2.conf \
|
|
tests/test-tls13-slhdsa-fail.conf \
|
|
tests/test-dtls13-pq-standalone.conf \
|
|
tests/test-dtls13-pq-standalone-frag.conf \
|
|
tests/test-dtls13-pq-hybrid-frag.conf \
|
|
tests/test-dtls13-pq-hybrid-extra.conf \
|
|
tests/test-dtls13-pq-hybrid-extra-frag.conf \
|
|
tests/test-psk.conf \
|
|
tests/test-psk-no-id.conf \
|
|
tests/test-psk-no-id-sha2.conf \
|
|
tests/test-dtls.conf \
|
|
tests/test-dtls-downgrade.conf \
|
|
tests/test-dtls-fails.conf \
|
|
tests/test-dtls-fails-cipher.conf \
|
|
tests/test-dtls-group.conf \
|
|
tests/test-dtls-mtu.conf \
|
|
tests/test-dtls-reneg-client.conf \
|
|
tests/test-dtls-reneg-server.conf \
|
|
tests/test-dtls-resume.conf \
|
|
tests/test-dtls-sha2.conf \
|
|
tests/test-dtls-srtp.conf \
|
|
tests/test-dtls-srtp-fails.conf \
|
|
tests/test-dtls13.conf \
|
|
tests/test-dtls13-downgrade.conf \
|
|
tests/test-dtls13-downgrade-fails.conf \
|
|
tests/test-dtls13-psk.conf \
|
|
tests/test-dtls13-cid.conf \
|
|
tests/test-sctp.conf \
|
|
tests/test-sctp-sha2.conf \
|
|
tests/test-sig.conf \
|
|
tests/test-rsapss.conf \
|
|
tests/test-ed25519.conf \
|
|
tests/test-ed448.conf \
|
|
tests/test-enckeys.conf \
|
|
tests/test-maxfrag.conf \
|
|
tests/test-maxfrag-dtls.conf \
|
|
tests/test-fails.conf \
|
|
tests/test-chains.conf \
|
|
tests/test-altchains.conf \
|
|
tests/test-trustpeer.conf \
|
|
tests/test-dhprime.conf \
|
|
tests/test-p521.conf \
|
|
tests/test-ecc-cust-curves.conf \
|
|
tests/test-sm2.conf \
|
|
tests/NCONF_test.cnf \
|
|
tests/test-tls-downgrade.conf \
|
|
tests/TXT_DB.txt \
|
|
tests/utils.h \
|
|
tests/emnet/IP/IP.h \
|
|
tests/emnet/emnet_shim.c \
|
|
tests/emnet/emnet_nonblock_test.c \
|
|
tests/emnet/Makefile \
|
|
tests/freertos-mem-track-repro/user_settings.h \
|
|
tests/freertos-mem-track-repro/repro.c \
|
|
tests/freertos-mem-track-repro/FreeRTOS.h \
|
|
tests/freertos-mem-track-repro/semphr.h \
|
|
tests/freertos-mem-track-repro/task.h \
|
|
tests/freertos-mem-track-repro/run.sh
|
|
DISTCLEANFILES+= tests/.libs/unit.test
|
|
|
|
# MC/DC white-box coverage supplements (tests/unit-mcdc/).
|
|
#
|
|
# These are NOT part of the wolfSSL build: each file #includes a wolfCrypt .c
|
|
# directly and defines its own main(), so it cannot be a unit.test source (that
|
|
# would duplicate main() and the included .c's symbols). They are compiled
|
|
# standalone, one at a time, by the out-of-tree per-module MC/DC coverage
|
|
# campaign, which reads them from this directory. They are listed in EXTRA_DIST
|
|
# only so the source-completeness check accounts for them and so they ship in
|
|
# the dist tarball -- the same treatment tests/api/include.am gives its
|
|
# non-compiled files. Do not move them to tests_unit_test_SOURCES.
|
|
EXTRA_DIST += \
|
|
tests/unit-mcdc/mcdc_fault_alloc.h \
|
|
tests/unit-mcdc/test_blake2b_whitebox.c \
|
|
tests/unit-mcdc/test_blake2s_whitebox.c \
|
|
tests/unit-mcdc/test_cryptocb_whitebox.c \
|
|
tests/unit-mcdc/test_dsa_fault_whitebox.c \
|
|
tests/unit-mcdc/test_eccsi_fault_whitebox.c \
|
|
tests/unit-mcdc/test_eccsi_whitebox.c \
|
|
tests/unit-mcdc/test_falcon_whitebox.c \
|
|
tests/unit-mcdc/test_frodokem_fault_common.h \
|
|
tests/unit-mcdc/test_frodokem_fault_whitebox.c \
|
|
tests/unit-mcdc/test_frodokem_mat_fault_whitebox.c \
|
|
tests/unit-mcdc/test_hpke_fault_whitebox.c \
|
|
tests/unit-mcdc/test_hpke_whitebox.c \
|
|
tests/unit-mcdc/test_integer_fault_whitebox.c \
|
|
tests/unit-mcdc/test_logging_globalq_whitebox.c \
|
|
tests/unit-mcdc/test_logging_whitebox.c \
|
|
tests/unit-mcdc/test_memory_whitebox.c \
|
|
tests/unit-mcdc/test_mldsa_fault_whitebox.c \
|
|
tests/unit-mcdc/test_mlkem_fault_whitebox.c \
|
|
tests/unit-mcdc/test_rsa_fault_whitebox.c \
|
|
tests/unit-mcdc/test_sakke_fault_whitebox.c \
|
|
tests/unit-mcdc/test_sakke_whitebox.c \
|
|
tests/unit-mcdc/test_sp_arm32_whitebox.c \
|
|
tests/unit-mcdc/test_sp_arm64_whitebox.c \
|
|
tests/unit-mcdc/test_sp_armthumb_whitebox.c \
|
|
tests/unit-mcdc/test_sp_c32_whitebox.c \
|
|
tests/unit-mcdc/test_sp_c64_whitebox.c \
|
|
tests/unit-mcdc/test_sp_cortexm_whitebox.c \
|
|
tests/unit-mcdc/test_sp_x86_64_whitebox.c
|