Skip to content

MC/DC decision coverage part 4: remaining wolfCrypt primitives #10967

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

Open
danielinux wants to merge 15 commits into
base: master
Choose a base branch
from
Open

MC/DC decision coverage part 4: remaining wolfCrypt primitives #10967

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
273fdeb
tests: MC/DC decision coverage for remaining wolfCrypt primitives
danielinux Jul 21, 2026
27931d6
tests: fix CI failures in HPKE/SAKKE MC/DC coverage tests
danielinux Jul 22, 2026
16a5f9d
tests: address Copilot review comments on MC/DC coverage tests
danielinux Jul 22, 2026
4d33cc5
tests: fix eccsi ValidateEccsiPair error code under WOLFSSL_SP_MATH
danielinux Jul 22, 2026
6ba33a3
tests: list this branch's unit-mcdc white-boxes in EXTRA_DIST
danielinux Jul 22, 2026
55c2f2c
tests: fault-injection + ARM-lane MC/DC white-box supplements
danielinux Jul 22, 2026
11a1d11
tests: MC/DC coverage for native Falcon (falcon.c)
danielinux Jul 28, 2026
dc880a6
tests: avoid C++ // markers in MC/DC white-box doc comments
danielinux Jul 29, 2026
66c4e49
IDE/m33mu-falcon-verify: drop generated OTP binary, gitignore it
danielinux Jul 29, 2026
6b967d7
tests: reword "statics" in MC/DC comments (codespell)
danielinux Jul 29, 2026
b5c0ac4
tests: skip single-DES NULL-arg MC/DC under FIPS/selftest (SIGSEGV)
danielinux Jul 29, 2026
7dd092b
tests: WC_NO_ERR_TRACE error-code operands + uppercase literal suffixes
danielinux Jul 29, 2026
f559a12
tests: fix invented WOLFSSL_SP_256 guard in cortex-m SP white-box
danielinux Jul 29, 2026
bf24b33
.wolfssl_known_macro_extras: drop entries now known to the macro check
danielinux Jul 29, 2026
9de9de3
tests: MC/DC coverage for the wolfEvent queue (wolfevent.c)
danielinux Jul 29, 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
8 changes: 0 additions & 8 deletions .wolfssl_known_macro_extras
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -812,7 +812,6 @@ WOLFSSL_CAAM_BLACK_KEY_SM
WOLFSSL_CAAM_NO_BLACK_KEY
WOLFSSL_CALLBACKS
WOLFSSL_CHECK_DESKEY
WOLFSSL_CHECK_MEM_ZERO
WOLFSSL_CHIBIOS
WOLFSSL_CLANG_TIDY
WOLFSSL_CLIENT_EXAMPLE
Expand Down Expand Up @@ -844,15 +843,8 @@ WOLFSSL_EVP_PRINT
WOLFSSL_EXPORT_INT
WOLFSSL_EXPORT_SPC_SZ
WOLFSSL_EXTRA
WOLFSSL_FALCON_FFT_AVX2
WOLFSSL_FALCON_FFT_NEON
WOLFSSL_FALCON_FPR_ASM
WOLFSSL_FALCON_FPR_DOUBLE
WOLFSSL_FALCON_NO_NTT_DSP
WOLFSSL_FALCON_NTT_DSP
WOLFSSL_FALCON_SIGN_SMALL_MEM
WOLFSSL_FALCON_SIGN_STATS
WOLFSSL_FALCON_VERIFY_ONLY
WOLFSSL_FORCE_OCSP_NONCE_CHECK
WOLFSSL_FRDM_K64
WOLFSSL_FRDM_K64_JENKINS
Expand Down
5 changes: 5 additions & 0 deletions CMakeLists.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4373,6 +4373,11 @@ if(WOLFSSL_EXAMPLES)
tests/api/test_hash.c
tests/api/test_hmac.c
tests/api/test_cmac.c
tests/api/test_siphash.c
tests/api/test_srp.c
tests/api/test_eccsi.c
tests/api/test_sakke.c
tests/api/test_hpke.c
tests/api/test_kdf.c
tests/api/test_she.c
tests/api/test_des3.c
Expand Down
1 change: 1 addition & 0 deletions IDE/m33mu-falcon-verify/.gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,3 +3,4 @@ app-falcon.elf
app-falcon.bin
app-falcon.sym
app-falcon.dis
stm32h563_OTP.bin
Binary file removed IDE/m33mu-falcon-verify/stm32h563_OTP.bin
View file
Open in desktop
Binary file not shown.
13 changes: 13 additions & 0 deletions tests/api.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -214,6 +214,11 @@
#include <tests/api/test_hash.h>
#include <tests/api/test_hmac.h>
#include <tests/api/test_cmac.h>
#include <tests/api/test_siphash.h>
#include <tests/api/test_srp.h>
#include <tests/api/test_eccsi.h>
#include <tests/api/test_sakke.h>
#include <tests/api/test_hpke.h>
#include <tests/api/test_kdf.h>
#include <tests/api/test_she.h>
#include <tests/api/test_des3.h>
Expand All @@ -231,6 +236,7 @@
#include <tests/api/test_error.h>
#include <tests/api/test_random.h>
#include <tests/api/test_wolfentropy.h>
#include <tests/api/test_wolfevent.h>
#include <tests/api/test_wolfmath.h>
#include <tests/api/test_rsa.h>
#include <tests/api/test_dsa.h>
Expand Down Expand Up @@ -37998,6 +38004,12 @@ TEST_CASE testCases[] = {
TEST_HMAC_DECLS,
/* CMAC */
TEST_CMAC_DECLS,
/* SipHash */
TEST_SIPHASH_DECLS,
TEST_SRP_DECLS,
TEST_ECCSI_DECLS,
TEST_SAKKE_DECLS,
TEST_HPKE_DECLS,
/* KDF */
TEST_KDF_DECLS,
/* SHE */
Expand Down Expand Up @@ -38049,6 +38061,7 @@ TEST_CASE testCases[] = {
/* RNG tests */
TEST_RANDOM_DECLS,
TEST_WOLFENTROPY_DECLS,
TEST_WOLFEVENT_DECLS,

/* Public key */
/* wolfmath MP API tests */
Expand Down
12 changes: 12 additions & 0 deletions tests/api/include.am
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,11 @@ tests_unit_test_SOURCES += tests/api/test_hash.c
# MAC
tests_unit_test_SOURCES += tests/api/test_hmac.c
tests_unit_test_SOURCES += tests/api/test_cmac.c
tests_unit_test_SOURCES += tests/api/test_siphash.c
tests_unit_test_SOURCES += tests/api/test_srp.c
tests_unit_test_SOURCES += tests/api/test_eccsi.c
tests_unit_test_SOURCES += tests/api/test_sakke.c
tests_unit_test_SOURCES += tests/api/test_hpke.c
tests_unit_test_SOURCES += tests/api/test_kdf.c
# SHE
tests_unit_test_SOURCES += tests/api/test_she.c
Expand All @@ -38,6 +43,7 @@ tests_unit_test_SOURCES += tests/api/test_error.c
# Random
tests_unit_test_SOURCES += tests/api/test_random.c
tests_unit_test_SOURCES += tests/api/test_wolfentropy.c
tests_unit_test_SOURCES += tests/api/test_wolfevent.c
# MP
tests_unit_test_SOURCES += tests/api/test_wolfmath.c
# Public Key Algorithm
Expand Down Expand Up @@ -144,6 +150,11 @@ EXTRA_DIST += tests/api/test_digest.h
EXTRA_DIST += tests/api/test_hash.h
EXTRA_DIST += tests/api/test_hmac.h
EXTRA_DIST += tests/api/test_cmac.h
EXTRA_DIST += tests/api/test_siphash.h
EXTRA_DIST += tests/api/test_srp.h
EXTRA_DIST += tests/api/test_eccsi.h
EXTRA_DIST += tests/api/test_sakke.h
EXTRA_DIST += tests/api/test_hpke.h
EXTRA_DIST += tests/api/test_kdf.h
EXTRA_DIST += tests/api/test_she.h
EXTRA_DIST += tests/api/test_des3.h
Expand All @@ -162,6 +173,7 @@ EXTRA_DIST += tests/api/test_coding.h
EXTRA_DIST += tests/api/test_error.h
EXTRA_DIST += tests/api/test_random.h
EXTRA_DIST += tests/api/test_wolfentropy.h
EXTRA_DIST += tests/api/test_wolfevent.h
EXTRA_DIST += tests/api/test_wolfmath.h
EXTRA_DIST += tests/api/test_rsa.h
EXTRA_DIST += tests/api/test_dsa.h
Expand Down
Loading
Loading