Age Owner Branch data TLA Line data Source code
1 : : /*-------------------------------------------------------------------------
2 : : *
3 : : * checksum_helper.c
4 : : * Compute a checksum of any of various types using common routines
5 : : *
6 : : * Portions Copyright (c) 2016-2026, PostgreSQL Global Development Group
7 : : *
8 : : * IDENTIFICATION
9 : : * src/common/checksum_helper.c
10 : : *
11 : : *-------------------------------------------------------------------------
12 : : */
13 : :
14 : : #ifndef FRONTEND
15 : : #include "postgres.h"
16 : : #else
17 : : #include "postgres_fe.h"
18 : : #endif
19 : :
20 : : #include "common/checksum_helper.h"
21 : :
22 : : /*
23 : : * If 'name' is a recognized checksum type, set *type to the corresponding
24 : : * constant and return true. Otherwise, set *type to CHECKSUM_TYPE_NONE and
25 : : * return false.
26 : : */
27 : : bool
2223 rhaas@postgresql.org 28 :CBC 133942 : pg_checksum_parse_type(char *name, pg_checksum_type *type)
29 : : {
30 : 133942 : pg_checksum_type result_type = CHECKSUM_TYPE_NONE;
31 : 133942 : bool result = true;
32 : :
33 [ + + ]: 133942 : if (pg_strcasecmp(name, "none") == 0)
34 : 3 : result_type = CHECKSUM_TYPE_NONE;
35 [ + + ]: 133939 : else if (pg_strcasecmp(name, "crc32c") == 0)
36 : 124662 : result_type = CHECKSUM_TYPE_CRC32C;
37 [ + + ]: 9277 : else if (pg_strcasecmp(name, "sha224") == 0)
38 : 3091 : result_type = CHECKSUM_TYPE_SHA224;
39 [ + + ]: 6186 : else if (pg_strcasecmp(name, "sha256") == 0)
40 : 2061 : result_type = CHECKSUM_TYPE_SHA256;
41 [ + + ]: 4125 : else if (pg_strcasecmp(name, "sha384") == 0)
42 : 2061 : result_type = CHECKSUM_TYPE_SHA384;
43 [ + + ]: 2064 : else if (pg_strcasecmp(name, "sha512") == 0)
44 : 2061 : result_type = CHECKSUM_TYPE_SHA512;
45 : : else
46 : 3 : result = false;
47 : :
48 : 133942 : *type = result_type;
49 : 133942 : return result;
50 : : }
51 : :
52 : : /*
53 : : * Get the canonical human-readable name corresponding to a checksum type.
54 : : */
55 : : char *
56 : 200867 : pg_checksum_type_name(pg_checksum_type type)
57 : : {
58 [ - + + + : 200867 : switch (type)
+ + - ]
59 : : {
2223 rhaas@postgresql.org 60 :UBC 0 : case CHECKSUM_TYPE_NONE:
61 : 0 : return "NONE";
2223 rhaas@postgresql.org 62 :CBC 191602 : case CHECKSUM_TYPE_CRC32C:
63 : 191602 : return "CRC32C";
64 : 3088 : case CHECKSUM_TYPE_SHA224:
65 : 3088 : return "SHA224";
66 : 2059 : case CHECKSUM_TYPE_SHA256:
67 : 2059 : return "SHA256";
68 : 2059 : case CHECKSUM_TYPE_SHA384:
69 : 2059 : return "SHA384";
70 : 2059 : case CHECKSUM_TYPE_SHA512:
71 : 2059 : return "SHA512";
72 : : }
73 : :
2223 rhaas@postgresql.org 74 :UBC 0 : Assert(false);
75 : : return "???";
76 : : }
77 : :
78 : : /*
79 : : * Initialize a checksum context for checksums of the given type.
80 : : * Returns 0 for a success, -1 for a failure.
81 : : */
82 : : int
2223 rhaas@postgresql.org 83 :CBC 284332 : pg_checksum_init(pg_checksum_context *context, pg_checksum_type type)
84 : : {
85 : 284332 : context->type = type;
86 : :
87 [ + + + + : 284332 : switch (type)
+ + - ]
88 : : {
89 : 16494 : case CHECKSUM_TYPE_NONE:
90 : : /* do nothing */
91 : 16494 : break;
92 : 249304 : case CHECKSUM_TYPE_CRC32C:
93 : 249304 : INIT_CRC32C(context->raw_context.c_crc32c);
94 : 249304 : break;
95 : 6173 : case CHECKSUM_TYPE_SHA224:
1943 michael@paquier.xyz 96 : 6173 : context->raw_context.c_sha2 = pg_cryptohash_create(PG_SHA224);
97 [ - + ]: 6173 : if (context->raw_context.c_sha2 == NULL)
1980 michael@paquier.xyz 98 :UBC 0 : return -1;
1943 michael@paquier.xyz 99 [ - + ]:CBC 6173 : if (pg_cryptohash_init(context->raw_context.c_sha2) < 0)
100 : : {
1943 michael@paquier.xyz 101 :UBC 0 : pg_cryptohash_free(context->raw_context.c_sha2);
1980 102 : 0 : return -1;
103 : : }
2223 rhaas@postgresql.org 104 :CBC 6173 : break;
105 : 4129 : case CHECKSUM_TYPE_SHA256:
1943 michael@paquier.xyz 106 : 4129 : context->raw_context.c_sha2 = pg_cryptohash_create(PG_SHA256);
107 [ - + ]: 4129 : if (context->raw_context.c_sha2 == NULL)
1980 michael@paquier.xyz 108 :UBC 0 : return -1;
1943 michael@paquier.xyz 109 [ - + ]:CBC 4129 : if (pg_cryptohash_init(context->raw_context.c_sha2) < 0)
110 : : {
1943 michael@paquier.xyz 111 :UBC 0 : pg_cryptohash_free(context->raw_context.c_sha2);
1980 112 : 0 : return -1;
113 : : }
2223 rhaas@postgresql.org 114 :CBC 4129 : break;
115 : 4116 : case CHECKSUM_TYPE_SHA384:
1943 michael@paquier.xyz 116 : 4116 : context->raw_context.c_sha2 = pg_cryptohash_create(PG_SHA384);
117 [ - + ]: 4116 : if (context->raw_context.c_sha2 == NULL)
1980 michael@paquier.xyz 118 :UBC 0 : return -1;
1943 michael@paquier.xyz 119 [ - + ]:CBC 4116 : if (pg_cryptohash_init(context->raw_context.c_sha2) < 0)
120 : : {
1943 michael@paquier.xyz 121 :UBC 0 : pg_cryptohash_free(context->raw_context.c_sha2);
1980 122 : 0 : return -1;
123 : : }
2223 rhaas@postgresql.org 124 :CBC 4116 : break;
125 : 4116 : case CHECKSUM_TYPE_SHA512:
1943 michael@paquier.xyz 126 : 4116 : context->raw_context.c_sha2 = pg_cryptohash_create(PG_SHA512);
127 [ - + ]: 4116 : if (context->raw_context.c_sha2 == NULL)
1980 michael@paquier.xyz 128 :UBC 0 : return -1;
1943 michael@paquier.xyz 129 [ - + ]:CBC 4116 : if (pg_cryptohash_init(context->raw_context.c_sha2) < 0)
130 : : {
1943 michael@paquier.xyz 131 :UBC 0 : pg_cryptohash_free(context->raw_context.c_sha2);
1980 132 : 0 : return -1;
133 : : }
2223 rhaas@postgresql.org 134 :CBC 4116 : break;
135 : : }
136 : :
1980 michael@paquier.xyz 137 : 284332 : return 0;
138 : : }
139 : :
140 : : /*
141 : : * Update a checksum context with new data.
142 : : * Returns 0 for a success, -1 for a failure.
143 : : */
144 : : int
2223 rhaas@postgresql.org 145 : 310216 : pg_checksum_update(pg_checksum_context *context, const uint8 *input,
146 : : size_t len)
147 : : {
148 [ + + + - ]: 310216 : switch (context->type)
149 : : {
150 : 14485 : case CHECKSUM_TYPE_NONE:
151 : : /* do nothing */
152 : 14485 : break;
153 : 276301 : case CHECKSUM_TYPE_CRC32C:
154 : 276301 : COMP_CRC32C(context->raw_context.c_crc32c, input, len);
155 : 276301 : break;
156 : 19430 : case CHECKSUM_TYPE_SHA224:
157 : : case CHECKSUM_TYPE_SHA256:
158 : : case CHECKSUM_TYPE_SHA384:
159 : : case CHECKSUM_TYPE_SHA512:
1943 michael@paquier.xyz 160 [ - + ]: 19430 : if (pg_cryptohash_update(context->raw_context.c_sha2, input, len) < 0)
1980 michael@paquier.xyz 161 :UBC 0 : return -1;
2223 rhaas@postgresql.org 162 :CBC 19430 : break;
163 : : }
164 : :
1980 michael@paquier.xyz 165 : 310216 : return 0;
166 : : }
167 : :
168 : : /*
169 : : * Finalize a checksum computation and write the result to an output buffer.
170 : : *
171 : : * The caller must ensure that the buffer is at least PG_CHECKSUM_MAX_LENGTH
172 : : * bytes in length. The return value is the number of bytes actually written,
173 : : * or -1 for a failure.
174 : : */
175 : : int
2223 rhaas@postgresql.org 176 : 267837 : pg_checksum_final(pg_checksum_context *context, uint8 *output)
177 : : {
178 : 267837 : int retval = 0;
179 : :
180 : : StaticAssertDecl(sizeof(pg_crc32c) <= PG_CHECKSUM_MAX_LENGTH,
181 : : "CRC-32C digest too big for PG_CHECKSUM_MAX_LENGTH");
182 : : StaticAssertDecl(PG_SHA224_DIGEST_LENGTH <= PG_CHECKSUM_MAX_LENGTH,
183 : : "SHA224 digest too big for PG_CHECKSUM_MAX_LENGTH");
184 : : StaticAssertDecl(PG_SHA256_DIGEST_LENGTH <= PG_CHECKSUM_MAX_LENGTH,
185 : : "SHA256 digest too big for PG_CHECKSUM_MAX_LENGTH");
186 : : StaticAssertDecl(PG_SHA384_DIGEST_LENGTH <= PG_CHECKSUM_MAX_LENGTH,
187 : : "SHA384 digest too big for PG_CHECKSUM_MAX_LENGTH");
188 : : StaticAssertDecl(PG_SHA512_DIGEST_LENGTH <= PG_CHECKSUM_MAX_LENGTH,
189 : : "SHA512 digest too big for PG_CHECKSUM_MAX_LENGTH");
190 : :
191 [ + + + + : 267837 : switch (context->type)
+ + - ]
192 : : {
193 : 2 : case CHECKSUM_TYPE_NONE:
194 : 2 : break;
195 : 249302 : case CHECKSUM_TYPE_CRC32C:
196 : 249302 : FIN_CRC32C(context->raw_context.c_crc32c);
197 : 249302 : retval = sizeof(pg_crc32c);
198 : 249302 : memcpy(output, &context->raw_context.c_crc32c, retval);
199 : 249302 : break;
200 : 6173 : case CHECKSUM_TYPE_SHA224:
1905 michael@paquier.xyz 201 : 6173 : retval = PG_SHA224_DIGEST_LENGTH;
202 [ - + ]: 6173 : if (pg_cryptohash_final(context->raw_context.c_sha2,
203 : : output, retval) < 0)
1980 michael@paquier.xyz 204 :UBC 0 : return -1;
1943 michael@paquier.xyz 205 :CBC 6173 : pg_cryptohash_free(context->raw_context.c_sha2);
2223 rhaas@postgresql.org 206 : 6173 : break;
207 : 4128 : case CHECKSUM_TYPE_SHA256:
1905 michael@paquier.xyz 208 : 4128 : retval = PG_SHA256_DIGEST_LENGTH;
209 [ - + ]: 4128 : if (pg_cryptohash_final(context->raw_context.c_sha2,
210 : : output, retval) < 0)
1980 michael@paquier.xyz 211 :UBC 0 : return -1;
1943 michael@paquier.xyz 212 :CBC 4128 : pg_cryptohash_free(context->raw_context.c_sha2);
2223 rhaas@postgresql.org 213 : 4128 : break;
214 : 4116 : case CHECKSUM_TYPE_SHA384:
1905 michael@paquier.xyz 215 : 4116 : retval = PG_SHA384_DIGEST_LENGTH;
216 [ - + ]: 4116 : if (pg_cryptohash_final(context->raw_context.c_sha2,
217 : : output, retval) < 0)
1980 michael@paquier.xyz 218 :UBC 0 : return -1;
1943 michael@paquier.xyz 219 :CBC 4116 : pg_cryptohash_free(context->raw_context.c_sha2);
2223 rhaas@postgresql.org 220 : 4116 : break;
221 : 4116 : case CHECKSUM_TYPE_SHA512:
1905 michael@paquier.xyz 222 : 4116 : retval = PG_SHA512_DIGEST_LENGTH;
223 [ - + ]: 4116 : if (pg_cryptohash_final(context->raw_context.c_sha2,
224 : : output, retval) < 0)
1980 michael@paquier.xyz 225 :UBC 0 : return -1;
1943 michael@paquier.xyz 226 :CBC 4116 : pg_cryptohash_free(context->raw_context.c_sha2);
2223 rhaas@postgresql.org 227 : 4116 : break;
228 : : }
229 : :
230 [ - + ]: 267837 : Assert(retval <= PG_CHECKSUM_MAX_LENGTH);
231 : 267837 : return retval;
232 : : }
|
