mirror of
https://github.com/jmcorgan/fips.git
synced 2026-10-06 03:28:24 +00:00
The session rekey fix takes next's XX form here: the rekey-initiator arm reads msg2 with try_read_message_2, the rolling-back XX read the first-contact arm already uses, and puts the handshake back on a failed read. The forged-ack test builder builds an XX-sized msg2, and the first-contact test uses it. The test for a rekey msg2 lost in transit is not carried, as the forged-msg2 test it shares setup with was not; only the pump helper the coordinate tests use comes across.