open-quantum-safe / liboqs / 25204266049
82%

DEFAULT BRANCH: main
Ran
Jobs 3
Files 2878
Run time 4min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 82.268% (-0.003%) from 82.271%
25204266049

push

github

web-flow 
tests: add fuzz harness for LMS stateful signature verification (#2398) (#2412)

* tests: add fuzz harness for LMS stateful signature verification

Adds fuzz_test_sig_stfl_lms.c targeting OQS_SIG_STFL_verify for the
two parameter sets specified in #2398:
  - LMS_SHA256_H5_W2
  - LMS_SHA256_H5_W8_H5_W8

KAT vectors (count = 0) from tests/KATs/sig_stfl/lms/ are loaded once
via LLVMFuzzerInitialize to avoid LMS key generation overhead per
iteration. Each iteration mutates the signature, message, and public_key
inputs fed to OQS_SIG_STFL_verify.

Closes #2398
Signed-off-by: Vishnu Ajith <27vishnu07@gmail.com>
Signed-off-by: Vishnu Ajith <86302373+Vishnu2707@users.noreply.github.com>

* tests: randomise field mutation order in LMS fuzz harness

Use a selector byte (modulo 3) to randomise which field — public_key,
signature, or message — is mutated first each iteration. Previously the
sequential fill meant early iterations with small inputs almost
exclusively mutated the public key. This change ensures balanced
coverage across all three inputs to OQS_SIG_STFL_verify from the
first iteration regardless of input size.

Addresses review comment from @baentsch on #2412.
Signed-off-by: Vishnu Ajith <27vishnu07@gmail.com>
Signed-off-by: Vishnu Ajith <86302373+Vishnu2707@users.noreply.github.com>

* tests: fix field mutation rotation in LMS fuzz harness

Correct to proper round-robin: 0:pk→sig→msg, 1:sig→msg→pk, 2:msg→pk→sig.
Each field now occupies each position exactly once.
Addresses follow-up review from @baentsch on #2412.
Signed-off-by: Vishnu Ajith <27vishnu07@gmail.com>

---------

Signed-off-by: Vishnu Ajith <27vishnu07@gmail.com>
Signed-off-by: Vishnu Ajith <86302373+Vishnu2707@users.noreply.github.com>

207970 of 252797 relevant lines covered (82.27%)

8217126.45 hits per line

Coverage Regressions

Lines Coverage ∆ File
3
96.44
 -0.27% src/sig/falcon/pqclean_falcon-1024_aarch64/keygen.c
2
73.7
 -0.45% src/sig/ml_dsa/mldsa-native_ml-dsa-65_ref/mldsa/src/sign.c
1
96.08
 -1.96% src/kem/classic_mceliece/pqclean_mceliece348864_avx2/encrypt.c
1
96.08
 -1.96% src/kem/classic_mceliece/pqclean_mceliece348864f_avx2/encrypt.c
1
96.72
 -1.64% src/kem/classic_mceliece/pqclean_mceliece348864f_clean/encrypt.c
1
95.92
 -2.04% src/kem/classic_mceliece/pqclean_mceliece460896_avx2/encrypt.c
1
98.36
 -1.64% src/kem/classic_mceliece/pqclean_mceliece460896_clean/encrypt.c
1
95.92
 -2.04% src/kem/classic_mceliece/pqclean_mceliece460896f_avx2/encrypt.c
1
96.49
 0.18% src/sig/falcon/pqclean_falcon-1024_avx2/keygen.c
1
76.7
 -0.49% src/sig/falcon/pqclean_falcon-1024_avx2/vrfy.c
1
95.61
 -0.09% src/sig/falcon/pqclean_falcon-padded-512_avx2/keygen.c
1
76.7
 -0.49% src/sig/falcon/pqclean_falcon-padded-512_avx2/vrfy.c
1
95.83
 -4.17% src/sig/ml_dsa/mldsa-native_ml-dsa-44_ref/mldsa/src/rounding.h
1
95.65
 -2.17% src/sig/uov/pqov_ov_Is_avx2/ov.c
1
94.44
 -1.85% src/sig/uov/pqov_ov_Is_pkc_ref/ov.c
1
93.55
 -1.61% src/sig/uov/pqov_ov_Is_pkc_skc_ref/ov.c
Jobs
ID Job ID Ran Files Coverage
1 x64-generic - 25204266049.1 1259
85.37
 GitHub Action Run
2 arm64-distbuild - 25204266049.2 1789
60.29
 GitHub Action Run
3 x64-distbuild - 25204266049.3 2347
56.5
 GitHub Action Run
Source Files on build 25204266049