blob: c067f5e11f511a9eea56500bac9c9457a4b9af5b [file] [log] [blame]
Damien Millere3476ed2006-07-24 14:13:33 +10001/* $OpenBSD: hostfile.c,v 1.42 2006/07/22 20:48:23 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 Millere3476ed2006-07-24 14:13:33 +100046#include <string.h>
Damien Miller5d771052006-03-15 11:12:13 +110047
Damien Millere1776152005-03-01 21:47:37 +110048#include <openssl/hmac.h>
49#include <openssl/sha.h>
Damien Miller450a7a12000-03-26 13:04:51 +100050
Damien Miller450a7a12000-03-26 13:04:51 +100051#include "match.h"
Damien Miller450a7a12000-03-26 13:04:51 +100052#include "key.h"
53#include "hostfile.h"
Ben Lindstrom226cfa02001-01-22 05:34:40 +000054#include "log.h"
Damien Millere1776152005-03-01 21:47:37 +110055#include "xmalloc.h"
56
57static int
58extract_salt(const char *s, u_int l, char *salt, size_t salt_len)
59{
60 char *p, *b64salt;
61 u_int b64len;
62 int ret;
63
64 if (l < sizeof(HASH_MAGIC) - 1) {
65 debug2("extract_salt: string too short");
66 return (-1);
67 }
68 if (strncmp(s, HASH_MAGIC, sizeof(HASH_MAGIC) - 1) != 0) {
69 debug2("extract_salt: invalid magic identifier");
70 return (-1);
71 }
72 s += sizeof(HASH_MAGIC) - 1;
73 l -= sizeof(HASH_MAGIC) - 1;
74 if ((p = memchr(s, HASH_DELIM, l)) == NULL) {
75 debug2("extract_salt: missing salt termination character");
76 return (-1);
77 }
78
79 b64len = p - s;
80 /* Sanity check */
81 if (b64len == 0 || b64len > 1024) {
82 debug2("extract_salt: bad encoded salt length %u", b64len);
83 return (-1);
84 }
85 b64salt = xmalloc(1 + b64len);
86 memcpy(b64salt, s, b64len);
87 b64salt[b64len] = '\0';
88
89 ret = __b64_pton(b64salt, salt, salt_len);
90 xfree(b64salt);
91 if (ret == -1) {
92 debug2("extract_salt: salt decode error");
93 return (-1);
94 }
95 if (ret != SHA_DIGEST_LENGTH) {
Darren Tucker593bae72005-11-22 19:43:26 +110096 debug2("extract_salt: expected salt len %d, got %d",
97 SHA_DIGEST_LENGTH, ret);
Damien Millere1776152005-03-01 21:47:37 +110098 return (-1);
99 }
Darren Tucker47eede72005-03-14 23:08:12 +1100100
Damien Millere1776152005-03-01 21:47:37 +1100101 return (0);
102}
103
104char *
105host_hash(const char *host, const char *name_from_hostfile, u_int src_len)
106{
107 const EVP_MD *md = EVP_sha1();
108 HMAC_CTX mac_ctx;
109 char salt[256], result[256], uu_salt[512], uu_result[512];
110 static char encoded[1024];
111 u_int i, len;
112
113 len = EVP_MD_size(md);
114
115 if (name_from_hostfile == NULL) {
116 /* Create new salt */
117 for (i = 0; i < len; i++)
118 salt[i] = arc4random();
119 } else {
120 /* Extract salt from known host entry */
121 if (extract_salt(name_from_hostfile, src_len, salt,
122 sizeof(salt)) == -1)
123 return (NULL);
124 }
125
126 HMAC_Init(&mac_ctx, salt, len, md);
127 HMAC_Update(&mac_ctx, host, strlen(host));
128 HMAC_Final(&mac_ctx, result, NULL);
129 HMAC_cleanup(&mac_ctx);
130
Darren Tucker47eede72005-03-14 23:08:12 +1100131 if (__b64_ntop(salt, len, uu_salt, sizeof(uu_salt)) == -1 ||
Damien Millere1776152005-03-01 21:47:37 +1100132 __b64_ntop(result, len, uu_result, sizeof(uu_result)) == -1)
133 fatal("host_hash: __b64_ntop failed");
134
135 snprintf(encoded, sizeof(encoded), "%s%s%c%s", HASH_MAGIC, uu_salt,
136 HASH_DELIM, uu_result);
137
138 return (encoded);
139}
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000140
Damien Miller5428f641999-11-25 11:54:57 +1100141/*
Damien Miller450a7a12000-03-26 13:04:51 +1000142 * Parses an RSA (number of bits, e, n) or DSA key from a string. Moves the
143 * pointer over the key. Skips any whitespace at the beginning and at end.
Damien Miller5428f641999-11-25 11:54:57 +1100144 */
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000145
Damien Miller5b2aea92001-12-21 12:47:09 +1100146int
Ben Lindstrom46c16222000-12-22 01:43:59 +0000147hostfile_read_key(char **cpp, u_int *bitsp, Key *ret)
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000148{
Damien Miller95def091999-11-25 00:26:21 +1100149 char *cp;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000150
Damien Miller95def091999-11-25 00:26:21 +1100151 /* Skip leading whitespace. */
Damien Miller5428f641999-11-25 11:54:57 +1100152 for (cp = *cpp; *cp == ' ' || *cp == '\t'; cp++)
153 ;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000154
Damien Miller0bc1bd82000-11-13 22:57:25 +1100155 if (key_read(ret, &cp) != 1)
Damien Miller95def091999-11-25 00:26:21 +1100156 return 0;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000157
Damien Miller95def091999-11-25 00:26:21 +1100158 /* Skip trailing whitespace. */
Damien Miller5428f641999-11-25 11:54:57 +1100159 for (; *cp == ' ' || *cp == '\t'; cp++)
160 ;
Damien Miller95def091999-11-25 00:26:21 +1100161
162 /* Return results. */
163 *cpp = cp;
Damien Miller0bc1bd82000-11-13 22:57:25 +1100164 *bitsp = key_size(ret);
Damien Miller95def091999-11-25 00:26:21 +1100165 return 1;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000166}
167
Ben Lindstrombba81212001-06-25 05:01:22 +0000168static int
Damien Millerf58b58c2003-11-17 21:18:23 +1100169hostfile_check_key(int bits, const Key *key, const char *host, const char *filename, int linenum)
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000170{
Damien Miller0bc1bd82000-11-13 22:57:25 +1100171 if (key == NULL || key->type != KEY_RSA1 || key->rsa == NULL)
Damien Miller450a7a12000-03-26 13:04:51 +1000172 return 1;
173 if (bits != BN_num_bits(key->rsa->n)) {
Damien Miller996acd22003-04-09 20:59:48 +1000174 logit("Warning: %s, line %d: keysize mismatch for host %s: "
Damien Miller450a7a12000-03-26 13:04:51 +1000175 "actual %d vs. announced %d.",
176 filename, linenum, host, BN_num_bits(key->rsa->n), bits);
Damien Miller996acd22003-04-09 20:59:48 +1000177 logit("Warning: replace %d with %d in %s, line %d.",
Damien Miller450a7a12000-03-26 13:04:51 +1000178 bits, BN_num_bits(key->rsa->n), filename, linenum);
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000179 }
Damien Miller450a7a12000-03-26 13:04:51 +1000180 return 1;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000181}
182
Damien Miller5428f641999-11-25 11:54:57 +1100183/*
184 * Checks whether the given host (which must be in all lowercase) is already
185 * in the list of our known hosts. Returns HOST_OK if the host is known and
186 * has the specified key, HOST_NEW if the host is not known, and HOST_CHANGED
187 * if the host is known but used to have a different host key.
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000188 *
189 * If no 'key' has been specified and a key of type 'keytype' is known
190 * for the specified host, then HOST_FOUND is returned.
Damien Miller5428f641999-11-25 11:54:57 +1100191 */
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000192
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000193static HostStatus
194check_host_in_hostfile_by_key_or_type(const char *filename,
Damien Millerf58b58c2003-11-17 21:18:23 +1100195 const char *host, const Key *key, int keytype, Key *found, int *numret)
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000196{
Damien Miller95def091999-11-25 00:26:21 +1100197 FILE *f;
198 char line[8192];
199 int linenum = 0;
Ben Lindstromab0cedc2001-04-07 17:23:43 +0000200 u_int kbits;
Damien Millere1776152005-03-01 21:47:37 +1100201 char *cp, *cp2, *hashed_host;
Damien Miller95def091999-11-25 00:26:21 +1100202 HostStatus end_return;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000203
Ben Lindstrom5eabda32001-04-12 23:34:34 +0000204 debug3("check_host_in_hostfile: filename %s", filename);
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000205
Damien Miller95def091999-11-25 00:26:21 +1100206 /* Open the file containing the list of known hosts. */
207 f = fopen(filename, "r");
208 if (!f)
209 return HOST_NEW;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000210
Damien Miller5428f641999-11-25 11:54:57 +1100211 /*
212 * Return value when the loop terminates. This is set to
213 * HOST_CHANGED if we have seen a different key for the host and have
214 * not found the proper one.
215 */
Damien Miller95def091999-11-25 00:26:21 +1100216 end_return = HOST_NEW;
Damien Miller7e8e8201999-11-16 13:37:16 +1100217
Ben Lindstromab0cedc2001-04-07 17:23:43 +0000218 /* Go through the file. */
Damien Miller95def091999-11-25 00:26:21 +1100219 while (fgets(line, sizeof(line), f)) {
220 cp = line;
221 linenum++;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000222
Damien Miller5428f641999-11-25 11:54:57 +1100223 /* Skip any leading whitespace, comments and empty lines. */
224 for (; *cp == ' ' || *cp == '\t'; cp++)
225 ;
Damien Miller95def091999-11-25 00:26:21 +1100226 if (!*cp || *cp == '#' || *cp == '\n')
227 continue;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000228
Damien Miller95def091999-11-25 00:26:21 +1100229 /* Find the end of the host name portion. */
Damien Miller5428f641999-11-25 11:54:57 +1100230 for (cp2 = cp; *cp2 && *cp2 != ' ' && *cp2 != '\t'; cp2++)
231 ;
Damien Miller7e8e8201999-11-16 13:37:16 +1100232
Damien Miller95def091999-11-25 00:26:21 +1100233 /* Check if the host name matches. */
Damien Millere1776152005-03-01 21:47:37 +1100234 if (match_hostname(host, cp, (u_int) (cp2 - cp)) != 1) {
235 if (*cp != HASH_DELIM)
236 continue;
237 hashed_host = host_hash(host, cp, (u_int) (cp2 - cp));
238 if (hashed_host == NULL) {
239 debug("Invalid hashed host line %d of %s",
240 linenum, filename);
241 continue;
242 }
243 if (strncmp(hashed_host, cp, (u_int) (cp2 - cp)) != 0)
244 continue;
245 }
Damien Miller95def091999-11-25 00:26:21 +1100246
247 /* Got a match. Skip host name. */
248 cp = cp2;
249
Damien Miller5428f641999-11-25 11:54:57 +1100250 /*
251 * Extract the key from the line. This will skip any leading
252 * whitespace. Ignore badly formatted lines.
253 */
Damien Miller450a7a12000-03-26 13:04:51 +1000254 if (!hostfile_read_key(&cp, &kbits, found))
255 continue;
Damien Miller95def091999-11-25 00:26:21 +1100256
Ben Lindstrom46c16222000-12-22 01:43:59 +0000257 if (numret != NULL)
258 *numret = linenum;
259
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000260 if (key == NULL) {
261 /* we found a key of the requested type */
Damien Miller6db780e2006-03-26 13:52:20 +1100262 if (found->type == keytype) {
263 fclose(f);
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000264 return HOST_FOUND;
Damien Miller6db780e2006-03-26 13:52:20 +1100265 }
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000266 continue;
267 }
268
269 if (!hostfile_check_key(kbits, found, host, filename, linenum))
270 continue;
271
Damien Miller95def091999-11-25 00:26:21 +1100272 /* Check if the current key is the same as the given key. */
Damien Miller450a7a12000-03-26 13:04:51 +1000273 if (key_equal(key, found)) {
Damien Miller95def091999-11-25 00:26:21 +1100274 /* Ok, they match. */
Ben Lindstrom5eabda32001-04-12 23:34:34 +0000275 debug3("check_host_in_hostfile: match line %d", linenum);
Damien Miller95def091999-11-25 00:26:21 +1100276 fclose(f);
277 return HOST_OK;
278 }
Damien Miller5428f641999-11-25 11:54:57 +1100279 /*
280 * They do not match. We will continue to go through the
281 * file; however, we note that we will not return that it is
282 * new.
283 */
Damien Miller95def091999-11-25 00:26:21 +1100284 end_return = HOST_CHANGED;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000285 }
Damien Miller95def091999-11-25 00:26:21 +1100286 /* Clear variables and close the file. */
287 fclose(f);
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000288
Damien Miller5428f641999-11-25 11:54:57 +1100289 /*
290 * Return either HOST_NEW or HOST_CHANGED, depending on whether we
291 * saw a different key for the host.
292 */
Damien Miller95def091999-11-25 00:26:21 +1100293 return end_return;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000294}
295
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000296HostStatus
Damien Millerf58b58c2003-11-17 21:18:23 +1100297check_host_in_hostfile(const char *filename, const char *host, const Key *key,
Ben Lindstrom3ed66402002-08-01 01:21:56 +0000298 Key *found, int *numret)
299{
300 if (key == NULL)
301 fatal("no key to look up");
302 return (check_host_in_hostfile_by_key_or_type(filename, host, key, 0,
303 found, numret));
304}
305
306int
307lookup_key_in_hostfile_by_type(const char *filename, const char *host,
308 int keytype, Key *found, int *numret)
309{
310 return (check_host_in_hostfile_by_key_or_type(filename, host, NULL,
311 keytype, found, numret) == HOST_FOUND);
312}
313
Damien Miller5428f641999-11-25 11:54:57 +1100314/*
315 * Appends an entry to the host file. Returns false if the entry could not
316 * be appended.
317 */
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000318
319int
Darren Tucker47eede72005-03-14 23:08:12 +1100320add_host_to_hostfile(const char *filename, const char *host, const Key *key,
Damien Millere1776152005-03-01 21:47:37 +1100321 int store_hash)
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000322{
Damien Miller95def091999-11-25 00:26:21 +1100323 FILE *f;
Damien Miller450a7a12000-03-26 13:04:51 +1000324 int success = 0;
Darren Tucker40858532005-08-02 17:07:07 +1000325 char *hashed_host = NULL;
Damien Millere1776152005-03-01 21:47:37 +1100326
Damien Miller450a7a12000-03-26 13:04:51 +1000327 if (key == NULL)
Damien Millereba71ba2000-04-29 23:57:08 +1000328 return 1; /* XXX ? */
Damien Miller95def091999-11-25 00:26:21 +1100329 f = fopen(filename, "a");
330 if (!f)
331 return 0;
Damien Millere1776152005-03-01 21:47:37 +1100332
333 if (store_hash) {
334 if ((hashed_host = host_hash(host, NULL, 0)) == NULL) {
335 error("add_host_to_hostfile: host_hash failed");
336 fclose(f);
337 return 0;
338 }
339 }
340 fprintf(f, "%s ", store_hash ? hashed_host : host);
341
Damien Miller450a7a12000-03-26 13:04:51 +1000342 if (key_write(key, f)) {
Damien Miller450a7a12000-03-26 13:04:51 +1000343 success = 1;
344 } else {
Damien Millereba71ba2000-04-29 23:57:08 +1000345 error("add_host_to_hostfile: saving key in %s failed", filename);
Damien Miller95def091999-11-25 00:26:21 +1100346 }
Damien Millereba71ba2000-04-29 23:57:08 +1000347 fprintf(f, "\n");
Damien Miller95def091999-11-25 00:26:21 +1100348 fclose(f);
Damien Miller450a7a12000-03-26 13:04:51 +1000349 return success;
Damien Millerd4a8b7e1999-10-27 13:42:43 +1000350}