Daniele Lacamera a28499c059 tests: drive the argument-guard rows in the MC/DC white-boxes ...

Seven new white-boxes (asn, dh, lms, pkcs7, pkcs12, tsp, xmss) drive each
operand of the NULL/size OR-guards true in isolation against the all-false
row in the same binary -- the row the API-level tests only ever produce
all-false, which is why those independence pairs stayed open.

The four sp_* lane white-boxes gain direct sp_* calls with crafted mp_int
operands for the RSA/DH bound checks and degenerate ECC points.

wc_xmss.c reaches 96/96; wc_lms.c 134/136. +559 conditions overall.

Also list all of tests/unit-mcdc/ in EXTRA_DIST -- 43 of the 74 files were
missing, including every asn/pkcs7/pkcs12/lms/xmss white-box.

2026-08-07 09:27:42 +02:00

9.3 KiB

Raw Blame History

View Raw