open-quantum-safe / liboqs / 25204266049 / 1
82%
main: 82%

DEFAULT BRANCH: main
Ran
Files 1259
Run time 36s
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: 85.371%. Remained the same
25204266049.1

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>

78399 of 91833 relevant lines covered (85.37%)

8910059.92 hits per line

Source Files on job x64-generic - 25204266049.1