routerparse.c 130 KB
Newer Older
1
/* Copyright (c) 2001 Matej Pfajfar.
Roger Dingledine's avatar
Roger Dingledine committed
2
 * Copyright (c) 2001-2004, Roger Dingledine.
3
 * Copyright (c) 2004-2006, Roger Dingledine, Nick Mathewson.
4
 * Copyright (c) 2007-2008, The Tor Project, Inc. */
5
6
/* See LICENSE for licensing information */
/* $Id$ */
7
8
const char routerparse_c_id[] =
  "$Id$";
9
10
11
12
13
14
15

/**
 * \file routerparse.c
 * \brief Code to parse and validate router descriptors and directories.
 **/

#include "or.h"
16
#include "memarea.h"
17
18
19

/****************************************************************************/

20
21
22
/** Enumeration of possible token types.  The ones starting with K_ correspond
 * to directory 'keywords'. _ERR is an error in the tokenizing process, _EOF
 * is an end-of-file marker, and _NIL is used to encode not-a-token.
23
24
 */
typedef enum {
25
  K_ACCEPT = 0,
26
  K_ACCEPT6,
27
28
29
  K_DIRECTORY_SIGNATURE,
  K_RECOMMENDED_SOFTWARE,
  K_REJECT,
30
  K_REJECT6,
31
32
33
34
35
36
37
  K_ROUTER,
  K_SIGNED_DIRECTORY,
  K_SIGNING_KEY,
  K_ONION_KEY,
  K_ROUTER_SIGNATURE,
  K_PUBLISHED,
  K_RUNNING_ROUTERS,
38
  K_ROUTER_STATUS,
39
40
41
  K_PLATFORM,
  K_OPT,
  K_BANDWIDTH,
42
  K_CONTACT,
43
  K_NETWORK_STATUS,
Nick Mathewson's avatar
Nick Mathewson committed
44
  K_UPTIME,
45
  K_DIR_SIGNING_KEY,
46
  K_FAMILY,
47
48
49
50
  K_FINGERPRINT,
  K_HIBERNATING,
  K_READ_HISTORY,
  K_WRITE_HISTORY,
51
52
53
54
55
  K_NETWORK_STATUS_VERSION,
  K_DIR_SOURCE,
  K_DIR_OPTIONS,
  K_CLIENT_VERSIONS,
  K_SERVER_VERSIONS,
56
  K_P,
57
58
  K_R,
  K_S,
59
  K_V,
60
  K_W,
61
  K_EVENTDNS,
62
63
64
  K_EXTRA_INFO,
  K_EXTRA_INFO_DIGEST,
  K_CACHES_EXTRA_INFO,
65
  K_HIDDEN_SERVICE_DIR,
66
67
68
69
70
71

  K_DIR_KEY_CERTIFICATE_VERSION,
  K_DIR_IDENTITY_KEY,
  K_DIR_KEY_PUBLISHED,
  K_DIR_KEY_EXPIRES,
  K_DIR_KEY_CERTIFICATION,
72
  K_DIR_ADDRESS,
73
74

  K_VOTE_STATUS,
75
76
  K_VALID_AFTER,
  K_FRESH_UNTIL,
77
  K_VALID_UNTIL,
78
79
  K_VOTING_DELAY,

80
81
82
  K_KNOWN_FLAGS,
  K_VOTE_DIGEST,
  K_CONSENSUS_DIGEST,
83
  K_CONSENSUS_METHODS,
84
  K_CONSENSUS_METHOD,
85
  K_LEGACY_DIR_KEY,
86

87
88
89
  A_PURPOSE,
  _A_UNKNOWN,

90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
  R_RENDEZVOUS_SERVICE_DESCRIPTOR,
  R_VERSION,
  R_PERMANENT_KEY,
  R_SECRET_ID_PART,
  R_PUBLICATION_TIME,
  R_PROTOCOL_VERSIONS,
  R_INTRODUCTION_POINTS,
  R_SIGNATURE,

  R_IPO_IDENTIFIER,
  R_IPO_IP_ADDRESS,
  R_IPO_ONION_PORT,
  R_IPO_ONION_KEY,
  R_IPO_SERVICE_KEY,

105
106
107
108
  C_CLIENT_NAME,
  C_DESCRIPTOR_COOKIE,
  C_CLIENT_KEY,

109
110
111
112
113
114
  _UNRECOGNIZED,
  _ERR,
  _EOF,
  _NIL
} directory_keyword;

115
116
117
#define MIN_ANNOTATION A_PURPOSE
#define MAX_ANNOTATION _A_UNKNOWN

118
119
120
121
122
123
/** Structure to hold a single directory token.
 *
 * We parse a directory by breaking it into "tokens", each consisting
 * of a keyword, a line full of arguments, and a binary object.  The
 * arguments and object are both optional, depending on the keyword
 * type.
124
125
126
 *
 * This structure is only allocated in memareas; do not allocate it on
 * the heap, or token_free() won't work.
127
128
129
 */
typedef struct directory_token_t {
  directory_keyword tp;        /**< Type of the token. */
130
  int n_args:30;               /**< Number of elements in args */
131
  char **args;                 /**< Array of arguments from keyword line. */
132

133
  char *object_type;           /**< -----BEGIN [object_type]-----*/
134
  size_t object_size;          /**< Bytes in object_body */
135
  char *object_body;           /**< Contents of object, base64-decoded. */
136
137
138

  crypto_pk_env_t *key;        /**< For public keys only.  Heap-allocated. */

139
  char *error;                 /**< For _ERR tokens only. */
140
141
142
143
144
145
146
147
} directory_token_t;

/* ********************************************************************** */

/** We use a table of rules to decide how to parse each token type. */

/** Rules for whether the keyword needs an object. */
typedef enum {
148
149
  NO_OBJ,        /**< No object, ever. */
  NEED_OBJ,      /**< Object is required. */
150
  NEED_SKEY_1024,/**< Object is required, and must be a 1024 bit private key */
151
152
153
  NEED_KEY_1024, /**< Object is required, and must be a 1024 bit public key */
  NEED_KEY,      /**< Object is required, and must be a public key. */
  OBJ_OK,        /**< Object is optional. */
154
155
} obj_syntax;

156
#define AT_START 1
157
#define AT_END 2
158
159

/** Determines the parsing rules for a single token type. */
160
typedef struct token_rule_t {
161
162
163
164
165
166
167
168
169
170
171
172
  /** The string value of the keyword identifying the type of item. */
  const char *t;
  /** The corresponding directory_keyword enum. */
  directory_keyword v;
  /** Minimum number of arguments for this item */
  int min_args;
  /** Maximum number of arguments for this item */
  int max_args;
  /** If true, we concatenate all arguments for this item into a single
   * string. */
  int concat_args;
  /** Requirments on object syntax for this item. */
173
  obj_syntax os;
174
175
176
177
178
179
180
  /** Lowest number of times this item may appear in a document. */
  int min_cnt;
  /** Highest number of times this item may appear in a document. */
  int max_cnt;
  /** One or more of AT_START/AT_END to limit where the item may appear in a
   * document. */
  int pos;
181
  /** True iff this token is an annotation. */
182
  int is_annotation;
183
184
} token_rule_t;

185
186
187
188
189
190
/*
 * Helper macros to define token tables.  's' is a string, 't' is a
 * directory_keyword, 'a' is a trio of argument multiplicities, and 'o' is an
 * object syntax.
 *
 */
191

192
/** Appears to indicate the end of a table. */
193
#define END_OF_TABLE { NULL, _NIL, 0,0,0, NO_OBJ, 0, INT_MAX, 0, 0 }
194
/** An item with no restrictions: used for obsolete document types */
195
#define T(s,t,a,o)    { s, t, a, o, 0, INT_MAX, 0, 0 }
196
/** An item with no restrictions on multiplicity or location. */
197
#define T0N(s,t,a,o)  { s, t, a, o, 0, INT_MAX, 0, 0 }
198
/** An item that must appear exactly once */
199
#define T1(s,t,a,o)   { s, t, a, o, 1, 1, 0, 0 }
200
/** An item that must appear exactly once, at the start of the document */
201
#define T1_START(s,t,a,o)   { s, t, a, o, 1, 1, AT_START, 0 }
202
/** An item that must appear exactly once, at the end of the document */
203
#define T1_END(s,t,a,o)   { s, t, a, o, 1, 1, AT_END, 0 }
204
/** An item that must appear one or more times */
205
#define T1N(s,t,a,o)  { s, t, a, o, 1, INT_MAX, 0, 0 }
206
/** An item that must appear no more than once */
207
208
209
#define T01(s,t,a,o)  { s, t, a, o, 0, 1, 0, 0 }
/** An annotation that must appear no more than once */
#define A01(s,t,a,o)  { s, t, a, o, 0, 1, 0, 0 }
210
211

/* Argument multiplicity: any number of arguments. */
212
#define ARGS        0,INT_MAX,0
213
/* Argument multiplicity: no arguments. */
214
#define NO_ARGS     0,0,0
215
/* Argument multiplicity: concatenate all arguments. */
216
#define CONCAT_ARGS 1,1,1
217
/* Argument multiplicity: at least <b>n</b> arguments. */
218
#define GE(n)       n,INT_MAX,0
219
/* Argument multiplicity: exactly <b>n</b> arguments. */
220
221
#define EQ(n)       n,n,0

222
/** List of tokens allowable in router derscriptors */
223
224
static token_rule_t routerdesc_token_table[] = {
  T0N("reject",              K_REJECT,              ARGS,    NO_OBJ ),
225
  T0N("accept",              K_ACCEPT,              ARGS,    NO_OBJ ),
226
227
228
  T0N("reject6",             K_REJECT6,             ARGS,    NO_OBJ ),
  T0N("accept6",             K_ACCEPT6,             ARGS,    NO_OBJ ),
  T1_START( "router",        K_ROUTER,              GE(5),   NO_OBJ ),
229
230
  T1( "signing-key",         K_SIGNING_KEY,         NO_ARGS, NEED_KEY_1024 ),
  T1( "onion-key",           K_ONION_KEY,           NO_ARGS, NEED_KEY_1024 ),
231
  T1_END( "router-signature",    K_ROUTER_SIGNATURE,    NO_ARGS, NEED_OBJ ),
232
  T1( "published",           K_PUBLISHED,       CONCAT_ARGS, NO_OBJ ),
233
  T01("uptime",              K_UPTIME,              GE(1),   NO_OBJ ),
234
  T01("fingerprint",         K_FINGERPRINT,     CONCAT_ARGS, NO_OBJ ),
235
  T01("hibernating",         K_HIBERNATING,         GE(1),   NO_OBJ ),
236
237
  T01("platform",            K_PLATFORM,        CONCAT_ARGS, NO_OBJ ),
  T01("contact",             K_CONTACT,         CONCAT_ARGS, NO_OBJ ),
238
239
  T01("read-history",        K_READ_HISTORY,        ARGS,    NO_OBJ ),
  T01("write-history",       K_WRITE_HISTORY,       ARGS,    NO_OBJ ),
240
  T01("extra-info-digest",   K_EXTRA_INFO_DIGEST,   GE(1),   NO_OBJ ),
241
  T01("hidden-service-dir",  K_HIDDEN_SERVICE_DIR,  NO_ARGS, NO_OBJ ),
242
243

  T01("family",              K_FAMILY,              ARGS,    NO_OBJ ),
244
  T01("caches-extra-info",   K_CACHES_EXTRA_INFO,   NO_ARGS, NO_OBJ ),
245
246
247
  T01("eventdns",            K_EVENTDNS,            ARGS,    NO_OBJ ),

  T0N("opt",                 K_OPT,             CONCAT_ARGS, OBJ_OK ),
248
  T1( "bandwidth",           K_BANDWIDTH,           GE(3),   NO_OBJ ),
249
  A01("@purpose",            A_PURPOSE,             GE(1),   NO_OBJ ),
250
251
252
253

  END_OF_TABLE
};

254
/** List of tokens allowable in extra-info documents. */
255
static token_rule_t extrainfo_token_table[] = {
256
  T1_END( "router-signature",    K_ROUTER_SIGNATURE,    NO_ARGS, NEED_OBJ ),
257
258
259
260
  T1( "published",           K_PUBLISHED,       CONCAT_ARGS, NO_OBJ ),
  T0N("opt",                 K_OPT,             CONCAT_ARGS, OBJ_OK ),
  T01("read-history",        K_READ_HISTORY,        ARGS,    NO_OBJ ),
  T01("write-history",       K_WRITE_HISTORY,       ARGS,    NO_OBJ ),
261
  T1_START( "extra-info",          K_EXTRA_INFO,          GE(2),   NO_OBJ ),
262
263
264
265

  END_OF_TABLE
};

266
267
/** List of tokens allowable in the body part of v2 and v3 networkstatus
 * documents. */
268
static token_rule_t rtrstatus_token_table[] = {
269
  T01("p",                   K_P,               CONCAT_ARGS, NO_OBJ ),
Roger Dingledine's avatar
Roger Dingledine committed
270
  T1( "r",                   K_R,                   GE(8),   NO_OBJ ),
271
272
  T1( "s",                   K_S,                   ARGS,    NO_OBJ ),
  T01("v",                   K_V,               CONCAT_ARGS, NO_OBJ ),
273
  T01("w",                   K_W,                   ARGS,    NO_OBJ ),
274
275
276
277
  T0N("opt",                 K_OPT,             CONCAT_ARGS, OBJ_OK ),
  END_OF_TABLE
};

278
279
/** List of tokens allowable in the header part of v2 networkstatus documents.
 */
280
281
282
283
static token_rule_t netstatus_token_table[] = {
  T1( "published",           K_PUBLISHED,       CONCAT_ARGS, NO_OBJ ),
  T0N("opt",                 K_OPT,             CONCAT_ARGS, OBJ_OK ),
  T1( "contact",             K_CONTACT,         CONCAT_ARGS, NO_OBJ ),
284
  T1( "dir-signing-key",     K_DIR_SIGNING_KEY,  NO_ARGS,    NEED_KEY_1024 ),
285
  T1( "fingerprint",         K_FINGERPRINT,     CONCAT_ARGS, NO_OBJ ),
286
  T1_START("network-status-version", K_NETWORK_STATUS_VERSION,
287
288
                                                    GE(1),   NO_OBJ ),
  T1( "dir-source",          K_DIR_SOURCE,          GE(3),   NO_OBJ ),
289
  T01("dir-options",         K_DIR_OPTIONS,         ARGS,    NO_OBJ ),
290
  T01("client-versions",     K_CLIENT_VERSIONS, CONCAT_ARGS, NO_OBJ ),
Roger Dingledine's avatar
Roger Dingledine committed
291
  T01("server-versions",     K_SERVER_VERSIONS, CONCAT_ARGS, NO_OBJ ),
292
293
294
295

  END_OF_TABLE
};

296
297
/** List of tokens allowable in the footer of v1/v2 directory/networkstatus
 * footers. */
298
static token_rule_t dir_footer_token_table[] = {
299
  T1("directory-signature", K_DIRECTORY_SIGNATURE, EQ(1), NEED_OBJ ),
300
301
302
  END_OF_TABLE
};

303
/** List of tokens allowable in v1 directory headers/footers. */
304
305
306
307
static token_rule_t dir_token_table[] = {
  /* don't enforce counts; this is obsolete. */
  T( "network-status",      K_NETWORK_STATUS,      NO_ARGS, NO_OBJ ),
  T( "directory-signature", K_DIRECTORY_SIGNATURE, ARGS,    NEED_OBJ ),
308
  T( "recommended-software",K_RECOMMENDED_SOFTWARE,CONCAT_ARGS, NO_OBJ ),
309
310
311
312
  T( "signed-directory",    K_SIGNED_DIRECTORY,    NO_ARGS, NO_OBJ ),

  T( "running-routers",     K_RUNNING_ROUTERS,     ARGS,    NO_OBJ ),
  T( "router-status",       K_ROUTER_STATUS,       ARGS,    NO_OBJ ),
313
  T( "published",           K_PUBLISHED,       CONCAT_ARGS, NO_OBJ ),
314
315
316
317
318
319
  T( "opt",                 K_OPT,             CONCAT_ARGS, OBJ_OK ),
  T( "contact",             K_CONTACT,         CONCAT_ARGS, NO_OBJ ),
  T( "dir-signing-key",     K_DIR_SIGNING_KEY,     ARGS,    OBJ_OK ),
  T( "fingerprint",         K_FINGERPRINT,     CONCAT_ARGS, NO_OBJ ),

  END_OF_TABLE
320
321
};

322
323
#define CERTIFICATE_MEMBERS                                                  \
  T1("dir-key-certificate-version", K_DIR_KEY_CERTIFICATE_VERSION,           \
Roger Dingledine's avatar
Roger Dingledine committed
324
                                                     GE(1),       NO_OBJ ),  \
325
326
327
328
329
  T1("dir-identity-key", K_DIR_IDENTITY_KEY,         NO_ARGS,     NEED_KEY ),\
  T1("dir-key-published",K_DIR_KEY_PUBLISHED,        CONCAT_ARGS, NO_OBJ),   \
  T1("dir-key-expires",  K_DIR_KEY_EXPIRES,          CONCAT_ARGS, NO_OBJ),   \
  T1("dir-signing-key",  K_DIR_SIGNING_KEY,          NO_ARGS,     NEED_KEY ),\
  T1("dir-key-certification", K_DIR_KEY_CERTIFICATION,                       \
330
331
                                                     NO_ARGS,     NEED_OBJ), \
  T01("dir-address",     K_DIR_ADDRESS,              GE(1),       NO_OBJ),
332
333
334
335
336
337
338

static token_rule_t dir_key_certificate_table[] = {
  CERTIFICATE_MEMBERS
  T1("fingerprint",      K_FINGERPRINT,              CONCAT_ARGS, NO_OBJ ),
  END_OF_TABLE
};

339
340
/** List of tokens allowable in rendezvous service descriptors */
static token_rule_t desc_token_table[] = {
341
342
  T1_START("rendezvous-service-descriptor", R_RENDEZVOUS_SERVICE_DESCRIPTOR,
           EQ(1), NO_OBJ),
343
344
345
346
347
  T1("version", R_VERSION, EQ(1), NO_OBJ),
  T1("permanent-key", R_PERMANENT_KEY, NO_ARGS, NEED_KEY_1024),
  T1("secret-id-part", R_SECRET_ID_PART, EQ(1), NO_OBJ),
  T1("publication-time", R_PUBLICATION_TIME, CONCAT_ARGS, NO_OBJ),
  T1("protocol-versions", R_PROTOCOL_VERSIONS, EQ(1), NO_OBJ),
348
  T01("introduction-points", R_INTRODUCTION_POINTS, NO_ARGS, NEED_OBJ),
349
  T1_END("signature", R_SIGNATURE, NO_ARGS, NEED_OBJ),
350
351
352
353
354
355
  END_OF_TABLE
};

/** List of tokens allowed in the (encrypted) list of introduction points of
 * rendezvous service descriptors */
static token_rule_t ipo_token_table[] = {
356
  T1_START("introduction-point", R_IPO_IDENTIFIER, EQ(1), NO_OBJ),
357
358
359
360
361
362
363
  T1("ip-address", R_IPO_IP_ADDRESS, EQ(1), NO_OBJ),
  T1("onion-port", R_IPO_ONION_PORT, EQ(1), NO_OBJ),
  T1("onion-key", R_IPO_ONION_KEY, NO_ARGS, NEED_KEY_1024),
  T1("service-key", R_IPO_SERVICE_KEY, NO_ARGS, NEED_KEY_1024),
  END_OF_TABLE
};

364
365
366
367
368
369
370
371
372
/** List of tokens allowed in the (possibly encrypted) list of introduction
 * points of rendezvous service descriptors */
static token_rule_t client_keys_token_table[] = {
  T1_START("client-name", C_CLIENT_NAME, CONCAT_ARGS, NO_OBJ),
  T1("descriptor-cookie", C_DESCRIPTOR_COOKIE, EQ(1), NO_OBJ),
  T01("client-key", C_CLIENT_KEY, NO_ARGS, NEED_SKEY_1024),
  END_OF_TABLE
};

373
static token_rule_t networkstatus_token_table[] = {
374
375
376
377
  T1("network-status-version", K_NETWORK_STATUS_VERSION,
                                                   GE(1),       NO_OBJ ),
  T1("vote-status",            K_VOTE_STATUS,      GE(1),       NO_OBJ ),
  T1("published",              K_PUBLISHED,        CONCAT_ARGS, NO_OBJ ),
378
379
  T1("valid-after",            K_VALID_AFTER,      CONCAT_ARGS, NO_OBJ ),
  T1("fresh-until",            K_FRESH_UNTIL,      CONCAT_ARGS, NO_OBJ ),
380
  T1("valid-until",            K_VALID_UNTIL,      CONCAT_ARGS, NO_OBJ ),
381
  T1("voting-delay",           K_VOTING_DELAY,     GE(2),       NO_OBJ ),
382
  T1("known-flags",            K_KNOWN_FLAGS,      ARGS,        NO_OBJ ),
383
384
385
386
387
388
  T( "fingerprint",            K_FINGERPRINT,      CONCAT_ARGS, NO_OBJ ),

  CERTIFICATE_MEMBERS

  T0N("opt",                 K_OPT,             CONCAT_ARGS, OBJ_OK ),
  T1( "contact",             K_CONTACT,         CONCAT_ARGS, NO_OBJ ),
389
  T1( "dir-source",          K_DIR_SOURCE,      GE(6),       NO_OBJ ),
390
  T01("legacy-dir-key",      K_LEGACY_DIR_KEY,  GE(1),       NO_OBJ ),
391
392
393
  T1( "known-flags",         K_KNOWN_FLAGS,     CONCAT_ARGS, NO_OBJ ),
  T01("client-versions",     K_CLIENT_VERSIONS, CONCAT_ARGS, NO_OBJ ),
  T01("server-versions",     K_SERVER_VERSIONS, CONCAT_ARGS, NO_OBJ ),
394
  T1( "consensus-methods",   K_CONSENSUS_METHODS, GE(1),     NO_OBJ ),
395
396
397

  END_OF_TABLE
};
398
static token_rule_t networkstatus_consensus_token_table[] = {
399
400
401
  T1("network-status-version", K_NETWORK_STATUS_VERSION,
                                                   GE(1),       NO_OBJ ),
  T1("vote-status",            K_VOTE_STATUS,      GE(1),       NO_OBJ ),
402
403
  T1("valid-after",            K_VALID_AFTER,      CONCAT_ARGS, NO_OBJ ),
  T1("fresh-until",            K_FRESH_UNTIL,      CONCAT_ARGS, NO_OBJ ),
404
  T1("valid-until",            K_VALID_UNTIL,      CONCAT_ARGS, NO_OBJ ),
405
  T1("voting-delay",           K_VOTING_DELAY,     GE(2),       NO_OBJ ),
406
407
408
409
410
411
412
413
414
415

  T0N("opt",                 K_OPT,             CONCAT_ARGS, OBJ_OK ),

  T1N("dir-source",          K_DIR_SOURCE,          GE(3),   NO_OBJ ),
  T1N("contact",             K_CONTACT,         CONCAT_ARGS, NO_OBJ ),
  T1N("vote-digest",         K_VOTE_DIGEST,         GE(1),   NO_OBJ ),

  T1( "known-flags",         K_KNOWN_FLAGS,     CONCAT_ARGS, NO_OBJ ),

  T01("client-versions",     K_CLIENT_VERSIONS, CONCAT_ARGS, NO_OBJ ),
416
417
  T01("server-versions",     K_SERVER_VERSIONS, CONCAT_ARGS, NO_OBJ ),
  T01("consensus-method",    K_CONSENSUS_METHOD,    EQ(1),   NO_OBJ),
418
419
420
421

  END_OF_TABLE
};

422
423
/** List of tokens allowable in the footer of v1/v2 directory/networkstatus
 * footers. */
424
static token_rule_t networkstatus_vote_footer_token_table[] = {
425
426
427
  T(  "directory-signature", K_DIRECTORY_SIGNATURE, GE(2),   NEED_OBJ ),
  END_OF_TABLE
};
428

429
430
431
432
433
static token_rule_t networkstatus_detached_signature_token_table[] = {
  T1_START("consensus-digest", K_CONSENSUS_DIGEST, GE(1),       NO_OBJ ),
  T1("valid-after",            K_VALID_AFTER,      CONCAT_ARGS, NO_OBJ ),
  T1("fresh-until",            K_FRESH_UNTIL,      CONCAT_ARGS, NO_OBJ ),
  T1("valid-until",            K_VALID_UNTIL,      CONCAT_ARGS, NO_OBJ ),
434
  T1N("directory-signature", K_DIRECTORY_SIGNATURE, GE(2),   NEED_OBJ ),
435
436
437
  END_OF_TABLE
};

438
439
#undef T

440
441
/* static function prototypes */
static int router_add_exit_policy(routerinfo_t *router,directory_token_t *tok);
442
static addr_policy_t *router_parse_addr_policy(directory_token_t *tok);
443
444
static addr_policy_t *router_parse_addr_policy_private(directory_token_t *tok);

445
static int router_get_hash_impl(const char *s, char *digest,
446
447
                                const char *start_str, const char *end_str,
                                char end_char);
448
449
450
451
static void token_free(directory_token_t *tok);
static smartlist_t *find_all_exitpolicy(smartlist_t *s);
static directory_token_t *find_first_by_keyword(smartlist_t *s,
                                                directory_keyword keyword);
452
453
454
#define TS_ANNOTATIONS_OK 1
#define TS_NOCHECK 2
#define TS_NO_NEW_ANNOTATIONS 4
455
456
static int tokenize_string(memarea_t *area,
                           const char *start, const char *end,
457
                           smartlist_t *out,
458
                           token_rule_t *table,
459
                           int flags);
460
461
static directory_token_t *get_next_token(memarea_t *area,
                                         const char **s,
462
                                         const char *eos,
463
464
465
466
467
468
                                         token_rule_t *table);
static int check_signature_token(const char *digest,
                                 directory_token_t *tok,
                                 crypto_pk_env_t *pkey,
                                 int check_authority,
                                 const char *doctype);
469
static crypto_pk_env_t *find_dir_signing_key(const char *str, const char *eos);
470
static int tor_version_same_series(tor_version_t *a, tor_version_t *b);
471

472
473
474
475
476
477
478
479
480
481
482
483
484
#undef DEBUG_AREA_ALLOC

#ifdef DEBUG_AREA_ALLOC
#define DUMP_AREA(a,name) STMT_BEGIN                              \
  size_t alloc=0, used=0;                                         \
  memarea_get_stats((a),&alloc,&used);                            \
  log_debug(LD_MM, "Area for %s has %lu allocated; using %lu.",   \
            name, (unsigned long)alloc, (unsigned long)used);     \
  STMT_END
#else
#define DUMP_AREA(a,name) STMT_NIL
#endif

485
/** Set <b>digest</b> to the SHA-1 digest of the hash of the directory in
486
 * <b>s</b>.  Return 0 on success, -1 on failure.
487
 */
488
489
int
router_get_dir_hash(const char *s, char *digest)
490
491
{
  return router_get_hash_impl(s,digest,
492
                              "signed-directory","\ndirectory-signature",'\n');
493
494
495
}

/** Set <b>digest</b> to the SHA-1 digest of the hash of the first router in
496
 * <b>s</b>. Return 0 on success, -1 on failure.
497
 */
498
499
int
router_get_router_hash(const char *s, char *digest)
500
501
{
  return router_get_hash_impl(s,digest,
502
                              "router ","\nrouter-signature", '\n');
503
504
}

Nick Mathewson's avatar
Nick Mathewson committed
505
/** Set <b>digest</b> to the SHA-1 digest of the hash of the running-routers
506
 * string in <b>s</b>. Return 0 on success, -1 on failure.
Nick Mathewson's avatar
Nick Mathewson committed
507
 */
508
509
int
router_get_runningrouters_hash(const char *s, char *digest)
510
511
{
  return router_get_hash_impl(s,digest,
512
                              "network-status","\ndirectory-signature", '\n');
513
514
}

515
516
/** Set <b>digest</b> to the SHA-1 digest of the hash of the network-status
 * string in <b>s</b>.  Return 0 on success, -1 on failure. */
517
518
519
520
int
router_get_networkstatus_v2_hash(const char *s, char *digest)
{
  return router_get_hash_impl(s,digest,
521
522
523
524
525
526
527
528
529
530
531
532
                              "network-status-version","\ndirectory-signature",
                              '\n');
}

/** Set <b>digest</b> to the SHA-1 digest of the hash of the network-status
 * string in <b>s</b>.  Return 0 on success, -1 on failure. */
int
router_get_networkstatus_v3_hash(const char *s, char *digest)
{
  return router_get_hash_impl(s,digest,
                              "network-status-version","\ndirectory-signature",
                              ' ');
533
534
}

535
536
/** Set <b>digest</b> to the SHA-1 digest of the hash of the extrainfo
 * string in <b>s</b>.  Return 0 on success, -1 on failure. */
537
538
539
int
router_get_extrainfo_hash(const char *s, char *digest)
{
540
  return router_get_hash_impl(s,digest,"extra-info","\nrouter-signature",'\n');
541
542
}

543
544
545
546
547
548
549
550
551
552
553
/** Helper: used to generate signatures for routers, directories and
 * network-status objects.  Given a digest in <b>digest</b> and a secret
 * <b>private_key</b>, generate an PKCS1-padded signature, BASE64-encode it,
 * surround it with -----BEGIN/END----- pairs, and write it to the
 * <b>buf_len</b>-byte buffer at <b>buf</b>.  Return 0 on success, -1 on
 * failure.
 */
int
router_append_dirobj_signature(char *buf, size_t buf_len, const char *digest,
                               crypto_pk_env_t *private_key)
{
554
  char *signature;
555
  size_t i;
556

557
  signature = tor_malloc(crypto_pk_keysize(private_key));
558
559
  if (crypto_pk_private_sign(private_key, signature, digest, DIGEST_LEN) < 0) {

560
    log_warn(LD_BUG,"Couldn't sign digest.");
561
    goto err;
562
563
564
565
566
567
  }
  if (strlcat(buf, "-----BEGIN SIGNATURE-----\n", buf_len) >= buf_len)
    goto truncated;

  i = strlen(buf);
  if (base64_encode(buf+i, buf_len-i, signature, 128) < 0) {
568
    log_warn(LD_BUG,"couldn't base64-encode signature");
569
    goto err;
570
571
572
573
574
  }

  if (strlcat(buf, "-----END SIGNATURE-----\n", buf_len) >= buf_len)
    goto truncated;

575
  tor_free(signature);
576
  return 0;
577

578
 truncated:
579
  log_warn(LD_BUG,"tried to exceed string length.");
580
581
 err:
  tor_free(signature);
582
583
584
  return -1;
}

585
/** Return VS_RECOMMENDED if <b>myversion</b> is contained in
586
587
 * <b>versionlist</b>.  Else, return VS_EMPTY if versionlist has no
 * entries. Else, return VS_OLD if every member of
588
589
590
591
592
593
 * <b>versionlist</b> is newer than <b>myversion</b>.  Else, return
 * VS_NEW_IN_SERIES if there is at least one member of <b>versionlist</b> in
 * the same series (major.minor.micro) as <b>myversion</b>, but no such member
 * is newer than <b>myversion.</b>.  Else, return VS_NEW if every memeber of
 * <b>versionlist</b> is older than <b>myversion</b>.  Else, return
 * VS_UNRECOMMENDED.
594
 *
595
596
 * (versionlist is a comma-separated list of version strings,
 * optionally prefixed with "Tor".  Versions that can't be parsed are
597
 * ignored.)
598
 */
599
600
601
version_status_t
tor_version_is_obsolete(const char *myversion, const char *versionlist)
{
602
  tor_version_t mine, other;
603
604
605
  int found_newer = 0, found_older = 0, found_newer_in_series = 0,
    found_any_in_series = 0, r, same;
  version_status_t ret = VS_UNRECOMMENDED;
606
  smartlist_t *version_sl;
607

608
609
  log_debug(LD_CONFIG,"Checking whether version '%s' is in '%s'",
            myversion, versionlist);
610

611
  if (tor_version_parse(myversion, &mine)) {
612
    log_err(LD_BUG,"I couldn't parse my own version (%s)", myversion);
613
614
    tor_assert(0);
  }
615
616
  version_sl = smartlist_create();
  smartlist_split_string(version_sl, versionlist, ",", SPLIT_SKIP_SPACE, 0);
617

618
619
620
621
622
  if (!strlen(versionlist)) { /* no authorities cared or agreed */
    ret = VS_EMPTY;
    goto done;
  }

623
624
  SMARTLIST_FOREACH(version_sl, const char *, cp, {
    if (!strcmpstart(cp, "Tor "))
625
626
627
628
629
      cp += 4;

    if (tor_version_parse(cp, &other)) {
      /* Couldn't parse other; it can't be a match. */
    } else {
630
631
632
      same = tor_version_same_series(&mine, &other);
      if (same)
        found_any_in_series = 1;
633
634
      r = tor_version_compare(&mine, &other);
      if (r==0) {
635
        ret = VS_RECOMMENDED;
636
        goto done;
637
638
      } else if (r<0) {
        found_newer = 1;
639
640
        if (same)
          found_newer_in_series = 1;
641
642
      } else if (r>0) {
        found_older = 1;
643
644
      }
    }
645
646
  });

647
  /* We didn't find the listed version. Is it new or old? */
648
  if (found_any_in_series && !found_newer_in_series && found_newer) {
649
650
651
652
653
    ret = VS_NEW_IN_SERIES;
  } else if (found_newer && !found_older) {
    ret = VS_OLD;
  } else if (found_older && !found_newer) {
    ret = VS_NEW;
654
  } else {
655
    ret = VS_UNRECOMMENDED;
656
  }
657
658
659
660
661

 done:
  SMARTLIST_FOREACH(version_sl, char *, version, tor_free(version));
  smartlist_free(version_sl);
  return ret;
662
663
}

664
665
/** Read a signed directory from <b>str</b>.  If it's well-formed, return 0.
 * Otherwise, return -1.  If we're a directory cache, cache it.
666
 */
667
668
int
router_parse_directory(const char *str)
669
670
{
  directory_token_t *tok;
671
672
  char digest[DIGEST_LEN];
  time_t published_on;
673
  int r;
674
  const char *end, *cp;
675
  smartlist_t *tokens = NULL;
676
  crypto_pk_env_t *declared_key = NULL;
677
  memarea_t *area = memarea_new(8192);
678

679
680
  /* XXXX This could be simplified a lot, but it will all go away
   * once pre-0.1.1.8 is obsolete, and for now it's better not to
Roger Dingledine's avatar
Roger Dingledine committed
681
   * touch it. */
682

683
  if (router_get_dir_hash(str, digest)) {
684
    log_warn(LD_DIR, "Unable to compute digest of directory");
685
686
    goto err;
  }
687
  log_debug(LD_DIR,"Received directory hashes to %s",hex_str(digest,4));
688

689
690
691
692
693
  /* Check signature first, before we try to tokenize. */
  cp = str;
  while (cp && (end = strstr(cp+1, "\ndirectory-signature")))
    cp = end;
  if (cp == str || !cp) {
694
    log_warn(LD_DIR, "No signature found on directory."); goto err;
695
696
697
  }
  ++cp;
  tokens = smartlist_create();
698
  if (tokenize_string(area,cp,strchr(cp,'\0'),tokens,dir_token_table,0)) {
699
    log_warn(LD_DIR, "Error tokenizing directory signature"); goto err;
700
701
  }
  if (smartlist_len(tokens) != 1) {
702
    log_warn(LD_DIR, "Unexpected number of tokens in signature"); goto err;
703
  }
704
  tok=smartlist_get(tokens,0);
705
  if (tok->tp != K_DIRECTORY_SIGNATURE) {
706
    log_warn(LD_DIR,"Expected a single directory signature"); goto err;
707
  }
708
  declared_key = find_dir_signing_key(str, str+strlen(str));
709
  note_crypto_pk_op(VERIFY_DIR);
710
  if (check_signature_token(digest, tok, declared_key, 1, "directory")<0)
711
    goto err;
712

713
  SMARTLIST_FOREACH(tokens, directory_token_t *, t, token_free(t));
714
715
  smartlist_clear(tokens);
  memarea_clear(area);
716
717

  /* Now try to parse the first part of the directory. */
718
719
720
721
722
723
724
725
  if ((end = strstr(str,"\nrouter "))) {
    ++end;
  } else if ((end = strstr(str, "\ndirectory-signature"))) {
    ++end;
  } else {
    end = str + strlen(str);
  }

726
  if (tokenize_string(area,str,end,tokens,dir_token_table,0)) {
727
    log_warn(LD_DIR, "Error tokenizing directory"); goto err;
728
729
  }

730
731
  tok = find_first_by_keyword(tokens, K_PUBLISHED);
  tor_assert(tok);
732
733
  tor_assert(tok->n_args == 1);

734
  if (parse_iso_time(tok->args[0], &published_on) < 0) {
735
736
737
     goto err;
  }

738
739
  /* Now that we know the signature is okay, and we have a
   * publication time, cache the directory. */
740
  if (directory_caches_v1_dir_info(get_options()) &&
741
      !authdir_mode_v1(get_options()))
742
    dirserv_set_cached_directory(str, published_on, 0);
743

744
745
746
747
748
  r = 0;
  goto done;
 err:
  r = -1;
 done:
749
  if (declared_key) crypto_free_pk_env(declared_key);
750
  if (tokens) {
751
    SMARTLIST_FOREACH(tokens, directory_token_t *, t, token_free(t));
752
753
    smartlist_free(tokens);
  }
754
755
  if (area) {
    DUMP_AREA(area, "v1 directory");
756
    memarea_drop_all(area);
757
  }
758
759
760
  return r;
}

761
762
763
/** Read a signed router status statement from <b>str</b>.  If it's
 * well-formed, return 0.  Otherwise, return -1.  If we're a directory cache,
 * cache it.*/
764
765
int
router_parse_runningrouters(const char *str)
766
767
768
769
{
  char digest[DIGEST_LEN];
  directory_token_t *tok;
  time_t published_on;
770
  int r = -1;
771
  crypto_pk_env_t *declared_key = NULL;
772
  smartlist_t *tokens = NULL;
773
  const char *eos = str + strlen(str);
774
  memarea_t *area = NULL;
775
776

  if (router_get_runningrouters_hash(str, digest)) {
777
    log_warn(LD_DIR, "Unable to compute digest of running-routers");
778
779
    goto err;
  }
780
  area = memarea_new(8192);
781
  tokens = smartlist_create();
782
  if (tokenize_string(area,str,eos,tokens,dir_token_table,0)) {
783
    log_warn(LD_DIR, "Error tokenizing running-routers"); goto err;
784
785
786
  }
  tok = smartlist_get(tokens,0);
  if (tok->tp != K_NETWORK_STATUS) {
787
    log_warn(LD_DIR, "Network-status starts with wrong token");
788
789
790
    goto err;
  }

791
792
  tok = find_first_by_keyword(tokens, K_PUBLISHED);
  tor_assert(tok);
793
  tor_assert(tok->n_args == 1);
794
  if (parse_iso_time(tok->args[0], &published_on) < 0) {
795
796
797
     goto err;
  }
  if (!(tok = find_first_by_keyword(tokens, K_DIRECTORY_SIGNATURE))) {
798
    log_warn(LD_DIR, "Missing signature on running-routers");
799
800
    goto err;
  }
801
  declared_key = find_dir_signing_key(str, eos);
802
  note_crypto_pk_op(VERIFY_DIR);
803
804
  if (check_signature_token(digest, tok, declared_key, 1, "running-routers")
      < 0)
805
806
    goto err;

807
808
  /* Now that we know the signature is okay, and we have a
   * publication time, cache the list. */
809
  if (get_options()->DirPort && !authdir_mode_v1(get_options()))
810
811
812
    dirserv_set_cached_directory(str, published_on, 1);

  r = 0;
813
 err:
814
  if (declared_key) crypto_free_pk_env(declared_key);
815
  if (tokens) {
816
    SMARTLIST_FOREACH(tokens, directory_token_t *, t, token_free(t));
817
818
    smartlist_free(tokens);
  }
819
820
  if (area) {
    DUMP_AREA(area, "v1 running-routers");
821
    memarea_drop_all(area);
822
  }
823
  return r;
824
825
}

826
827
828
/** Given a directory or running-routers string in <b>str</b>, try to
 * find the its dir-signing-key token (if any).  If this token is
 * present, extract and return the key.  Return NULL on failure. */
829
static crypto_pk_env_t *
830
find_dir_signing_key(const char *str, const char *eos)
831
832
833
834
{
  const char *cp;
  directory_token_t *tok;
  crypto_pk_env_t *key = NULL;
835
  memarea_t *area = NULL;
836
837
  tor_assert(str);
  tor_assert(eos);
838
839

  /* Is there a dir-signing-key in the directory? */
840
  cp = tor_memstr(str, eos-str, "\nopt dir-signing-key");
841
  if (!cp)
842
    cp = tor_memstr(str, eos-str, "\ndir-signing-key");
843
844
845
846
  if (!cp)
    return NULL;
  ++cp; /* Now cp points to the start of the token. */

847
848
  area = memarea_new(1024);
  tok = get_next_token(area, &cp, eos, dir_token_table);
849
  if (!tok) {
850
    log_warn(LD_DIR, "Unparseable dir-signing-key token");
851
    goto done;
852
853
  }
  if (tok->tp != K_DIR_SIGNING_KEY) {
854
    log_warn(LD_DIR, "Dir-signing-key token did not parse as expected");
855
    goto done;
856
857
858
859
860
861
  }

  if (tok->key) {
    key = tok->key;
    tok->key = NULL; /* steal reference. */
  } else {
862
    log_warn(LD_DIR, "Dir-signing-key token contained no key");
863
864
  }

865
866
 done:
  if (tok) token_free(tok);
867
868
869
870
  if (area) {
    DUMP_AREA(area, "dir-signing-key token");
    memarea_drop_all(area);
  }
871
872
873
874
875
  return key;
}

/** Return true iff <b>key</b> is allowed to sign directories.
 */
876
877
static int
dir_signing_key_is_trusted(crypto_pk_env_t *key)
878
879
880
881
{
  char digest[DIGEST_LEN];
  if (!key) return 0;
  if (crypto_pk_get_digest(key, digest) < 0) {
882
    log_warn(LD_DIR, "Error computing dir-signing-key digest");
883
884
    return 0;
  }
885
  if (!router_digest_is_trusted_dir(digest)) {
886
    log_warn(LD_DIR, "Listed dir-signing-key is not trusted");
887
888
889
890
891
    return 0;
  }
  return 1;
}

892
893
894
895
896
/** Check whether the object body of the token in <b>tok</b> has a good
 * signature for <b>digest</b> using key <b>pkey</b>.  If
 * <b>check_authority</b> is set, make sure that <b>pkey</b> is the key of a
 * directory authority.  Use <b>doctype</b> as the type of the document when
 * generating log messages.  Return 0 on success, negative on failure.
897
 */
898
static int
899
900
901
902
903
check_signature_token(const char *digest,
                      directory_token_t *tok,
                      crypto_pk_env_t *pkey,
                      int check_authority,
                      const char *doctype)
904
{
905
  char *signed_digest;
906

907
908
909
910
911
912
913
914
  tor_assert(pkey);
  tor_assert(tok);
  tor_assert(digest);
  tor_assert(doctype);

  if (check_authority && !dir_signing_key_is_trusted(pkey)) {
    log_warn(LD_DIR, "Key on %s did not come from an authority; rejecting",
             doctype);
915
    return -1;
916
  }
917

918
  if (strcmp(tok->object_type, "SIGNATURE")) {
919
    log_warn(LD_DIR, "Bad object type on %s signature", doctype);
920
    return -1;
921
  }
922

923
  signed_digest = tor_malloc(tok->object_size);
924
  if (crypto_pk_public_checksig(pkey, signed_digest, tok->object_body,
925
                                tok->object_size)
926
927
      != DIGEST_LEN) {
    log_warn(LD_DIR, "Error reading %s: invalid signature.", doctype);
928
    tor_free(signed_digest);