1 | /*
|
---|
2 | * Copyright 2015-2023 The OpenSSL Project Authors. All Rights Reserved.
|
---|
3 | *
|
---|
4 | * Licensed under the Apache License 2.0 (the "License"). You may not use
|
---|
5 | * this file except in compliance with the License. You can obtain a copy
|
---|
6 | * in the file LICENSE in the source distribution or at
|
---|
7 | * https://www.openssl.org/source/license.html
|
---|
8 | */
|
---|
9 |
|
---|
10 | #include <string.h>
|
---|
11 | #include <openssl/types.h>
|
---|
12 | #include "testutil.h"
|
---|
13 | #include "internal/numbers.h"
|
---|
14 | #include "internal/time.h"
|
---|
15 |
|
---|
16 | static int test_sanity_null_zero(void)
|
---|
17 | {
|
---|
18 | char *p;
|
---|
19 | char bytes[sizeof(p)];
|
---|
20 |
|
---|
21 | /* Is NULL equivalent to all-bytes-zero? */
|
---|
22 | p = NULL;
|
---|
23 | memset(bytes, 0, sizeof(bytes));
|
---|
24 | return TEST_mem_eq(&p, sizeof(p), bytes, sizeof(bytes));
|
---|
25 | }
|
---|
26 |
|
---|
27 | static int test_sanity_enum_size(void)
|
---|
28 | {
|
---|
29 | enum smallchoices { sa, sb, sc };
|
---|
30 | enum medchoices { ma, mb, mc, md, me, mf, mg, mh, mi, mj, mk, ml };
|
---|
31 | enum largechoices {
|
---|
32 | a01, b01, c01, d01, e01, f01, g01, h01, i01, j01,
|
---|
33 | a02, b02, c02, d02, e02, f02, g02, h02, i02, j02,
|
---|
34 | a03, b03, c03, d03, e03, f03, g03, h03, i03, j03,
|
---|
35 | a04, b04, c04, d04, e04, f04, g04, h04, i04, j04,
|
---|
36 | a05, b05, c05, d05, e05, f05, g05, h05, i05, j05,
|
---|
37 | a06, b06, c06, d06, e06, f06, g06, h06, i06, j06,
|
---|
38 | a07, b07, c07, d07, e07, f07, g07, h07, i07, j07,
|
---|
39 | a08, b08, c08, d08, e08, f08, g08, h08, i08, j08,
|
---|
40 | a09, b09, c09, d09, e09, f09, g09, h09, i09, j09,
|
---|
41 | a10, b10, c10, d10, e10, f10, g10, h10, i10, j10,
|
---|
42 | xxx };
|
---|
43 |
|
---|
44 | /* Enum size */
|
---|
45 | if (!TEST_size_t_eq(sizeof(enum smallchoices), sizeof(int))
|
---|
46 | || !TEST_size_t_eq(sizeof(enum medchoices), sizeof(int))
|
---|
47 | || !TEST_size_t_eq(sizeof(enum largechoices), sizeof(int)))
|
---|
48 | return 0;
|
---|
49 | return 1;
|
---|
50 | }
|
---|
51 |
|
---|
52 | static int test_sanity_twos_complement(void)
|
---|
53 | {
|
---|
54 | /* Basic two's complement checks. */
|
---|
55 | if (!TEST_int_eq(~(-1), 0)
|
---|
56 | || !TEST_long_eq(~(-1L), 0L))
|
---|
57 | return 0;
|
---|
58 | return 1;
|
---|
59 | }
|
---|
60 |
|
---|
61 | static int test_sanity_sign(void)
|
---|
62 | {
|
---|
63 | /* Check that values with sign bit 1 and value bits 0 are valid */
|
---|
64 | if (!TEST_int_eq(-(INT_MIN + 1), INT_MAX)
|
---|
65 | || !TEST_long_eq(-(LONG_MIN + 1), LONG_MAX))
|
---|
66 | return 0;
|
---|
67 | return 1;
|
---|
68 | }
|
---|
69 |
|
---|
70 | static int test_sanity_unsigned_conversion(void)
|
---|
71 | {
|
---|
72 | /* Check that unsigned-to-signed conversions preserve bit patterns */
|
---|
73 | if (!TEST_int_eq((int)((unsigned int)INT_MAX + 1), INT_MIN)
|
---|
74 | || !TEST_long_eq((long)((unsigned long)LONG_MAX + 1), LONG_MIN))
|
---|
75 | return 0;
|
---|
76 | return 1;
|
---|
77 | }
|
---|
78 |
|
---|
79 | static int test_sanity_range(void)
|
---|
80 | {
|
---|
81 | /* Verify some types are the correct size */
|
---|
82 | if (!TEST_size_t_eq(sizeof(int8_t), 1)
|
---|
83 | || !TEST_size_t_eq(sizeof(uint8_t), 1)
|
---|
84 | || !TEST_size_t_eq(sizeof(int16_t), 2)
|
---|
85 | || !TEST_size_t_eq(sizeof(uint16_t), 2)
|
---|
86 | || !TEST_size_t_eq(sizeof(int32_t), 4)
|
---|
87 | || !TEST_size_t_eq(sizeof(uint32_t), 4)
|
---|
88 | || !TEST_size_t_eq(sizeof(int64_t), 8)
|
---|
89 | || !TEST_size_t_eq(sizeof(uint64_t), 8)
|
---|
90 | #ifdef UINT128_MAX
|
---|
91 | || !TEST_size_t_eq(sizeof(int128_t), 16)
|
---|
92 | || !TEST_size_t_eq(sizeof(uint128_t), 16)
|
---|
93 | #endif
|
---|
94 | || !TEST_size_t_eq(sizeof(char), 1)
|
---|
95 | || !TEST_size_t_eq(sizeof(unsigned char), 1))
|
---|
96 | return 0;
|
---|
97 |
|
---|
98 | /* We want our long longs to be at least 64 bits */
|
---|
99 | if (!TEST_size_t_ge(sizeof(long long int), 8)
|
---|
100 | || !TEST_size_t_ge(sizeof(unsigned long long int), 8))
|
---|
101 | return 0;
|
---|
102 |
|
---|
103 | /*
|
---|
104 | * Verify intmax_t.
|
---|
105 | * Some platforms defined intmax_t to be 64 bits but still support
|
---|
106 | * an int128_t, so this check is for at least 64 bits.
|
---|
107 | */
|
---|
108 | if (!TEST_size_t_ge(sizeof(ossl_intmax_t), 8)
|
---|
109 | || !TEST_size_t_ge(sizeof(ossl_uintmax_t), 8)
|
---|
110 | || !TEST_size_t_ge(sizeof(ossl_uintmax_t), sizeof(size_t)))
|
---|
111 | return 0;
|
---|
112 |
|
---|
113 | /* This isn't possible to check using the framework functions */
|
---|
114 | if (SIZE_MAX < INT_MAX) {
|
---|
115 | TEST_error("int must not be wider than size_t");
|
---|
116 | return 0;
|
---|
117 | }
|
---|
118 |
|
---|
119 | /* SIZE_MAX is always greater than 2*INT_MAX */
|
---|
120 | if (SIZE_MAX - INT_MAX <= INT_MAX) {
|
---|
121 | TEST_error("SIZE_MAX must exceed 2*INT_MAX");
|
---|
122 | return 0;
|
---|
123 | }
|
---|
124 |
|
---|
125 | return 1;
|
---|
126 | }
|
---|
127 |
|
---|
128 | static int test_sanity_memcmp(void)
|
---|
129 | {
|
---|
130 | return CRYPTO_memcmp("ab", "cd", 2);
|
---|
131 | }
|
---|
132 |
|
---|
133 | static int test_sanity_sleep(void)
|
---|
134 | {
|
---|
135 | OSSL_TIME start = ossl_time_now();
|
---|
136 | uint64_t seconds;
|
---|
137 |
|
---|
138 | /*
|
---|
139 | * On any reasonable system this must sleep at least one second
|
---|
140 | * but not more than 20.
|
---|
141 | * Assuming there is no interruption.
|
---|
142 | */
|
---|
143 | OSSL_sleep(1000);
|
---|
144 |
|
---|
145 | seconds = ossl_time2seconds(ossl_time_subtract(ossl_time_now(), start));
|
---|
146 |
|
---|
147 | if (!TEST_uint64_t_ge(seconds, 1) || !TEST_uint64_t_le(seconds, 20))
|
---|
148 | return 0;
|
---|
149 | return 1;
|
---|
150 | }
|
---|
151 |
|
---|
152 | int setup_tests(void)
|
---|
153 | {
|
---|
154 | ADD_TEST(test_sanity_null_zero);
|
---|
155 | ADD_TEST(test_sanity_enum_size);
|
---|
156 | ADD_TEST(test_sanity_twos_complement);
|
---|
157 | ADD_TEST(test_sanity_sign);
|
---|
158 | ADD_TEST(test_sanity_unsigned_conversion);
|
---|
159 | ADD_TEST(test_sanity_range);
|
---|
160 | ADD_TEST(test_sanity_memcmp);
|
---|
161 | ADD_TEST(test_sanity_sleep);
|
---|
162 | return 1;
|
---|
163 | }
|
---|