blob: a6714b6e13e04a9479fe15cb8d6431134776da2f [file] [log] [blame]
Damien Miller8ec8c3e2006-07-10 20:35:38 +10001/* $OpenBSD: hostfile.c,v 1.41 2006/07/05 02:42:09 stevesk Exp $ */
Damien Millerd4a8b7e1999-10-27 13:42:43 +10002/*
Damien Miller95def091999-11-25 00:26:21 +11003 * Author: Tatu Ylonen <ylo@cs.hut.fi>
Damien Miller95def091999-11-25 00:26:21 +11004 * Copyright (c) 1995 Tatu Ylonen <ylo@cs.hut.fi>, Espoo, Finland
5 * All rights reserved
Damien Miller95def091999-11-25 00:26:21 +11006 * Functions for manipulating the known hosts files.
Damien Miller4af51302000-04-16 11:18:38 +10007 *
Damien Millere4340be2000-09-16 13:29:08 +11008 * As far as I am concerned, the code I have written for this software
9 * can be used freely for any purpose. Any derived versions of this
10 * software must be clearly marked as such, and if the derived work is
11 * incompatible with the protocol description in the RFC file, it must be
12 * called by a name other than "ssh" or "Secure Shell".
13 *
14 *
Ben Lindstrom44697232001-07-04 03:32:30 +000015 * Copyright (c) 1999, 2000 Markus Friedl. All rights reserved.
Damien Millere4340be2000-09-16 13:29:08 +110016 * Copyright (c) 1999 Niels Provos. All rights reserved.
17 *
18 * Redistribution and use in source and binary forms, with or without
19 * modification, are permitted provided that the following conditions
20 * are met:
21 * 1. Redistributions of source code must retain the above copyright
22 * notice, this list of conditions and the following disclaimer.
23 * 2. Redistributions in binary form must reproduce the above copyright
24 * notice, this list of conditions and the following disclaimer in the
25 * documentation and/or other materials provided with the distribution.
26 *
27 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
28 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
29 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
30 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
31 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
32 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
33 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
34 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
35 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
36 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
Damien Miller95def091999-11-25 00:26:21 +110037 */
Damien Millerd4a8b7e1999-10-27 13:42:43 +100038
39#include "includes.h"
Damien Millere1776152005-03-01 21:47:37 +110040
Damien Miller8ec8c3e2006-07-10 20:35:38 +100041#include <sys/types.h>
42
43#include <netinet/in.h>
44
Damien Millere1776152005-03-01 21:47:37 +110045#include <resolv.h>
Damien Miller5d771052006-03-15 11:12:13 +110046
Damien Millere1776152005-03-01 21:47:37 +110047#include <openssl/hmac.h>
48#include <openssl/sha.h>
Damien Miller450a7a12000-03-26 13:04:51 +100049
Damien Miller450a7a12000-03-26 13:04:51 +100050#include "match.h"
Damien Miller450a7a12000-03-26 13:04:51 +100051#include "key.h"
52#include "hostfile.h"
Ben Lindstrom226cfa02001-01-22 05:34:40 +000053#include "log.h"
Damien Millere1776152005-03-01 21:47:37 +110054#include "xmalloc.h"
55
56static int
57extract_salt(const char *s, u_int l, char *salt, size_t salt_len)
58{
59 char *p, *b64salt;
60 u_int b64len;
61 int ret;
62
63 if (l < sizeof(HASH_MAGIC) - 1) {
64 debug2("extract_salt: string too short");
65 return (-1);
66 }
67 if (strncmp(s, HASH_MAGIC, sizeof(HASH_MAGIC) - 1) != 0) {
68 debug2("extract_salt: invalid magic identifier");
69 return (-1);
70 }
71 s += sizeof(HASH_MAGIC) - 1;
72 l -= sizeof(HASH_MAGIC) - 1;
73 if ((p = memchr(s, HASH_DELIM, l)) == NULL) {
74 debug2("extract_salt: missing salt termination character");
75 return (-1);
76 }
77
78 b64len = p - s;
79 /* Sanity check */
80 if (b64len == 0 || b64len > 1024) {
81 debug2("extract_salt: bad encoded salt length %u", b64len);
82 return (-1);
83 }
84 b64salt = xmalloc(1 + b64len);
85 memcpy(b64salt, s, b64len);
86 b64salt[b64len] = '\0';
87
88 ret = __b64_pton(b64salt, salt, salt_len);
89 xfree(b64salt);
90 if (ret == -1) {
91 debug2("extract_salt: salt decode error");
92 return (-1);
93 }
94 if (ret != SHA_DIGEST_LENGTH) {
Darren Tucker593bae72005-11-22 19:43:26 +110095 debug2("extract_salt: expected salt len %d, got %d",
96 SHA_DIGEST_LENGTH, ret);
Damien Millere1776152005-03-01 21:47:37 +110097 return (-1);
98 }
Darren Tucker47eede72005-03-14 23:08:12 +110099
Damien Millere1776152005-03-01 21:47:37 +1100100 return (0);
101}
102
103char *
104host_hash(const char *host, const char *name_from_hostfile, u_int src_len)
105{
106 const EVP_MD *md = EVP_sha1();
107 HMAC_CTX mac_ctx;
108 char salt[256], result[256], uu_salt[512], uu_result[512];
109 static char encoded[1024];
110 u_int i, len;
111
112 len = EVP_MD_size(md);
113
114 if (name_from_hostfile == NULL) {
115 /* Create new salt */
116 for (i = 0; i < len; i++)
117 salt[i] = arc4random();
118 } else {
119 /* Extract salt from known host entry */
120 if (extract_salt(name_from_hostfile, src_len, salt,
121 sizeof(salt)) == -1)
122 return (NULL);
123 }
124
125 HMAC_Init(&mac_ctx, salt, len, md);
126 HMAC_Update(&mac_ctx, host, strlen(host));
127 HMAC_Final(&mac_ctx, result, NULL);
128 HMAC_cleanup(&mac_ctx);
129
Darren Tucker47eede72005-03-14 23:08:12 +1100130 if (__b64_ntop(salt, len, uu_salt, sizeof(uu_salt)) == -1 ||
Damien Millere1776152005-03-01 21:47:37 +1100131 __b64_ntop(result, len, uu_result, sizeof(uu_result)) == -1)
132 fatal("host_hash: __b64_ntop failed");
133
134 snprintf(encoded, sizeof(encoded), "%s%s%c%s", HASH_MAGIC, uu_salt,
135 HASH_DELIM, uu_result);
136
137 return (encoded);
138}
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000139
Damien Miller5428f641999-11-25 11:54:57 +1100140/*
Damien Miller450a7a12000-03-26 13:04:51 +1000141 * Parses an RSA (number of bits, e, n) or DSA key from a string. Moves the
142 * pointer over the key. Skips any whitespace at the beginning and at end.
Damien Miller5428f641999-11-25 11:54:57 +1100143 */
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000144
Damien Miller5b2aea92001-12-21 12:47:09 +1100145int
Ben Lindstrom46c16222000-12-22 01:43:59 +0000146hostfile_read_key(char **cpp, u_int *bitsp, Key *ret)
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000147{
Damien Miller95def091999-11-25 00:26:21 +1100148 char *cp;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000149
Damien Miller95def091999-11-25 00:26:21 +1100150 /* Skip leading whitespace. */
Damien Miller5428f641999-11-25 11:54:57 +1100151 for (cp = *cpp; *cp == ' ' || *cp == '\t'; cp++)
152 ;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000153
Damien Miller0bc1bd82000-11-13 22:57:25 +1100154 if (key_read(ret, &cp) != 1)
Damien Miller95def091999-11-25 00:26:21 +1100155 return 0;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000156
Damien Miller95def091999-11-25 00:26:21 +1100157 /* Skip trailing whitespace. */
Damien Miller5428f641999-11-25 11:54:57 +1100158 for (; *cp == ' ' || *cp == '\t'; cp++)
159 ;
Damien Miller95def091999-11-25 00:26:21 +1100160
161 /* Return results. */
162 *cpp = cp;
Damien Miller0bc1bd82000-11-13 22:57:25 +1100163 *bitsp = key_size(ret);
Damien Miller95def091999-11-25 00:26:21 +1100164 return 1;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000165}
166
Ben Lindstrombba81212001-06-25 05:01:22 +0000167static int
Damien Millerf58b58c2003-11-17 21:18:23 +1100168hostfile_check_key(int bits, const Key *key, const char *host, const char *filename, int linenum)
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000169{
Damien Miller0bc1bd82000-11-13 22:57:25 +1100170 if (key == NULL || key->type != KEY_RSA1 || key->rsa == NULL)
Damien Miller450a7a12000-03-26 13:04:51 +1000171 return 1;
172 if (bits != BN_num_bits(key->rsa->n)) {
Damien Miller996acd22003-04-09 20:59:48 +1000173 logit("Warning: %s, line %d: keysize mismatch for host %s: "
Damien Miller450a7a12000-03-26 13:04:51 +1000174 "actual %d vs. announced %d.",
175 filename, linenum, host, BN_num_bits(key->rsa->n), bits);
Damien Miller996acd22003-04-09 20:59:48 +1000176 logit("Warning: replace %d with %d in %s, line %d.",
Damien Miller450a7a12000-03-26 13:04:51 +1000177 bits, BN_num_bits(key->rsa->n), filename, linenum);
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000178 }
Damien Miller450a7a12000-03-26 13:04:51 +1000179 return 1;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000180}
181
Damien Miller5428f641999-11-25 11:54:57 +1100182/*
183 * Checks whether the given host (which must be in all lowercase) is already
184 * in the list of our known hosts. Returns HOST_OK if the host is known and
185 * has the specified key, HOST_NEW if the host is not known, and HOST_CHANGED
186 * if the host is known but used to have a different host key.
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000187 *
188 * If no 'key' has been specified and a key of type 'keytype' is known
189 * for the specified host, then HOST_FOUND is returned.
Damien Miller5428f641999-11-25 11:54:57 +1100190 */
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000191
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000192static HostStatus
193check_host_in_hostfile_by_key_or_type(const char *filename,
Damien Millerf58b58c2003-11-17 21:18:23 +1100194 const char *host, const Key *key, int keytype, Key *found, int *numret)
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000195{
Damien Miller95def091999-11-25 00:26:21 +1100196 FILE *f;
197 char line[8192];
198 int linenum = 0;
Ben Lindstromab0cedc2001-04-07 17:23:43 +0000199 u_int kbits;
Damien Millere1776152005-03-01 21:47:37 +1100200 char *cp, *cp2, *hashed_host;
Damien Miller95def091999-11-25 00:26:21 +1100201 HostStatus end_return;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000202
Ben Lindstrom5eabda32001-04-12 23:34:34 +0000203 debug3("check_host_in_hostfile: filename %s", filename);
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000204
Damien Miller95def091999-11-25 00:26:21 +1100205 /* Open the file containing the list of known hosts. */
206 f = fopen(filename, "r");
207 if (!f)
208 return HOST_NEW;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000209
Damien Miller5428f641999-11-25 11:54:57 +1100210 /*
211 * Return value when the loop terminates. This is set to
212 * HOST_CHANGED if we have seen a different key for the host and have
213 * not found the proper one.
214 */
Damien Miller95def091999-11-25 00:26:21 +1100215 end_return = HOST_NEW;
Damien Miller7e8e8201999-11-16 13:37:16 +1100216
Ben Lindstromab0cedc2001-04-07 17:23:43 +0000217 /* Go through the file. */
Damien Miller95def091999-11-25 00:26:21 +1100218 while (fgets(line, sizeof(line), f)) {
219 cp = line;
220 linenum++;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000221
Damien Miller5428f641999-11-25 11:54:57 +1100222 /* Skip any leading whitespace, comments and empty lines. */
223 for (; *cp == ' ' || *cp == '\t'; cp++)
224 ;
Damien Miller95def091999-11-25 00:26:21 +1100225 if (!*cp || *cp == '#' || *cp == '\n')
226 continue;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000227
Damien Miller95def091999-11-25 00:26:21 +1100228 /* Find the end of the host name portion. */
Damien Miller5428f641999-11-25 11:54:57 +1100229 for (cp2 = cp; *cp2 && *cp2 != ' ' && *cp2 != '\t'; cp2++)
230 ;
Damien Miller7e8e8201999-11-16 13:37:16 +1100231
Damien Miller95def091999-11-25 00:26:21 +1100232 /* Check if the host name matches. */
Damien Millere1776152005-03-01 21:47:37 +1100233 if (match_hostname(host, cp, (u_int) (cp2 - cp)) != 1) {
234 if (*cp != HASH_DELIM)
235 continue;
236 hashed_host = host_hash(host, cp, (u_int) (cp2 - cp));
237 if (hashed_host == NULL) {
238 debug("Invalid hashed host line %d of %s",
239 linenum, filename);
240 continue;
241 }
242 if (strncmp(hashed_host, cp, (u_int) (cp2 - cp)) != 0)
243 continue;
244 }
Damien Miller95def091999-11-25 00:26:21 +1100245
246 /* Got a match. Skip host name. */
247 cp = cp2;
248
Damien Miller5428f641999-11-25 11:54:57 +1100249 /*
250 * Extract the key from the line. This will skip any leading
251 * whitespace. Ignore badly formatted lines.
252 */
Damien Miller450a7a12000-03-26 13:04:51 +1000253 if (!hostfile_read_key(&cp, &kbits, found))
254 continue;
Damien Miller95def091999-11-25 00:26:21 +1100255
Ben Lindstrom46c16222000-12-22 01:43:59 +0000256 if (numret != NULL)
257 *numret = linenum;
258
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000259 if (key == NULL) {
260 /* we found a key of the requested type */
Damien Miller6db780e2006-03-26 13:52:20 +1100261 if (found->type == keytype) {
262 fclose(f);
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000263 return HOST_FOUND;
Damien Miller6db780e2006-03-26 13:52:20 +1100264 }
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000265 continue;
266 }
267
268 if (!hostfile_check_key(kbits, found, host, filename, linenum))
269 continue;
270
Damien Miller95def091999-11-25 00:26:21 +1100271 /* Check if the current key is the same as the given key. */
Damien Miller450a7a12000-03-26 13:04:51 +1000272 if (key_equal(key, found)) {
Damien Miller95def091999-11-25 00:26:21 +1100273 /* Ok, they match. */
Ben Lindstrom5eabda32001-04-12 23:34:34 +0000274 debug3("check_host_in_hostfile: match line %d", linenum);
Damien Miller95def091999-11-25 00:26:21 +1100275 fclose(f);
276 return HOST_OK;
277 }
Damien Miller5428f641999-11-25 11:54:57 +1100278 /*
279 * They do not match. We will continue to go through the
280 * file; however, we note that we will not return that it is
281 * new.
282 */
Damien Miller95def091999-11-25 00:26:21 +1100283 end_return = HOST_CHANGED;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000284 }
Damien Miller95def091999-11-25 00:26:21 +1100285 /* Clear variables and close the file. */
286 fclose(f);
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000287
Damien Miller5428f641999-11-25 11:54:57 +1100288 /*
289 * Return either HOST_NEW or HOST_CHANGED, depending on whether we
290 * saw a different key for the host.
291 */
Damien Miller95def091999-11-25 00:26:21 +1100292 return end_return;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000293}
294
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000295HostStatus
Damien Millerf58b58c2003-11-17 21:18:23 +1100296check_host_in_hostfile(const char *filename, const char *host, const Key *key,
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000297 Key *found, int *numret)
298{
299 if (key == NULL)
300 fatal("no key to look up");
301 return (check_host_in_hostfile_by_key_or_type(filename, host, key, 0,
302 found, numret));
303}
304
305int
306lookup_key_in_hostfile_by_type(const char *filename, const char *host,
307 int keytype, Key *found, int *numret)
308{
309 return (check_host_in_hostfile_by_key_or_type(filename, host, NULL,
310 keytype, found, numret) == HOST_FOUND);
311}
312
Damien Miller5428f641999-11-25 11:54:57 +1100313/*
314 * Appends an entry to the host file. Returns false if the entry could not
315 * be appended.
316 */
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000317
318int
Darren Tucker47eede72005-03-14 23:08:12 +1100319add_host_to_hostfile(const char *filename, const char *host, const Key *key,
Damien Millere1776152005-03-01 21:47:37 +1100320 int store_hash)
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000321{
Damien Miller95def091999-11-25 00:26:21 +1100322 FILE *f;
Damien Miller450a7a12000-03-26 13:04:51 +1000323 int success = 0;
Darren Tucker40858532005-08-02 17:07:07 +1000324 char *hashed_host = NULL;
Damien Millere1776152005-03-01 21:47:37 +1100325
Damien Miller450a7a12000-03-26 13:04:51 +1000326 if (key == NULL)
Damien Millereba71ba2000-04-29 23:57:08 +1000327 return 1; /* XXX ? */
Damien Miller95def091999-11-25 00:26:21 +1100328 f = fopen(filename, "a");
329 if (!f)
330 return 0;
Damien Millere1776152005-03-01 21:47:37 +1100331
332 if (store_hash) {
333 if ((hashed_host = host_hash(host, NULL, 0)) == NULL) {
334 error("add_host_to_hostfile: host_hash failed");
335 fclose(f);
336 return 0;
337 }
338 }
339 fprintf(f, "%s ", store_hash ? hashed_host : host);
340
Damien Miller450a7a12000-03-26 13:04:51 +1000341 if (key_write(key, f)) {
Damien Miller450a7a12000-03-26 13:04:51 +1000342 success = 1;
343 } else {
Damien Millereba71ba2000-04-29 23:57:08 +1000344 error("add_host_to_hostfile: saving key in %s failed", filename);
Damien Miller95def091999-11-25 00:26:21 +1100345 }
Damien Millereba71ba2000-04-29 23:57:08 +1000346 fprintf(f, "\n");
Damien Miller95def091999-11-25 00:26:21 +1100347 fclose(f);
Damien Miller450a7a12000-03-26 13:04:51 +1000348 return success;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000349}