Unreachable code in ML-DSA #2144
abhinav-thales
started this conversation in
General
Replies: 1 comment
-
Thanks for the report, @abhinav-thales. If this was detected via a static analysis tool or another automated test, it would be great to have it in our CI. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
The code to calculate pending elements(<256) of a matrix cell after a 5 block 'squeeze' in ML-DSA has unreachable code as the buflen is a multiple of 3 due to STREAM128_BLOCKBYTES(168)
Raised a issue here
Beta Was this translation helpful? Give feedback.
All reactions