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-2025, 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
1982 rhaas@postgresql.org 28 :CBC 122132 : pg_checksum_parse_type(char *name, pg_checksum_type *type)
29 : : {
30 : 122132 : pg_checksum_type result_type = CHECKSUM_TYPE_NONE;
31 : 122132 : bool result = true;
32 : :
33 [ + + ]: 122132 : if (pg_strcasecmp(name, "none") == 0)
34 : 3 : result_type = CHECKSUM_TYPE_NONE;
35 [ + + ]: 122129 : else if (pg_strcasecmp(name, "crc32c") == 0)
36 : 113401 : result_type = CHECKSUM_TYPE_CRC32C;
37 [ + + ]: 8728 : else if (pg_strcasecmp(name, "sha224") == 0)
38 : 2908 : result_type = CHECKSUM_TYPE_SHA224;
39 [ + + ]: 5820 : else if (pg_strcasecmp(name, "sha256") == 0)
40 : 1939 : result_type = CHECKSUM_TYPE_SHA256;
41 [ + + ]: 3881 : else if (pg_strcasecmp(name, "sha384") == 0)
42 : 1939 : result_type = CHECKSUM_TYPE_SHA384;
43 [ + + ]: 1942 : else if (pg_strcasecmp(name, "sha512") == 0)
44 : 1939 : result_type = CHECKSUM_TYPE_SHA512;
45 : : else
46 : 3 : result = false;
47 : :
48 : 122132 : *type = result_type;
49 : 122132 : return result;
50 : : }
51 : :
52 : : /*
53 : : * Get the canonical human-readable name corresponding to a checksum type.
54 : : */
55 : : char *
56 : 169363 : pg_checksum_type_name(pg_checksum_type type)
57 : : {
58 [ - + + + : 169363 : switch (type)
+ + - ]
59 : : {
1982 rhaas@postgresql.org 60 :UBC 0 : case CHECKSUM_TYPE_NONE:
61 : 0 : return "NONE";
1982 rhaas@postgresql.org 62 :CBC 160647 : case CHECKSUM_TYPE_CRC32C:
63 : 160647 : return "CRC32C";
64 : 2905 : case CHECKSUM_TYPE_SHA224:
65 : 2905 : return "SHA224";
66 : 1937 : case CHECKSUM_TYPE_SHA256:
67 : 1937 : return "SHA256";
68 : 1937 : case CHECKSUM_TYPE_SHA384:
69 : 1937 : return "SHA384";
70 : 1937 : case CHECKSUM_TYPE_SHA512:
71 : 1937 : return "SHA512";
72 : : }
73 : :
1982 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
1982 rhaas@postgresql.org 83 :CBC 246903 : pg_checksum_init(pg_checksum_context *context, pg_checksum_type type)
84 : : {
85 : 246903 : context->type = type;
86 : :
87 [ + + + + : 246903 : switch (type)
+ + - ]
88 : : {
89 : 14848 : case CHECKSUM_TYPE_NONE:
90 : : /* do nothing */
91 : 14848 : break;
92 : 214620 : case CHECKSUM_TYPE_CRC32C:
93 : 214620 : INIT_CRC32C(context->raw_context.c_crc32c);
94 : 214620 : break;
95 : 5807 : case CHECKSUM_TYPE_SHA224:
1702 michael@paquier.xyz 96 : 5807 : context->raw_context.c_sha2 = pg_cryptohash_create(PG_SHA224);
97 [ - + ]: 5807 : if (context->raw_context.c_sha2 == NULL)
1739 michael@paquier.xyz 98 :UBC 0 : return -1;
1702 michael@paquier.xyz 99 [ - + ]:CBC 5807 : if (pg_cryptohash_init(context->raw_context.c_sha2) < 0)
100 : : {
1702 michael@paquier.xyz 101 :UBC 0 : pg_cryptohash_free(context->raw_context.c_sha2);
1739 102 : 0 : return -1;
103 : : }
1982 rhaas@postgresql.org 104 :CBC 5807 : break;
105 : 3884 : case CHECKSUM_TYPE_SHA256:
1702 michael@paquier.xyz 106 : 3884 : context->raw_context.c_sha2 = pg_cryptohash_create(PG_SHA256);
107 [ - + ]: 3884 : if (context->raw_context.c_sha2 == NULL)
1739 michael@paquier.xyz 108 :UBC 0 : return -1;
1702 michael@paquier.xyz 109 [ - + ]:CBC 3884 : if (pg_cryptohash_init(context->raw_context.c_sha2) < 0)
110 : : {
1702 michael@paquier.xyz 111 :UBC 0 : pg_cryptohash_free(context->raw_context.c_sha2);
1739 112 : 0 : return -1;
113 : : }
1982 rhaas@postgresql.org 114 :CBC 3884 : break;
115 : 3872 : case CHECKSUM_TYPE_SHA384:
1702 michael@paquier.xyz 116 : 3872 : context->raw_context.c_sha2 = pg_cryptohash_create(PG_SHA384);
117 [ - + ]: 3872 : if (context->raw_context.c_sha2 == NULL)
1739 michael@paquier.xyz 118 :UBC 0 : return -1;
1702 michael@paquier.xyz 119 [ - + ]:CBC 3872 : if (pg_cryptohash_init(context->raw_context.c_sha2) < 0)
120 : : {
1702 michael@paquier.xyz 121 :UBC 0 : pg_cryptohash_free(context->raw_context.c_sha2);
1739 122 : 0 : return -1;
123 : : }
1982 rhaas@postgresql.org 124 :CBC 3872 : break;
125 : 3872 : case CHECKSUM_TYPE_SHA512:
1702 michael@paquier.xyz 126 : 3872 : context->raw_context.c_sha2 = pg_cryptohash_create(PG_SHA512);
127 [ - + ]: 3872 : if (context->raw_context.c_sha2 == NULL)
1739 michael@paquier.xyz 128 :UBC 0 : return -1;
1702 michael@paquier.xyz 129 [ - + ]:CBC 3872 : if (pg_cryptohash_init(context->raw_context.c_sha2) < 0)
130 : : {
1702 michael@paquier.xyz 131 :UBC 0 : pg_cryptohash_free(context->raw_context.c_sha2);
1739 132 : 0 : return -1;
133 : : }
1982 rhaas@postgresql.org 134 :CBC 3872 : break;
135 : : }
136 : :
1739 michael@paquier.xyz 137 : 246903 : 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
1982 rhaas@postgresql.org 145 : 415503 : pg_checksum_update(pg_checksum_context *context, const uint8 *input,
146 : : size_t len)
147 : : {
148 [ + + + - ]: 415503 : switch (context->type)
149 : : {
150 : 13214 : case CHECKSUM_TYPE_NONE:
151 : : /* do nothing */
152 : 13214 : break;
153 : 383684 : case CHECKSUM_TYPE_CRC32C:
154 : 383684 : COMP_CRC32C(context->raw_context.c_crc32c, input, len);
155 : 383684 : break;
156 : 18605 : case CHECKSUM_TYPE_SHA224:
157 : : case CHECKSUM_TYPE_SHA256:
158 : : case CHECKSUM_TYPE_SHA384:
159 : : case CHECKSUM_TYPE_SHA512:
1702 michael@paquier.xyz 160 [ - + ]: 18605 : if (pg_cryptohash_update(context->raw_context.c_sha2, input, len) < 0)
1739 michael@paquier.xyz 161 :UBC 0 : return -1;
1982 rhaas@postgresql.org 162 :CBC 18605 : break;
163 : : }
164 : :
1739 michael@paquier.xyz 165 : 415503 : 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
1982 rhaas@postgresql.org 176 : 232054 : pg_checksum_final(pg_checksum_context *context, uint8 *output)
177 : : {
178 : 232054 : 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 [ + + + + : 232054 : switch (context->type)
+ + - ]
192 : : {
193 : 2 : case CHECKSUM_TYPE_NONE:
194 : 2 : break;
195 : 214618 : case CHECKSUM_TYPE_CRC32C:
196 : 214618 : FIN_CRC32C(context->raw_context.c_crc32c);
197 : 214618 : retval = sizeof(pg_crc32c);
198 : 214618 : memcpy(output, &context->raw_context.c_crc32c, retval);
199 : 214618 : break;
200 : 5807 : case CHECKSUM_TYPE_SHA224:
1664 michael@paquier.xyz 201 : 5807 : retval = PG_SHA224_DIGEST_LENGTH;
202 [ - + ]: 5807 : if (pg_cryptohash_final(context->raw_context.c_sha2,
203 : : output, retval) < 0)
1739 michael@paquier.xyz 204 :UBC 0 : return -1;
1702 michael@paquier.xyz 205 :CBC 5807 : pg_cryptohash_free(context->raw_context.c_sha2);
1982 rhaas@postgresql.org 206 : 5807 : break;
207 : 3883 : case CHECKSUM_TYPE_SHA256:
1664 michael@paquier.xyz 208 : 3883 : retval = PG_SHA256_DIGEST_LENGTH;
209 [ - + ]: 3883 : if (pg_cryptohash_final(context->raw_context.c_sha2,
210 : : output, retval) < 0)
1739 michael@paquier.xyz 211 :UBC 0 : return -1;
1702 michael@paquier.xyz 212 :CBC 3883 : pg_cryptohash_free(context->raw_context.c_sha2);
1982 rhaas@postgresql.org 213 : 3883 : break;
214 : 3872 : case CHECKSUM_TYPE_SHA384:
1664 michael@paquier.xyz 215 : 3872 : retval = PG_SHA384_DIGEST_LENGTH;
216 [ - + ]: 3872 : if (pg_cryptohash_final(context->raw_context.c_sha2,
217 : : output, retval) < 0)
1739 michael@paquier.xyz 218 :UBC 0 : return -1;
1702 michael@paquier.xyz 219 :CBC 3872 : pg_cryptohash_free(context->raw_context.c_sha2);
1982 rhaas@postgresql.org 220 : 3872 : break;
221 : 3872 : case CHECKSUM_TYPE_SHA512:
1664 michael@paquier.xyz 222 : 3872 : retval = PG_SHA512_DIGEST_LENGTH;
223 [ - + ]: 3872 : if (pg_cryptohash_final(context->raw_context.c_sha2,
224 : : output, retval) < 0)
1739 michael@paquier.xyz 225 :UBC 0 : return -1;
1702 michael@paquier.xyz 226 :CBC 3872 : pg_cryptohash_free(context->raw_context.c_sha2);
1982 rhaas@postgresql.org 227 : 3872 : break;
228 : : }
229 : :
230 [ - + ]: 232054 : Assert(retval <= PG_CHECKSUM_MAX_LENGTH);
231 : 232054 : return retval;
232 : : }
|
