kaidokert / fixed-bigint-rs / 29186021123

97%

push

github

0.5.2: structural panic-freedom for byte serialisation (#137)

* Replace copy_from_slice with zip byte-loop in byte serialisation (0.5.2)

`chunks_exact_mut(word_size) + chunk.copy_from_slice(word_bytes)` in
`holder_be`/`holder_le` and `to_{le,be}_bytes_fixed` is panic-free only
when the optimizer proves the two lengths equal. On MSRV (rustc 1.87)
that proof lands for a subset of monomorphizations; the rest link
`len_mismatch_fail` and `panic_fmt` into the release binary. RSA's
downstream panic-free audit trips on this at `FixedUInt<u8, 256>` and
`FixedUInt<u64, 32>`.

16 of 16 new or added lines in 2 files covered. (100.0%)

3204 of 3287 relevant lines covered (97.47%)

306.3 hits per line