tree checksum vpatch file split hunks
all signers: diana_coman
antecedents: eucrypt_ch12_wrapper_rsa_oaep_c_ada eucrypt_manifest
press order:
patch:
(17 . 5)(17 . 5)
5 513700 eucrypt_check_nread diana_coman Adds another check and loop to ensure that all Eucrypt has the same behaviour when requesting random bits: reject and discard any that are not exactly as many as required and simply keep trying in a loop until the required bits are obtained.
6 521090 eucrypt_ch13_smg_rng diana_coman Adds methods for obtaining random values directly from bits obtained from the entropy source. Following specific types are supported: unsigned int on 32 bits, unsigned int on 64 bits, dirty float between 0 and 1, float IEEE 754/1985 between 1 and 2.
7 527560 eucrypt_manifest diana_coman Adds this manifest file that should be modified each time a new patch is added to EuCrypt.
8
9 543780 eucrypt_fix_256 diana_coman Fix the error in smg_oaep.adb that used 255 instead of 256 when calculating/retrieving length stored on 2 octets.
10
- FA02CB033AD63404D8E721C3EEABCF7775E42B1553CFD3E07D6F91FC67E307AC2DD754FB4009F56CE7C38B62AA32564EC309DFD69C4ECF09CF8DB46742390C00(140 . 8)(140 . 8)
15 M00( M00'First ) := Entropy( Entropy'First );
16
17 -- next 2 octets hold the used length of Msg (number of octets)
18 M00( M00'First + 2) := Character'Val( ( MsgLen * 8 ) mod 255 );
19 M00( M00'First + 1) := Character'Val( ( (MsgLen * 8 ) / 255 ) mod 255 );
20 M00( M00'First + 2) := Character'Val( ( MsgLen * 8 ) mod 256 );
21 M00( M00'First + 1) := Character'Val( ( (MsgLen * 8 ) / 256 ) mod 256 );
22
23 -- next 8 octets are reserved for later use, currently "TMSR-RSA"
24 M00( M00'First + 3 .. M00'First + 10 ) := TMSR;
(268 . 7)(268 . 7)
26 XOR_Strings( X, HashR, M );
27
28 -- step 4: extract length and message
29 Len := Character'Pos( M( M'First + 1 ) ) * 255 +
30 Len := Character'Pos( M( M'First + 1 ) ) * 256 +
31 Character'Pos( M( M'First + 2 ) );
32 LenOctets := Len / 8;
33