blob: c805784401abf2c66b0e85ae4c083268e927cbf8 [file] [log] [blame]
Damien Millerd4a8b7e1999-10-27 13:42:43 +10001/*
Damien Miller95def091999-11-25 00:26:21 +11002 * Author: Tatu Ylonen <ylo@cs.hut.fi>
Damien Miller95def091999-11-25 00:26:21 +11003 * Copyright (c) 1995 Tatu Ylonen <ylo@cs.hut.fi>, Espoo, Finland
4 * All rights reserved
Damien Miller95def091999-11-25 00:26:21 +11005 * Functions for manipulating the known hosts files.
Damien Miller4af51302000-04-16 11:18:38 +10006 *
Damien Millere4340be2000-09-16 13:29:08 +11007 * As far as I am concerned, the code I have written for this software
8 * can be used freely for any purpose. Any derived versions of this
9 * software must be clearly marked as such, and if the derived work is
10 * incompatible with the protocol description in the RFC file, it must be
11 * called by a name other than "ssh" or "Secure Shell".
12 *
13 *
Ben Lindstrom44697232001-07-04 03:32:30 +000014 * Copyright (c) 1999, 2000 Markus Friedl. All rights reserved.
Damien Millere4340be2000-09-16 13:29:08 +110015 * Copyright (c) 1999 Niels Provos. All rights reserved.
16 *
17 * Redistribution and use in source and binary forms, with or without
18 * modification, are permitted provided that the following conditions
19 * are met:
20 * 1. Redistributions of source code must retain the above copyright
21 * notice, this list of conditions and the following disclaimer.
22 * 2. Redistributions in binary form must reproduce the above copyright
23 * notice, this list of conditions and the following disclaimer in the
24 * documentation and/or other materials provided with the distribution.
25 *
26 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
27 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
28 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
29 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
30 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
31 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
32 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
33 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
34 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
35 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
Damien Miller95def091999-11-25 00:26:21 +110036 */
Damien Millerd4a8b7e1999-10-27 13:42:43 +100037
38#include "includes.h"
Damien Millere1776152005-03-01 21:47:37 +110039
40#include <resolv.h>
Damien Miller5d771052006-03-15 11:12:13 +110041
Damien Millere1776152005-03-01 21:47:37 +110042#include <openssl/hmac.h>
43#include <openssl/sha.h>
Damien Miller450a7a12000-03-26 13:04:51 +100044
Damien Miller450a7a12000-03-26 13:04:51 +100045#include "match.h"
Damien Miller450a7a12000-03-26 13:04:51 +100046#include "key.h"
47#include "hostfile.h"
Ben Lindstrom226cfa02001-01-22 05:34:40 +000048#include "log.h"
Damien Millere1776152005-03-01 21:47:37 +110049#include "xmalloc.h"
50
51static int
52extract_salt(const char *s, u_int l, char *salt, size_t salt_len)
53{
54 char *p, *b64salt;
55 u_int b64len;
56 int ret;
57
58 if (l < sizeof(HASH_MAGIC) - 1) {
59 debug2("extract_salt: string too short");
60 return (-1);
61 }
62 if (strncmp(s, HASH_MAGIC, sizeof(HASH_MAGIC) - 1) != 0) {
63 debug2("extract_salt: invalid magic identifier");
64 return (-1);
65 }
66 s += sizeof(HASH_MAGIC) - 1;
67 l -= sizeof(HASH_MAGIC) - 1;
68 if ((p = memchr(s, HASH_DELIM, l)) == NULL) {
69 debug2("extract_salt: missing salt termination character");
70 return (-1);
71 }
72
73 b64len = p - s;
74 /* Sanity check */
75 if (b64len == 0 || b64len > 1024) {
76 debug2("extract_salt: bad encoded salt length %u", b64len);
77 return (-1);
78 }
79 b64salt = xmalloc(1 + b64len);
80 memcpy(b64salt, s, b64len);
81 b64salt[b64len] = '\0';
82
83 ret = __b64_pton(b64salt, salt, salt_len);
84 xfree(b64salt);
85 if (ret == -1) {
86 debug2("extract_salt: salt decode error");
87 return (-1);
88 }
89 if (ret != SHA_DIGEST_LENGTH) {
Darren Tucker593bae72005-11-22 19:43:26 +110090 debug2("extract_salt: expected salt len %d, got %d",
91 SHA_DIGEST_LENGTH, ret);
Damien Millere1776152005-03-01 21:47:37 +110092 return (-1);
93 }
Darren Tucker47eede72005-03-14 23:08:12 +110094
Damien Millere1776152005-03-01 21:47:37 +110095 return (0);
96}
97
98char *
99host_hash(const char *host, const char *name_from_hostfile, u_int src_len)
100{
101 const EVP_MD *md = EVP_sha1();
102 HMAC_CTX mac_ctx;
103 char salt[256], result[256], uu_salt[512], uu_result[512];
104 static char encoded[1024];
105 u_int i, len;
106
107 len = EVP_MD_size(md);
108
109 if (name_from_hostfile == NULL) {
110 /* Create new salt */
111 for (i = 0; i < len; i++)
112 salt[i] = arc4random();
113 } else {
114 /* Extract salt from known host entry */
115 if (extract_salt(name_from_hostfile, src_len, salt,
116 sizeof(salt)) == -1)
117 return (NULL);
118 }
119
120 HMAC_Init(&mac_ctx, salt, len, md);
121 HMAC_Update(&mac_ctx, host, strlen(host));
122 HMAC_Final(&mac_ctx, result, NULL);
123 HMAC_cleanup(&mac_ctx);
124
Darren Tucker47eede72005-03-14 23:08:12 +1100125 if (__b64_ntop(salt, len, uu_salt, sizeof(uu_salt)) == -1 ||
Damien Millere1776152005-03-01 21:47:37 +1100126 __b64_ntop(result, len, uu_result, sizeof(uu_result)) == -1)
127 fatal("host_hash: __b64_ntop failed");
128
129 snprintf(encoded, sizeof(encoded), "%s%s%c%s", HASH_MAGIC, uu_salt,
130 HASH_DELIM, uu_result);
131
132 return (encoded);
133}
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000134
Damien Miller5428f641999-11-25 11:54:57 +1100135/*
Damien Miller450a7a12000-03-26 13:04:51 +1000136 * Parses an RSA (number of bits, e, n) or DSA key from a string. Moves the
137 * pointer over the key. Skips any whitespace at the beginning and at end.
Damien Miller5428f641999-11-25 11:54:57 +1100138 */
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000139
Damien Miller5b2aea92001-12-21 12:47:09 +1100140int
Ben Lindstrom46c16222000-12-22 01:43:59 +0000141hostfile_read_key(char **cpp, u_int *bitsp, Key *ret)
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000142{
Damien Miller95def091999-11-25 00:26:21 +1100143 char *cp;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000144
Damien Miller95def091999-11-25 00:26:21 +1100145 /* Skip leading whitespace. */
Damien Miller5428f641999-11-25 11:54:57 +1100146 for (cp = *cpp; *cp == ' ' || *cp == '\t'; cp++)
147 ;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000148
Damien Miller0bc1bd82000-11-13 22:57:25 +1100149 if (key_read(ret, &cp) != 1)
Damien Miller95def091999-11-25 00:26:21 +1100150 return 0;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000151
Damien Miller95def091999-11-25 00:26:21 +1100152 /* Skip trailing whitespace. */
Damien Miller5428f641999-11-25 11:54:57 +1100153 for (; *cp == ' ' || *cp == '\t'; cp++)
154 ;
Damien Miller95def091999-11-25 00:26:21 +1100155
156 /* Return results. */
157 *cpp = cp;
Damien Miller0bc1bd82000-11-13 22:57:25 +1100158 *bitsp = key_size(ret);
Damien Miller95def091999-11-25 00:26:21 +1100159 return 1;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000160}
161
Ben Lindstrombba81212001-06-25 05:01:22 +0000162static int
Damien Millerf58b58c2003-11-17 21:18:23 +1100163hostfile_check_key(int bits, const Key *key, const char *host, const char *filename, int linenum)
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000164{
Damien Miller0bc1bd82000-11-13 22:57:25 +1100165 if (key == NULL || key->type != KEY_RSA1 || key->rsa == NULL)
Damien Miller450a7a12000-03-26 13:04:51 +1000166 return 1;
167 if (bits != BN_num_bits(key->rsa->n)) {
Damien Miller996acd22003-04-09 20:59:48 +1000168 logit("Warning: %s, line %d: keysize mismatch for host %s: "
Damien Miller450a7a12000-03-26 13:04:51 +1000169 "actual %d vs. announced %d.",
170 filename, linenum, host, BN_num_bits(key->rsa->n), bits);
Damien Miller996acd22003-04-09 20:59:48 +1000171 logit("Warning: replace %d with %d in %s, line %d.",
Damien Miller450a7a12000-03-26 13:04:51 +1000172 bits, BN_num_bits(key->rsa->n), filename, linenum);
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000173 }
Damien Miller450a7a12000-03-26 13:04:51 +1000174 return 1;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000175}
176
Damien Miller5428f641999-11-25 11:54:57 +1100177/*
178 * Checks whether the given host (which must be in all lowercase) is already
179 * in the list of our known hosts. Returns HOST_OK if the host is known and
180 * has the specified key, HOST_NEW if the host is not known, and HOST_CHANGED
181 * if the host is known but used to have a different host key.
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000182 *
183 * If no 'key' has been specified and a key of type 'keytype' is known
184 * for the specified host, then HOST_FOUND is returned.
Damien Miller5428f641999-11-25 11:54:57 +1100185 */
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000186
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000187static HostStatus
188check_host_in_hostfile_by_key_or_type(const char *filename,
Damien Millerf58b58c2003-11-17 21:18:23 +1100189 const char *host, const Key *key, int keytype, Key *found, int *numret)
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000190{
Damien Miller95def091999-11-25 00:26:21 +1100191 FILE *f;
192 char line[8192];
193 int linenum = 0;
Ben Lindstromab0cedc2001-04-07 17:23:43 +0000194 u_int kbits;
Damien Millere1776152005-03-01 21:47:37 +1100195 char *cp, *cp2, *hashed_host;
Damien Miller95def091999-11-25 00:26:21 +1100196 HostStatus end_return;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000197
Ben Lindstrom5eabda32001-04-12 23:34:34 +0000198 debug3("check_host_in_hostfile: filename %s", filename);
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000199
Damien Miller95def091999-11-25 00:26:21 +1100200 /* Open the file containing the list of known hosts. */
201 f = fopen(filename, "r");
202 if (!f)
203 return HOST_NEW;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000204
Damien Miller5428f641999-11-25 11:54:57 +1100205 /*
206 * Return value when the loop terminates. This is set to
207 * HOST_CHANGED if we have seen a different key for the host and have
208 * not found the proper one.
209 */
Damien Miller95def091999-11-25 00:26:21 +1100210 end_return = HOST_NEW;
Damien Miller7e8e8201999-11-16 13:37:16 +1100211
Ben Lindstromab0cedc2001-04-07 17:23:43 +0000212 /* Go through the file. */
Damien Miller95def091999-11-25 00:26:21 +1100213 while (fgets(line, sizeof(line), f)) {
214 cp = line;
215 linenum++;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000216
Damien Miller5428f641999-11-25 11:54:57 +1100217 /* Skip any leading whitespace, comments and empty lines. */
218 for (; *cp == ' ' || *cp == '\t'; cp++)
219 ;
Damien Miller95def091999-11-25 00:26:21 +1100220 if (!*cp || *cp == '#' || *cp == '\n')
221 continue;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000222
Damien Miller95def091999-11-25 00:26:21 +1100223 /* Find the end of the host name portion. */
Damien Miller5428f641999-11-25 11:54:57 +1100224 for (cp2 = cp; *cp2 && *cp2 != ' ' && *cp2 != '\t'; cp2++)
225 ;
Damien Miller7e8e8201999-11-16 13:37:16 +1100226
Damien Miller95def091999-11-25 00:26:21 +1100227 /* Check if the host name matches. */
Damien Millere1776152005-03-01 21:47:37 +1100228 if (match_hostname(host, cp, (u_int) (cp2 - cp)) != 1) {
229 if (*cp != HASH_DELIM)
230 continue;
231 hashed_host = host_hash(host, cp, (u_int) (cp2 - cp));
232 if (hashed_host == NULL) {
233 debug("Invalid hashed host line %d of %s",
234 linenum, filename);
235 continue;
236 }
237 if (strncmp(hashed_host, cp, (u_int) (cp2 - cp)) != 0)
238 continue;
239 }
Damien Miller95def091999-11-25 00:26:21 +1100240
241 /* Got a match. Skip host name. */
242 cp = cp2;
243
Damien Miller5428f641999-11-25 11:54:57 +1100244 /*
245 * Extract the key from the line. This will skip any leading
246 * whitespace. Ignore badly formatted lines.
247 */
Damien Miller450a7a12000-03-26 13:04:51 +1000248 if (!hostfile_read_key(&cp, &kbits, found))
249 continue;
Damien Miller95def091999-11-25 00:26:21 +1100250
Ben Lindstrom46c16222000-12-22 01:43:59 +0000251 if (numret != NULL)
252 *numret = linenum;
253
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000254 if (key == NULL) {
255 /* we found a key of the requested type */
Damien Miller6db780e2006-03-26 13:52:20 +1100256 if (found->type == keytype) {
257 fclose(f);
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000258 return HOST_FOUND;
Damien Miller6db780e2006-03-26 13:52:20 +1100259 }
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000260 continue;
261 }
262
263 if (!hostfile_check_key(kbits, found, host, filename, linenum))
264 continue;
265
Damien Miller95def091999-11-25 00:26:21 +1100266 /* Check if the current key is the same as the given key. */
Damien Miller450a7a12000-03-26 13:04:51 +1000267 if (key_equal(key, found)) {
Damien Miller95def091999-11-25 00:26:21 +1100268 /* Ok, they match. */
Ben Lindstrom5eabda32001-04-12 23:34:34 +0000269 debug3("check_host_in_hostfile: match line %d", linenum);
Damien Miller95def091999-11-25 00:26:21 +1100270 fclose(f);
271 return HOST_OK;
272 }
Damien Miller5428f641999-11-25 11:54:57 +1100273 /*
274 * They do not match. We will continue to go through the
275 * file; however, we note that we will not return that it is
276 * new.
277 */
Damien Miller95def091999-11-25 00:26:21 +1100278 end_return = HOST_CHANGED;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000279 }
Damien Miller95def091999-11-25 00:26:21 +1100280 /* Clear variables and close the file. */
281 fclose(f);
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000282
Damien Miller5428f641999-11-25 11:54:57 +1100283 /*
284 * Return either HOST_NEW or HOST_CHANGED, depending on whether we
285 * saw a different key for the host.
286 */
Damien Miller95def091999-11-25 00:26:21 +1100287 return end_return;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000288}
289
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000290HostStatus
Damien Millerf58b58c2003-11-17 21:18:23 +1100291check_host_in_hostfile(const char *filename, const char *host, const Key *key,
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000292 Key *found, int *numret)
293{
294 if (key == NULL)
295 fatal("no key to look up");
296 return (check_host_in_hostfile_by_key_or_type(filename, host, key, 0,
297 found, numret));
298}
299
300int
301lookup_key_in_hostfile_by_type(const char *filename, const char *host,
302 int keytype, Key *found, int *numret)
303{
304 return (check_host_in_hostfile_by_key_or_type(filename, host, NULL,
305 keytype, found, numret) == HOST_FOUND);
306}
307
Damien Miller5428f641999-11-25 11:54:57 +1100308/*
309 * Appends an entry to the host file. Returns false if the entry could not
310 * be appended.
311 */
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000312
313int
Darren Tucker47eede72005-03-14 23:08:12 +1100314add_host_to_hostfile(const char *filename, const char *host, const Key *key,
Damien Millere1776152005-03-01 21:47:37 +1100315 int store_hash)
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000316{
Damien Miller95def091999-11-25 00:26:21 +1100317 FILE *f;
Damien Miller450a7a12000-03-26 13:04:51 +1000318 int success = 0;
Darren Tucker40858532005-08-02 17:07:07 +1000319 char *hashed_host = NULL;
Damien Millere1776152005-03-01 21:47:37 +1100320
Damien Miller450a7a12000-03-26 13:04:51 +1000321 if (key == NULL)
Damien Millereba71ba2000-04-29 23:57:08 +1000322 return 1; /* XXX ? */
Damien Miller95def091999-11-25 00:26:21 +1100323 f = fopen(filename, "a");
324 if (!f)
325 return 0;
Damien Millere1776152005-03-01 21:47:37 +1100326
327 if (store_hash) {
328 if ((hashed_host = host_hash(host, NULL, 0)) == NULL) {
329 error("add_host_to_hostfile: host_hash failed");
330 fclose(f);
331 return 0;
332 }
333 }
334 fprintf(f, "%s ", store_hash ? hashed_host : host);
335
Damien Miller450a7a12000-03-26 13:04:51 +1000336 if (key_write(key, f)) {
Damien Miller450a7a12000-03-26 13:04:51 +1000337 success = 1;
338 } else {
Damien Millereba71ba2000-04-29 23:57:08 +1000339 error("add_host_to_hostfile: saving key in %s failed", filename);
Damien Miller95def091999-11-25 00:26:21 +1100340 }
Damien Millereba71ba2000-04-29 23:57:08 +1000341 fprintf(f, "\n");
Damien Miller95def091999-11-25 00:26:21 +1100342 fclose(f);
Damien Miller450a7a12000-03-26 13:04:51 +1000343 return success;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000344}