Hi,
 There are still two open issues with the static analyzer at [0].

Both are at ecc-mod(), where the hi value can be used uninitialized on
two occasions; ecc-mod.c:104 and ecc-mod.c:110. The issue can be
addressed by initializing to zero, but although it looks reasonable,
I'm not sure if that's the expectation of the algorithm.

Addressing that issue would allow for successful CI runs.

regards,
Nikos


[0].
Build Job:
https://gitlab.com/gnutls/nettle/-/jobs/31862567

Report:
https://gitlab.com/gnutls/nettle/-/jobs/31862567/artifacts/browse/scan-build-lib/2017-09-09-005827-1934-1/


_______________________________________________
nettle-bugs mailing list
[email protected]
http://lists.lysator.liu.se/mailman/listinfo/nettle-bugs

Reply via email to