Skip to content

Mcdc test coverage - part 6 #11122

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
danielinux wants to merge 20 commits into
base: master
Choose a base branch
from
Draft

Mcdc test coverage - part 6 #11122

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
69a66c9
tests: drive the SP FP-ECC cache mutex guards
danielinux Aug 10, 2026
44895a3
tests: cover the new puf argument guards
danielinux Aug 10, 2026
1247415
tests: drive the ecc argument-guard operands
danielinux Aug 10, 2026
2de5ee5
tests: drive the PEM-to-DER and EncryptedInfoParse guards
danielinux Aug 10, 2026
a20e94e
tests: drive the PKCS7 public argument chains
danielinux Aug 10, 2026
99763b4
tests: add a wc_encrypt white-box for the argument chains
danielinux Aug 10, 2026
f9a0b91
tests: add heap-fault white-boxes for the SP backends and sp_int
danielinux Aug 10, 2026
63390ae
tests: sweep allocation failures through the sp_x86_64 static drivers
danielinux Aug 10, 2026
8d1bd77
tests: close the mlkem and mldsa sampler, dispatch and guard rows
danielinux Aug 10, 2026
a6542e7
tests: close argument and allocation guards across the small modules
danielinux Aug 10, 2026
9f4dbdb
tests: close the asn certificate, CRL and encoding guard rows
danielinux Aug 10, 2026
bacdbb2
tests: add hash and mp fault injectors, drive the stateful-hash error…
danielinux Aug 10, 2026
f4160ce
tests: drive the PKCS7 argument chains and decode mutations
danielinux Aug 10, 2026
878a8af
tests: drive the SP host-backend crafted entry points
danielinux Aug 10, 2026
cc8ce85
tests: add asn certificate fixtures for the chain and serial guards
danielinux Aug 10, 2026
fef0df1
tests: drive the sp_int and integer error chains and width guards
danielinux Aug 10, 2026
43905fd
tests: drive the SP ARM lane signature and inverse guards
danielinux Aug 10, 2026
b4cdf15
tests: drive the ecc fp-cache and rsa PSS and heap-fault rows
danielinux Aug 10, 2026
e3d9123
tests: call the SP entry points directly under the fault sweep
danielinux Aug 10, 2026
3c4ac24
tests: drive the falcon sampler, NTRU solver and key-check guards
danielinux Aug 10, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
24 changes: 23 additions & 1 deletion tests/include.am
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -121,6 +121,9 @@ DISTCLEANFILES+= tests/.libs/unit.test
EXTRA_DIST += \
tests/unit-mcdc/README.md \
tests/unit-mcdc/mcdc_fault_alloc.h \
tests/unit-mcdc/mcdc_fault_hash.h \
tests/unit-mcdc/mcdc_fault_mp.h \
tests/unit-mcdc/mcdc_fault_mutex.h \
tests/unit-mcdc/test_aes_whitebox.c \
tests/unit-mcdc/test_asn_cert_whitebox.c \
tests/unit-mcdc/test_asn_certgen_whitebox.c \
Expand All @@ -147,11 +150,14 @@ EXTRA_DIST += \
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_frodokem_mat_hash_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_integer_whitebox.c \
tests/unit-mcdc/test_kdf_whitebox.c \
tests/unit-mcdc/test_lms_fault_whitebox.c \
tests/unit-mcdc/test_lms_hash_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 \
Expand All @@ -160,8 +166,10 @@ EXTRA_DIST += \
tests/unit-mcdc/test_pkcs12_fault_whitebox.c \
tests/unit-mcdc/test_pkcs12_parse_whitebox.c \
tests/unit-mcdc/test_pkcs12_whitebox.c \
tests/unit-mcdc/test_pkcs7_arg_whitebox.c \
tests/unit-mcdc/test_pkcs7_decode_whitebox.c \
tests/unit-mcdc/test_pkcs7_fault_whitebox.c \
tests/unit-mcdc/test_pkcs7_mutate_whitebox.c \
tests/unit-mcdc/test_pkcs7_whitebox.c \
tests/unit-mcdc/test_poly1305_whitebox.c \
tests/unit-mcdc/test_puf_whitebox.c \
Expand All @@ -173,23 +181,37 @@ EXTRA_DIST += \
tests/unit-mcdc/test_sha256_whitebox.c \
tests/unit-mcdc/test_sha3_whitebox.c \
tests/unit-mcdc/test_sha512_whitebox.c \
tests/unit-mcdc/test_she_whitebox.c \
tests/unit-mcdc/test_slhdsa_hash_fault_whitebox.c \
tests/unit-mcdc/test_slhdsa_whitebox.c \
tests/unit-mcdc/test_sp_arm32_fault_whitebox.c \
tests/unit-mcdc/test_sp_arm32_whitebox.c \
tests/unit-mcdc/test_sp_arm64_fault_whitebox.c \
tests/unit-mcdc/test_sp_arm64_whitebox.c \
tests/unit-mcdc/test_sp_arm_fault_common.h \
tests/unit-mcdc/test_sp_armthumb_fault_whitebox.c \
tests/unit-mcdc/test_sp_armthumb_whitebox.c \
tests/unit-mcdc/test_sp_c32_fault_whitebox.c \
tests/unit-mcdc/test_sp_c32_whitebox.c \
tests/unit-mcdc/test_sp_c64_fault_whitebox.c \
tests/unit-mcdc/test_sp_c64_whitebox.c \
tests/unit-mcdc/test_sp_cortexm_whitebox.c \
tests/unit-mcdc/test_sp_crafted_common.h \
tests/unit-mcdc/test_sp_fault_common.h \
tests/unit-mcdc/test_sp_int_fault_whitebox.c \
tests/unit-mcdc/test_sp_int_whitebox.c \
tests/unit-mcdc/test_sp_x86_64_fault_whitebox.c \
tests/unit-mcdc/test_sp_x86_64_whitebox.c \
tests/unit-mcdc/test_tfm_whitebox.c \
tests/unit-mcdc/test_tsp_fault_whitebox.c \
tests/unit-mcdc/test_tsp_whitebox.c \
tests/unit-mcdc/test_wc_encrypt_whitebox.c \
tests/unit-mcdc/test_wc_lms_impl_whitebox.c \
tests/unit-mcdc/test_wc_lms_impl_whitebox_gap.c \
tests/unit-mcdc/test_wc_mldsa_whitebox.c \
tests/unit-mcdc/test_wc_mlkem_poly_whitebox.c \
tests/unit-mcdc/test_wc_port_whitebox.c \
tests/unit-mcdc/test_wc_xmss_impl_whitebox.c \
tests/unit-mcdc/test_wolfentropy_whitebox.c \
tests/unit-mcdc/test_xmss_fault_whitebox.c
tests/unit-mcdc/test_xmss_fault_whitebox.c \
tests/unit-mcdc/test_xmss_hash_fault_whitebox.c
Loading
Loading