Coverage Report

Created: 2026-08-13 07:12

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/postgres/src/common/sha1.c
Line
Count
Source
1
/*-------------------------------------------------------------------------
2
 *
3
 *  sha1.c
4
 *    Implements the SHA1 Secure Hash Algorithm
5
 *
6
 * Fallback implementation of SHA1, as specified in RFC 3174.
7
 *
8
 * Portions Copyright (c) 1996-2026, PostgreSQL Global Development Group
9
 * Portions Copyright (c) 1994, Regents of the University of California
10
 *
11
 * IDENTIFICATION
12
 *    src/common/sha1.c
13
 *
14
 *-------------------------------------------------------------------------
15
 */
16
17
/*     $KAME: sha1.c,v 1.3 2000/02/22 14:01:18 itojun Exp $    */
18
19
/*
20
 * Copyright (C) 1995, 1996, 1997, and 1998 WIDE Project.
21
 * All rights reserved.
22
 *
23
 * Redistribution and use in source and binary forms, with or without
24
 * modification, are permitted provided that the following conditions
25
 * are met:
26
 * 1. Redistributions of source code must retain the above copyright
27
 *    notice, this list of conditions and the following disclaimer.
28
 * 2. Redistributions in binary form must reproduce the above copyright
29
 *    notice, this list of conditions and the following disclaimer in the
30
 *    documentation and/or other materials provided with the distribution.
31
 * 3. Neither the name of the project nor the names of its contributors
32
 *    may be used to endorse or promote products derived from this software
33
 *    without specific prior written permission.
34
 *
35
 * THIS SOFTWARE IS PROVIDED BY THE PROJECT AND CONTRIBUTORS ``AS IS'' AND
36
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
37
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
38
 * ARE DISCLAIMED.  IN NO EVENT SHALL THE PROJECT OR CONTRIBUTORS BE LIABLE
39
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
40
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
41
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
42
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
43
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
44
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
45
 * SUCH DAMAGE.
46
 */
47
/*
48
 * FIPS pub 180-1: Secure Hash Algorithm (SHA-1)
49
 * based on: http://www.itl.nist.gov/fipspubs/fip180-1.htm
50
 * implemented by Jun-ichiro itojun Itoh <itojun@itojun.org>
51
 */
52
53
#ifndef FRONTEND
54
#include "postgres.h"
55
#else
56
#include "postgres_fe.h"
57
#endif
58
59
#include <sys/param.h>
60
61
#include "sha1_int.h"
62
63
/* constant table */
64
static const uint32 _K[] = {0x5a827999, 0x6ed9eba1, 0x8f1bbcdc, 0xca62c1d6};
65
66
0
#define K(t)  _K[(t) / 20]
67
68
0
#define F0(b, c, d) (((b) & (c)) | ((~(b)) & (d)))
69
0
#define F1(b, c, d) (((b) ^ (c)) ^ (d))
70
0
#define F2(b, c, d) (((b) & (c)) | ((b) & (d)) | ((c) & (d)))
71
0
#define F3(b, c, d) (((b) ^ (c)) ^ (d))
72
73
0
#define S(n, x)   (((x) << (n)) | ((x) >> (32 - (n))))
74
75
0
#define H(n)  (ctx->h.b32[(n)])
76
0
#define COUNT (ctx->count)
77
#define BCOUNT  (ctx->c.b64[0] / 8)
78
0
#define W(n)  (ctx->m.b32[(n)])
79
80
0
#define PUTPAD(x) \
81
0
do { \
82
0
  ctx->m.b8[(COUNT % 64)] = (x);    \
83
0
  COUNT++;       \
84
0
  COUNT %= 64;       \
85
0
  if (COUNT % 64 == 0)     \
86
0
    sha1_step(ctx);   \
87
0
} while (0)
88
89
static void
90
sha1_step(pg_sha1_ctx *ctx)
91
0
{
92
0
  uint32    a,
93
0
        b,
94
0
        c,
95
0
        d,
96
0
        e;
97
0
  size_t    t,
98
0
        s;
99
0
  uint32    tmp;
100
101
0
#ifndef WORDS_BIGENDIAN
102
0
  pg_sha1_ctx tctx;
103
104
0
  memmove(&tctx.m.b8[0], &ctx->m.b8[0], 64);
105
0
  ctx->m.b8[0] = tctx.m.b8[3];
106
0
  ctx->m.b8[1] = tctx.m.b8[2];
107
0
  ctx->m.b8[2] = tctx.m.b8[1];
108
0
  ctx->m.b8[3] = tctx.m.b8[0];
109
0
  ctx->m.b8[4] = tctx.m.b8[7];
110
0
  ctx->m.b8[5] = tctx.m.b8[6];
111
0
  ctx->m.b8[6] = tctx.m.b8[5];
112
0
  ctx->m.b8[7] = tctx.m.b8[4];
113
0
  ctx->m.b8[8] = tctx.m.b8[11];
114
0
  ctx->m.b8[9] = tctx.m.b8[10];
115
0
  ctx->m.b8[10] = tctx.m.b8[9];
116
0
  ctx->m.b8[11] = tctx.m.b8[8];
117
0
  ctx->m.b8[12] = tctx.m.b8[15];
118
0
  ctx->m.b8[13] = tctx.m.b8[14];
119
0
  ctx->m.b8[14] = tctx.m.b8[13];
120
0
  ctx->m.b8[15] = tctx.m.b8[12];
121
0
  ctx->m.b8[16] = tctx.m.b8[19];
122
0
  ctx->m.b8[17] = tctx.m.b8[18];
123
0
  ctx->m.b8[18] = tctx.m.b8[17];
124
0
  ctx->m.b8[19] = tctx.m.b8[16];
125
0
  ctx->m.b8[20] = tctx.m.b8[23];
126
0
  ctx->m.b8[21] = tctx.m.b8[22];
127
0
  ctx->m.b8[22] = tctx.m.b8[21];
128
0
  ctx->m.b8[23] = tctx.m.b8[20];
129
0
  ctx->m.b8[24] = tctx.m.b8[27];
130
0
  ctx->m.b8[25] = tctx.m.b8[26];
131
0
  ctx->m.b8[26] = tctx.m.b8[25];
132
0
  ctx->m.b8[27] = tctx.m.b8[24];
133
0
  ctx->m.b8[28] = tctx.m.b8[31];
134
0
  ctx->m.b8[29] = tctx.m.b8[30];
135
0
  ctx->m.b8[30] = tctx.m.b8[29];
136
0
  ctx->m.b8[31] = tctx.m.b8[28];
137
0
  ctx->m.b8[32] = tctx.m.b8[35];
138
0
  ctx->m.b8[33] = tctx.m.b8[34];
139
0
  ctx->m.b8[34] = tctx.m.b8[33];
140
0
  ctx->m.b8[35] = tctx.m.b8[32];
141
0
  ctx->m.b8[36] = tctx.m.b8[39];
142
0
  ctx->m.b8[37] = tctx.m.b8[38];
143
0
  ctx->m.b8[38] = tctx.m.b8[37];
144
0
  ctx->m.b8[39] = tctx.m.b8[36];
145
0
  ctx->m.b8[40] = tctx.m.b8[43];
146
0
  ctx->m.b8[41] = tctx.m.b8[42];
147
0
  ctx->m.b8[42] = tctx.m.b8[41];
148
0
  ctx->m.b8[43] = tctx.m.b8[40];
149
0
  ctx->m.b8[44] = tctx.m.b8[47];
150
0
  ctx->m.b8[45] = tctx.m.b8[46];
151
0
  ctx->m.b8[46] = tctx.m.b8[45];
152
0
  ctx->m.b8[47] = tctx.m.b8[44];
153
0
  ctx->m.b8[48] = tctx.m.b8[51];
154
0
  ctx->m.b8[49] = tctx.m.b8[50];
155
0
  ctx->m.b8[50] = tctx.m.b8[49];
156
0
  ctx->m.b8[51] = tctx.m.b8[48];
157
0
  ctx->m.b8[52] = tctx.m.b8[55];
158
0
  ctx->m.b8[53] = tctx.m.b8[54];
159
0
  ctx->m.b8[54] = tctx.m.b8[53];
160
0
  ctx->m.b8[55] = tctx.m.b8[52];
161
0
  ctx->m.b8[56] = tctx.m.b8[59];
162
0
  ctx->m.b8[57] = tctx.m.b8[58];
163
0
  ctx->m.b8[58] = tctx.m.b8[57];
164
0
  ctx->m.b8[59] = tctx.m.b8[56];
165
0
  ctx->m.b8[60] = tctx.m.b8[63];
166
0
  ctx->m.b8[61] = tctx.m.b8[62];
167
0
  ctx->m.b8[62] = tctx.m.b8[61];
168
0
  ctx->m.b8[63] = tctx.m.b8[60];
169
0
#endif
170
171
0
  a = H(0);
172
0
  b = H(1);
173
0
  c = H(2);
174
0
  d = H(3);
175
0
  e = H(4);
176
177
0
  for (t = 0; t < 20; t++)
178
0
  {
179
0
    s = t & 0x0f;
180
0
    if (t >= 16)
181
0
      W(s) = S(1, W((s + 13) & 0x0f) ^ W((s + 8) & 0x0f) ^ W((s + 2) & 0x0f) ^ W(s));
182
0
    tmp = S(5, a) + F0(b, c, d) + e + W(s) + K(t);
183
0
    e = d;
184
0
    d = c;
185
0
    c = S(30, b);
186
0
    b = a;
187
0
    a = tmp;
188
0
  }
189
0
  for (t = 20; t < 40; t++)
190
0
  {
191
0
    s = t & 0x0f;
192
0
    W(s) = S(1, W((s + 13) & 0x0f) ^ W((s + 8) & 0x0f) ^ W((s + 2) & 0x0f) ^ W(s));
193
0
    tmp = S(5, a) + F1(b, c, d) + e + W(s) + K(t);
194
0
    e = d;
195
0
    d = c;
196
0
    c = S(30, b);
197
0
    b = a;
198
0
    a = tmp;
199
0
  }
200
0
  for (t = 40; t < 60; t++)
201
0
  {
202
0
    s = t & 0x0f;
203
0
    W(s) = S(1, W((s + 13) & 0x0f) ^ W((s + 8) & 0x0f) ^ W((s + 2) & 0x0f) ^ W(s));
204
0
    tmp = S(5, a) + F2(b, c, d) + e + W(s) + K(t);
205
0
    e = d;
206
0
    d = c;
207
0
    c = S(30, b);
208
0
    b = a;
209
0
    a = tmp;
210
0
  }
211
0
  for (t = 60; t < 80; t++)
212
0
  {
213
0
    s = t & 0x0f;
214
0
    W(s) = S(1, W((s + 13) & 0x0f) ^ W((s + 8) & 0x0f) ^ W((s + 2) & 0x0f) ^ W(s));
215
0
    tmp = S(5, a) + F3(b, c, d) + e + W(s) + K(t);
216
0
    e = d;
217
0
    d = c;
218
0
    c = S(30, b);
219
0
    b = a;
220
0
    a = tmp;
221
0
  }
222
223
0
  H(0) = H(0) + a;
224
0
  H(1) = H(1) + b;
225
0
  H(2) = H(2) + c;
226
0
  H(3) = H(3) + d;
227
0
  H(4) = H(4) + e;
228
229
0
  memset(&ctx->m.b8[0], 0, 64);
230
0
}
231
232
static void
233
sha1_pad(pg_sha1_ctx *ctx)
234
0
{
235
0
  size_t    padlen;     /* pad length in bytes */
236
0
  size_t    padstart;
237
238
0
  PUTPAD(0x80);
239
240
0
  padstart = COUNT % 64;
241
0
  padlen = 64 - padstart;
242
0
  if (padlen < 8)
243
0
  {
244
0
    memset(&ctx->m.b8[padstart], 0, padlen);
245
0
    COUNT += padlen;
246
0
    COUNT %= 64;
247
0
    sha1_step(ctx);
248
0
    padstart = COUNT % 64;  /* should be 0 */
249
0
    padlen = 64 - padstart; /* should be 64 */
250
0
  }
251
0
  memset(&ctx->m.b8[padstart], 0, padlen - 8);
252
0
  COUNT += (padlen - 8);
253
0
  COUNT %= 64;
254
#ifdef WORDS_BIGENDIAN
255
  PUTPAD(ctx->c.b8[0]);
256
  PUTPAD(ctx->c.b8[1]);
257
  PUTPAD(ctx->c.b8[2]);
258
  PUTPAD(ctx->c.b8[3]);
259
  PUTPAD(ctx->c.b8[4]);
260
  PUTPAD(ctx->c.b8[5]);
261
  PUTPAD(ctx->c.b8[6]);
262
  PUTPAD(ctx->c.b8[7]);
263
#else
264
0
  PUTPAD(ctx->c.b8[7]);
265
0
  PUTPAD(ctx->c.b8[6]);
266
0
  PUTPAD(ctx->c.b8[5]);
267
0
  PUTPAD(ctx->c.b8[4]);
268
0
  PUTPAD(ctx->c.b8[3]);
269
0
  PUTPAD(ctx->c.b8[2]);
270
0
  PUTPAD(ctx->c.b8[1]);
271
0
  PUTPAD(ctx->c.b8[0]);
272
0
#endif
273
0
}
274
275
static void
276
sha1_result(uint8 *digest0, pg_sha1_ctx *ctx)
277
0
{
278
0
  uint8    *digest;
279
280
0
  digest = digest0;
281
282
#ifdef WORDS_BIGENDIAN
283
  memmove(digest, &ctx->h.b8[0], 20);
284
#else
285
0
  digest[0] = ctx->h.b8[3];
286
0
  digest[1] = ctx->h.b8[2];
287
0
  digest[2] = ctx->h.b8[1];
288
0
  digest[3] = ctx->h.b8[0];
289
0
  digest[4] = ctx->h.b8[7];
290
0
  digest[5] = ctx->h.b8[6];
291
0
  digest[6] = ctx->h.b8[5];
292
0
  digest[7] = ctx->h.b8[4];
293
0
  digest[8] = ctx->h.b8[11];
294
0
  digest[9] = ctx->h.b8[10];
295
0
  digest[10] = ctx->h.b8[9];
296
0
  digest[11] = ctx->h.b8[8];
297
0
  digest[12] = ctx->h.b8[15];
298
0
  digest[13] = ctx->h.b8[14];
299
0
  digest[14] = ctx->h.b8[13];
300
0
  digest[15] = ctx->h.b8[12];
301
0
  digest[16] = ctx->h.b8[19];
302
0
  digest[17] = ctx->h.b8[18];
303
0
  digest[18] = ctx->h.b8[17];
304
0
  digest[19] = ctx->h.b8[16];
305
0
#endif
306
0
}
307
308
/* External routines for this SHA1 implementation */
309
310
/*
311
 * pg_sha1_init
312
 *
313
 * Initialize a SHA1 context.
314
 */
315
void
316
pg_sha1_init(pg_sha1_ctx *ctx)
317
0
{
318
0
  memset(ctx, 0, sizeof(pg_sha1_ctx));
319
0
  H(0) = 0x67452301;
320
0
  H(1) = 0xefcdab89;
321
0
  H(2) = 0x98badcfe;
322
0
  H(3) = 0x10325476;
323
0
  H(4) = 0xc3d2e1f0;
324
0
}
325
326
/*
327
 * pg_sha1_update
328
 *
329
 * Update a SHA1 context.
330
 */
331
void
332
pg_sha1_update(pg_sha1_ctx *ctx, const uint8 *data, size_t len)
333
0
{
334
0
  const uint8 *input;
335
0
  size_t    gaplen;
336
0
  size_t    gapstart;
337
0
  size_t    off;
338
0
  size_t    copysiz;
339
340
0
  input = data;
341
0
  off = 0;
342
343
0
  while (off < len)
344
0
  {
345
0
    gapstart = COUNT % 64;
346
0
    gaplen = 64 - gapstart;
347
348
0
    copysiz = (gaplen < len - off) ? gaplen : len - off;
349
0
    memmove(&ctx->m.b8[gapstart], &input[off], copysiz);
350
0
    COUNT += copysiz;
351
0
    COUNT %= 64;
352
0
    ctx->c.b64[0] += copysiz * 8;
353
0
    if (COUNT % 64 == 0)
354
0
      sha1_step(ctx);
355
0
    off += copysiz;
356
0
  }
357
0
}
358
359
/*
360
 * pg_sha1_final
361
 *
362
 * Finalize a SHA1 context.
363
 */
364
void
365
pg_sha1_final(pg_sha1_ctx *ctx, uint8 *dest)
366
0
{
367
0
  sha1_pad(ctx);
368
0
  sha1_result(dest, ctx);
369
0
}