Hi Niels, The attached patches add a static analyzer run in the nettle CI and fix few minor issues found with it.
There two issues I didn't fix because I am not sure whether it is a logical error or an initialization of the variables in question could solve it. I attach the html output of scan-view. Both involve the ecc_mod() function and the variable 'hi'.
regards, Nikos