Repository navigation

Fix undefined behavior in C SP math and sp_int under non -fwrapv, and a dropped carry in the ARM32/Thumb2 SP squares - #12053

Open

dgarske wants to merge 5 commits into

wolfSSL:masterfrom

dgarske:sp_ubsan_fixes

Open

Fix undefined behavior in C SP math and sp_int under non -fwrapv, and a dropped carry in the ARM32/Thumb2 SP squares#12053
dgarske wants to merge 5 commits into
wolfSSL:masterfrom
dgarske:sp_ubsan_fixes

Commits on Nov 6, 2026
- wolfcrypt: avoid signed overflow in ML-DSA and C SP arithmetic
  
  armpribb
  authored and
  dgarske
  committed
  6b0778d
- test: respect digest limits in P-256 SP regression
  
  armpribb
  authored and
  dgarske
  committed
  eef486f
- SP C: regenerate with unsigned limb packing, subtraction and bit counting
  dgarske
  committed
  a9d8180
- Check the output buffer before offsetting it in sp_to_unsigned_bin_at_pos
  dgarske
  committed
  04a69d1
- SP ARM32 and Thumb2: keep the carry of the first doubled product in each square column
  dgarske
  committed
  ea7f744