Skip to content

Validate signature length to prevent OOB read - #48

Merged
mkannwischer merged 1 commit into
pq-code-package:mainfrom
cyberstormdotmu:main
Jun 11, 2026
Merged

mkannwischer merged 1 commit into
pq-code-package:mainfrom
cyberstormdotmu:main

Conversation

@loganaden

Copy link
Copy Markdown
Contributor

No description provided.

Signed-off-by: Loganaden Velvindron <logan@cyberstorm.mu>
@loganaden
loganaden requested a review from a team as a code owner June 10, 2026 08:38

@mkannwischer mkannwischer left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. Thanks @loganaden!

@mkannwischer

Copy link
Copy Markdown
Contributor

I am not sure what's happening with the CI - the Github runners don't seem to be picking up the jobs.
Merging regardless.

@mkannwischer
mkannwischer merged commit d25ccc6 into pq-code-package:main Jun 11, 2026
24 of 30 checks passed
Ramya-9353 added a commit to Ramya-9353/liboqs that referenced this pull request Oct 11, 2026
Per review, take the upstream fix for the out-of-bounds read
(pq-code-package/slhdsa-c#48, merged as d25ccc6) by bumping the pinned
commit in copy_from_slh_dsa_c.py and dropping verify_bounds.patch.
The regenerated slh_dsa_c tree also picks up upstream CBMC contract
annotations and a sha3_init cleanup; no algorithm behaviour changes.
The short-signature regression test in tests/test_sig.c is kept and
passes under ASan.

Signed-off-by: Ramya Eliger <ramya@digiscrypt.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants