aboutsummaryrefslogtreecommitdiffstats
path: root/src/_cffi_src/hazmat_src/constant_time.c
blob: 0a48fe83a4629ef59eb50f79c1f4b93e847d29ee (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
// This file is dual licensed under the terms of the Apache License, Version
// 2.0, and the BSD License. See the LICENSE file in the root of this
// repository for complete details.

uint8_t Cryptography_constant_time_bytes_eq(uint8_t *a, size_t len_a,
                                            uint8_t *b, size_t len_b) {
    size_t i = 0;
    uint8_t mismatch = 0;
    if (len_a != len_b) {
        return 0;
    }
    for (i = 0; i < len_a; i++) {
        mismatch |= a[i] ^ b[i];
    }

    /* Make sure any bits set are copied to the lowest bit */
    mismatch |= mismatch >> 4;
    mismatch |= mismatch >> 2;
    mismatch |= mismatch >> 1;
    /* Now check the low bit to see if it's set */
    return (mismatch & 1) == 0;
}
IS TYPE integer_v is array (integer range <>) of integer; SUBTYPE integer_5 is integer_v (1 to 5); SUBTYPE integer_4 is integer_v (1 to 4); BEGIN TESTING: PROCESS variable result : integer_5; variable l_operand : integer := 123; variable r_operand : integer_4 := (123, 789, 123, 789 ); BEGIN -- -- The element is treated as an implicit single element array ! -- result := l_operand & r_operand; wait for 5 ns; assert NOT((result = (123, 123, 789, 123, 789)) and (result(1) = 123)) report "***PASSED TEST: c07s02b04x00p21n01i02152" severity NOTE; assert ((result = (123, 123, 789, 123, 789)) and (result(1) = 123)) report "***FAILED TEST: c07s02b04x00p21n01i02152 - Concatenation of element and INTEGER array failed." severity ERROR; wait; END PROCESS TESTING; END c07s02b04x00p21n01i02152arch;