The FreeRADIUS server  $Id: 15bac2a4c627c01d1aa2047687b3418955ac7f00 $
sha1.c
Go to the documentation of this file.
1 /** Local implementation of the SHA1 hashing scheme
2  *
3  * SHA-1 in C 100% Public Domain
4  *
5  * @file src/lib/util/sha1.c
6  *
7  * @author Steve Reid (steve@edmweb.com)
8  */
9 RCSID("$Id: 0bcccca9037e19df3bb39d453cc44e9107c626dd $")
10 
11 #include <freeradius-devel/util/sha1.h>
12 
13 
14 #ifndef WITH_OPENSSL_SHA1
15 # define rol(value, bits) (((value) << (bits)) | ((value) >> (32 - (bits))))
16 
17 /* blk0() and blk() perform the initial expand. */
18 /* I got the idea of expanding during the round function from SSLeay */
19 
20 # define blk0(i) (block->l[i] = htonl(block->l[i]))
21 
22 # define blk(i) (block->l[i&15] = rol(block->l[(i+13)&15]^block->l[(i+8)&15] \
23  ^block->l[(i+2)&15]^block->l[i&15],1))
24 
25 /* (R0+R1), R2, R3, R4 are the different operations used in SHA1 */
26 # define R0(v,w,x,y,z,i) do { z+=((w&(x^y))^y)+blk0(i)+0x5A827999+rol(v,5);w=rol(w,30); } while (0)
27 # define R1(v,w,x,y,z,i) do { z+=((w&(x^y))^y)+blk(i)+0x5A827999+rol(v,5);w=rol(w,30); } while (0)
28 # define R2(v,w,x,y,z,i) do { z+=(w^x^y)+blk(i)+0x6ED9EBA1+rol(v,5);w=rol(w,30); } while (0)
29 # define R3(v,w,x,y,z,i) do { z+=(((w|x)&y)|(w&x))+blk(i)+0x8F1BBCDC+rol(v,5);w=rol(w,30); } while (0)
30 # define R4(v,w,x,y,z,i) do { z+=(w^x^y)+blk(i)+0xCA62C1D6+rol(v,5);w=rol(w,30); } while (0)
31 
32 
33 /* Hash a single 512-bit block. This is the core of the algorithm. */
34 
35 void fr_sha1_transform(uint32_t state[static 5], uint8_t const buffer[static 64])
36 {
37  uint32_t a, b, c, d, e;
38  typedef union {
39  uint8_t c[64];
40  uint32_t l[16];
41  } CHAR64LONG16;
42  CHAR64LONG16 *block;
43  uint8_t workspace[64];
44 
45  block = (CHAR64LONG16*)workspace;
46  memcpy(block, buffer, 64);
47 
48  /* Copy context->state[] to working vars */
49  a = state[0];
50  b = state[1];
51  c = state[2];
52  d = state[3];
53  e = state[4];
54 
55  /* 4 rounds of 20 operations each. Loop unrolled. */
56  R0(a,b,c,d,e, 0); R0(e,a,b,c,d, 1); R0(d,e,a,b,c, 2); R0(c,d,e,a,b, 3);
57  R0(b,c,d,e,a, 4); R0(a,b,c,d,e, 5); R0(e,a,b,c,d, 6); R0(d,e,a,b,c, 7);
58  R0(c,d,e,a,b, 8); R0(b,c,d,e,a, 9); R0(a,b,c,d,e,10); R0(e,a,b,c,d,11);
59  R0(d,e,a,b,c,12); R0(c,d,e,a,b,13); R0(b,c,d,e,a,14); R0(a,b,c,d,e,15);
60  R1(e,a,b,c,d,16); R1(d,e,a,b,c,17); R1(c,d,e,a,b,18); R1(b,c,d,e,a,19);
61  R2(a,b,c,d,e,20); R2(e,a,b,c,d,21); R2(d,e,a,b,c,22); R2(c,d,e,a,b,23);
62  R2(b,c,d,e,a,24); R2(a,b,c,d,e,25); R2(e,a,b,c,d,26); R2(d,e,a,b,c,27);
63  R2(c,d,e,a,b,28); R2(b,c,d,e,a,29); R2(a,b,c,d,e,30); R2(e,a,b,c,d,31);
64  R2(d,e,a,b,c,32); R2(c,d,e,a,b,33); R2(b,c,d,e,a,34); R2(a,b,c,d,e,35);
65  R2(e,a,b,c,d,36); R2(d,e,a,b,c,37); R2(c,d,e,a,b,38); R2(b,c,d,e,a,39);
66  R3(a,b,c,d,e,40); R3(e,a,b,c,d,41); R3(d,e,a,b,c,42); R3(c,d,e,a,b,43);
67  R3(b,c,d,e,a,44); R3(a,b,c,d,e,45); R3(e,a,b,c,d,46); R3(d,e,a,b,c,47);
68  R3(c,d,e,a,b,48); R3(b,c,d,e,a,49); R3(a,b,c,d,e,50); R3(e,a,b,c,d,51);
69  R3(d,e,a,b,c,52); R3(c,d,e,a,b,53); R3(b,c,d,e,a,54); R3(a,b,c,d,e,55);
70  R3(e,a,b,c,d,56); R3(d,e,a,b,c,57); R3(c,d,e,a,b,58); R3(b,c,d,e,a,59);
71  R4(a,b,c,d,e,60); R4(e,a,b,c,d,61); R4(d,e,a,b,c,62); R4(c,d,e,a,b,63);
72  R4(b,c,d,e,a,64); R4(a,b,c,d,e,65); R4(e,a,b,c,d,66); R4(d,e,a,b,c,67);
73  R4(c,d,e,a,b,68); R4(b,c,d,e,a,69); R4(a,b,c,d,e,70); R4(e,a,b,c,d,71);
74  R4(d,e,a,b,c,72); R4(c,d,e,a,b,73); R4(b,c,d,e,a,74); R4(a,b,c,d,e,75);
75  R4(e,a,b,c,d,76); R4(d,e,a,b,c,77); R4(c,d,e,a,b,78); R4(b,c,d,e,a,79);
76 
77  /* Add the working vars back into context.state[] */
78  state[0] += a;
79  state[1] += b;
80  state[2] += c;
81  state[3] += d;
82  state[4] += e;
83 
84 # ifndef STATIC_ANALYZER
85  /* Wipe variables */
86  a = b = c = d = e = 0;
87 # endif
88 }
89 
90 
91 /* fr_sha1_init - Initialize new context */
92 
94 {
95  /* SHA1 initialization constants */
96  context->state[0] = 0x67452301;
97  context->state[1] = 0xEFCDAB89;
98  context->state[2] = 0x98BADCFE;
99  context->state[3] = 0x10325476;
100  context->state[4] = 0xC3D2E1F0;
101  context->count[0] = context->count[1] = 0;
102 }
103 
104 /* Run your data through this. */
105 void fr_sha1_update(fr_sha1_ctx *context, uint8_t const *in, size_t len)
106 {
107  unsigned int i, j;
108 
109  /*
110  * If len == 0, there's nothing to do:
111  * First, len == 0 impolies len * 8 == 0, so the contents of
112  * context->count wouldn't change.
113  * j by construction is <= 63, so if len == 0, j + len == j <= 63, and
114  * i would be set to 0 and the final memcpy() would "copy" 0
115  * bytes, so the contents of context->buffer wouldn't change either.
116  */
117  if (len == 0) return;
118 
119  j = (context->count[0] >> 3) & 63;
120  if ((context->count[0] += len << 3) < (len << 3)) {
121  context->count[1]++;
122  }
123 
124  context->count[1] += (len >> 29);
125  if ((j + len) > 63) {
126  memcpy(&context->buffer[j], in, (i = 64-j));
127  fr_sha1_transform(context->state, context->buffer);
128  for ( ; i + 63 < len; i += 64) {
129  fr_sha1_transform(context->state, &in[i]);
130  }
131  j = 0;
132  } else {
133  i = 0;
134  }
135  memcpy(&context->buffer[j], &in[i], len - i);
136 }
137 
138 
139 /* Add padding and return the message digest. */
140 
142 {
143  uint32_t i, j;
144  uint8_t finalcount[8];
145 
146  for (i = 0; i < 8; i++) {
147  finalcount[i] = (uint8_t)((context->count[(i >= 4 ? 0 : 1)] >> ((3-(i & 3)) * 8) ) & 255); /* Endian independent */
148  }
149 
150  fr_sha1_update(context, (unsigned char const *) "\200", 1);
151 
152  while ((context->count[0] & 504) != 448) {
153  fr_sha1_update(context, (unsigned char const *) "\0", 1);
154  }
155  fr_sha1_update(context, finalcount, 8); /* Should cause a fr_sha1_transform() */
156  for (i = 0; i < 20; i++) {
157  digest[i] = (uint8_t)((context->state[i>>2] >> ((3-(i & 3)) * 8) ) & 255);
158  }
159 
160 # ifndef STATIC_ANALYZER
161  /* Wipe variables */
162  i = j = 0;
163  memset(context->buffer, 0, 64);
164  memset(context->state, 0, 20);
165  memset(context->count, 0, 8);
166  memset(&finalcount, 0, 8);
167 # endif
168 
169 # ifdef SHA1HANDSOFF /* make fr_sha1_transform overwrite it's own static vars */
170  fr_sha1_transform(context->state, context->buffer);
171 # endif
172 }
173 
175 {
176  uint32_t i, j;
177 
178  for (i = 0; i < 20; i++) {
179  digest[i] = (uint8_t)((context->state[i>>2] >> ((3-(i & 3)) * 8) ) & 255);
180  }
181 
182 # ifndef STATIC_ANALYZER
183  /* Wipe variables */
184  i = j = 0;
185  memset(context->buffer, 0, 64);
186  memset(context->state, 0, 20);
187  memset(context->count, 0, 8);
188 # endif
189 
190 # ifdef SHA1HANDSOFF /* make fr_sha1_transform overwrite it's own static vars */
191  fr_sha1_transform(context->state, context->buffer);
192 # endif
193 }
194 #endif
static int const char char buffer[256]
Definition: acutest.h:574
static int context
Definition: radmin.c:71
#define RCSID(id)
Definition: build.h:481
static fr_slen_t in
Definition: dict.h:821
unsigned int uint32_t
Definition: merged_model.c:33
unsigned char uint8_t
Definition: merged_model.c:30
#define R1(v, w, x, y, z, i)
Definition: sha1.c:27
void fr_sha1_init(fr_sha1_ctx *context)
Definition: sha1.c:93
#define R2(v, w, x, y, z, i)
Definition: sha1.c:28
#define R0(v, w, x, y, z, i)
Definition: sha1.c:26
void fr_sha1_final_no_len(uint8_t digest[static SHA1_DIGEST_LENGTH], fr_sha1_ctx *context)
Definition: sha1.c:174
#define R3(v, w, x, y, z, i)
Definition: sha1.c:29
void fr_sha1_final(uint8_t digest[static SHA1_DIGEST_LENGTH], fr_sha1_ctx *context)
Definition: sha1.c:141
void fr_sha1_update(fr_sha1_ctx *context, uint8_t const *in, size_t len)
Definition: sha1.c:105
#define R4(v, w, x, y, z, i)
Definition: sha1.c:30
void fr_sha1_transform(uint32_t state[static 5], uint8_t const buffer[static 64])
Definition: sha1.c:35
#define SHA1_DIGEST_LENGTH
Definition: sha1.h:29