TLS: variables $tls_(in,out)_tlsver
[exim.git] / src / src / spool_in.c
1 /*************************************************
2 *     Exim - an Internet mail transport agent    *
3 *************************************************/
4
5 /* Copyright (c) University of Cambridge 1995 - 2018 */
6 /* See the file NOTICE for conditions of use and distribution. */
7
8 /* Functions for reading spool files. When compiling for a utility (eximon),
9 not all are needed, and some functionality can be cut out. */
10
11
12 #include "exim.h"
13
14
15
16 #ifndef COMPILE_UTILITY
17 /*************************************************
18 *           Open and lock data file              *
19 *************************************************/
20
21 /* The data file is the one that is used for locking, because the header file
22 can get replaced during delivery because of header rewriting. The file has
23 to opened with write access so that we can get an exclusive lock, but in
24 fact it won't be written to. Just in case there's a major disaster (e.g.
25 overwriting some other file descriptor with the value of this one), open it
26 with append.
27
28 As called by deliver_message() (at least) we are operating as root.
29
30 Argument: the id of the message
31 Returns:  fd if file successfully opened and locked, else -1
32
33 Side effect: message_subdir is set for the (possibly split) spool directory
34 */
35
36 int
37 spool_open_datafile(uschar *id)
38 {
39 struct stat statbuf;
40 flock_t lock_data;
41 int fd;
42
43 /* If split_spool_directory is set, first look for the file in the appropriate
44 sub-directory of the input directory. If it is not found there, try the input
45 directory itself, to pick up leftovers from before the splitting. If split_
46 spool_directory is not set, first look in the main input directory. If it is
47 not found there, try the split sub-directory, in case it is left over from a
48 splitting state. */
49
50 for (int i = 0; i < 2; i++)
51   {
52   uschar * fname;
53   int save_errno;
54
55   set_subdir_str(message_subdir, id, i);
56   fname = spool_fname(US"input", message_subdir, id, US"-D");
57   DEBUG(D_deliver) debug_printf("Trying spool file %s\n", fname);
58
59   /* We protect against symlink attacks both in not propagating the
60    * file-descriptor to other processes as we exec, and also ensuring that we
61    * don't even open symlinks.
62    * No -D file inside the spool area should be a symlink.
63    */
64   if ((fd = Uopen(fname,
65 #ifdef O_CLOEXEC
66                       O_CLOEXEC |
67 #endif
68 #ifdef O_NOFOLLOW
69                       O_NOFOLLOW |
70 #endif
71                       O_RDWR | O_APPEND, 0)) >= 0)
72     break;
73   save_errno = errno;
74   if (errno == ENOENT)
75     {
76     if (i == 0) continue;
77     if (!f.queue_running)
78       log_write(0, LOG_MAIN, "Spool%s%s file %s-D not found",
79         *queue_name ? US" Q=" : US"",
80         *queue_name ? queue_name : US"",
81         id);
82     }
83   else
84     log_write(0, LOG_MAIN, "Spool error for %s: %s", fname, strerror(errno));
85   errno = save_errno;
86   return -1;
87   }
88
89 /* File is open and message_subdir is set. Set the close-on-exec flag, and lock
90 the file. We lock only the first line of the file (containing the message ID)
91 because this apparently is needed for running Exim under Cygwin. If the entire
92 file is locked in one process, a sub-process cannot access it, even when passed
93 an open file descriptor (at least, I think that's the Cygwin story). On real
94 Unix systems it doesn't make any difference as long as Exim is consistent in
95 what it locks. */
96
97 #ifndef O_CLOEXEC
98 (void)fcntl(fd, F_SETFD, fcntl(fd, F_GETFD) | FD_CLOEXEC);
99 #endif
100
101 lock_data.l_type = F_WRLCK;
102 lock_data.l_whence = SEEK_SET;
103 lock_data.l_start = 0;
104 lock_data.l_len = SPOOL_DATA_START_OFFSET;
105
106 if (fcntl(fd, F_SETLK, &lock_data) < 0)
107   {
108   log_write(L_skip_delivery,
109             LOG_MAIN,
110             "Spool file is locked (another process is handling this message)");
111   (void)close(fd);
112   errno = 0;
113   return -1;
114   }
115
116 /* Get the size of the data; don't include the leading filename line
117 in the count, but add one for the newline before the data. */
118
119 if (fstat(fd, &statbuf) == 0)
120   {
121   message_body_size = statbuf.st_size - SPOOL_DATA_START_OFFSET;
122   message_size = message_body_size + 1;
123   }
124
125 return fd;
126 }
127 #endif  /* COMPILE_UTILITY */
128
129
130
131 /*************************************************
132 *    Read non-recipients tree from spool file    *
133 *************************************************/
134
135 /* The tree of non-recipients is written to the spool file in a form that
136 makes it easy to read back into a tree. The format is as follows:
137
138    . Each node is preceded by two letter(Y/N) indicating whether it has left
139      or right children. There's one space after the two flags, before the name.
140
141    . The left subtree (if any) then follows, then the right subtree (if any).
142
143 This function is entered with the next input line in the buffer. Note we must
144 save the right flag before recursing with the same buffer.
145
146 Once the tree is read, we re-construct the balance fields by scanning the tree.
147 I forgot to write them out originally, and the compatible fix is to do it this
148 way. This initial local recursing function does the necessary.
149
150 Arguments:
151   node      tree node
152
153 Returns:    maximum depth below the node, including the node itself
154 */
155
156 static int
157 count_below(tree_node *node)
158 {
159 int nleft, nright;
160 if (node == NULL) return 0;
161 nleft = count_below(node->left);
162 nright = count_below(node->right);
163 node->balance = (nleft > nright)? 1 : ((nright > nleft)? 2 : 0);
164 return 1 + ((nleft > nright)? nleft : nright);
165 }
166
167 /* This is the real function...
168
169 Arguments:
170   connect      pointer to the root of the tree
171   f            FILE to read data from
172   buffer       contains next input line; further lines read into it
173   buffer_size  size of the buffer
174
175 Returns:       FALSE on format error
176 */
177
178 static BOOL
179 read_nonrecipients_tree(tree_node **connect, FILE *f, uschar *buffer,
180   int buffer_size)
181 {
182 tree_node *node;
183 int n = Ustrlen(buffer);
184 BOOL right = buffer[1] == 'Y';
185
186 if (n < 5) return FALSE;    /* malformed line */
187 buffer[n-1] = 0;            /* Remove \n */
188 node = store_get(sizeof(tree_node) + n - 3, TRUE);      /* rcpt names tainted */
189 *connect = node;
190 Ustrcpy(node->name, buffer + 3);
191 node->data.ptr = NULL;
192
193 if (buffer[0] == 'Y')
194   {
195   if (Ufgets(buffer, buffer_size, f) == NULL ||
196     !read_nonrecipients_tree(&node->left, f, buffer, buffer_size))
197       return FALSE;
198   }
199 else node->left = NULL;
200
201 if (right)
202   {
203   if (Ufgets(buffer, buffer_size, f) == NULL ||
204     !read_nonrecipients_tree(&node->right, f, buffer, buffer_size))
205       return FALSE;
206   }
207 else node->right = NULL;
208
209 (void) count_below(*connect);
210 return TRUE;
211 }
212
213
214
215
216 /* Reset all the global variables to their default values. However, there is
217 one exception. DO NOT change the default value of dont_deliver, because it may
218 be forced by an external setting. */
219
220 void
221 spool_clear_header_globals(void)
222 {
223 acl_var_c = acl_var_m = NULL;
224 authenticated_id = NULL;
225 authenticated_sender = NULL;
226 f.allow_unqualified_recipient = FALSE;
227 f.allow_unqualified_sender = FALSE;
228 body_linecount = 0;
229 body_zerocount = 0;
230 f.deliver_firsttime = FALSE;
231 f.deliver_freeze = FALSE;
232 deliver_frozen_at = 0;
233 f.deliver_manual_thaw = FALSE;
234 /* f.dont_deliver must NOT be reset */
235 header_list = header_last = NULL;
236 host_lookup_deferred = FALSE;
237 host_lookup_failed = FALSE;
238 interface_address = NULL;
239 interface_port = 0;
240 f.local_error_message = FALSE;
241 #ifdef HAVE_LOCAL_SCAN
242 local_scan_data = NULL;
243 #endif
244 max_received_linelength = 0;
245 message_linecount = 0;
246 received_protocol = NULL;
247 received_count = 0;
248 recipients_list = NULL;
249 sender_address = NULL;
250 sender_fullhost = NULL;
251 sender_helo_name = NULL;
252 sender_host_address = NULL;
253 sender_host_name = NULL;
254 sender_host_port = 0;
255 sender_host_authenticated = NULL;
256 sender_ident = NULL;
257 f.sender_local = FALSE;
258 f.sender_set_untrusted = FALSE;
259 smtp_active_hostname = primary_hostname;
260 #ifndef COMPILE_UTILITY
261 f.spool_file_wireformat = FALSE;
262 #endif
263 tree_nonrecipients = NULL;
264
265 #ifdef EXPERIMENTAL_BRIGHTMAIL
266 bmi_run = 0;
267 bmi_verdicts = NULL;
268 #endif
269
270 #ifndef DISABLE_DKIM
271 dkim_signers = NULL;
272 f.dkim_disable_verify = FALSE;
273 dkim_collect_input = 0;
274 #endif
275
276 #ifndef DISABLE_TLS
277 tls_in.certificate_verified = FALSE;
278 # ifdef SUPPORT_DANE
279 tls_in.dane_verified = FALSE;
280 # endif
281 tls_in.ver = tls_in.cipher = NULL;
282 # ifndef COMPILE_UTILITY        /* tls support fns not built in */
283 tls_free_cert(&tls_in.ourcert);
284 tls_free_cert(&tls_in.peercert);
285 # endif
286 tls_in.peerdn = NULL;
287 tls_in.sni = NULL;
288 tls_in.ocsp = OCSP_NOT_REQ;
289 #endif
290
291 #ifdef WITH_CONTENT_SCAN
292 spam_bar = NULL;
293 spam_score = NULL;
294 spam_score_int = NULL;
295 #endif
296
297 #if defined(SUPPORT_I18N) && !defined(COMPILE_UTILITY)
298 message_smtputf8 = FALSE;
299 message_utf8_downconvert = 0;
300 #endif
301
302 dsn_ret = 0;
303 dsn_envid = NULL;
304 }
305
306
307 /*************************************************
308 *             Read spool header file             *
309 *************************************************/
310
311 /* This function reads a spool header file and places the data into the
312 appropriate global variables. The header portion is always read, but header
313 structures are built only if read_headers is set true. It isn't, for example,
314 while generating -bp output.
315
316 It may be possible for blocks of nulls (binary zeroes) to get written on the
317 end of a file if there is a system crash during writing. It was observed on an
318 earlier version of Exim that omitted to fsync() the files - this is thought to
319 have been the cause of that incident, but in any case, this code must be robust
320 against such an event, and if such a file is encountered, it must be treated as
321 malformed.
322
323 As called from deliver_message() (at least) we are running as root.
324
325 Arguments:
326   name          name of the header file, including the -H
327   read_headers  TRUE if in-store header structures are to be built
328   subdir_set    TRUE is message_subdir is already set
329
330 Returns:        spool_read_OK        success
331                 spool_read_notopen   open failed
332                 spool_read_enverror  error in the envelope portion
333                 spool_read_hdrerror  error in the header portion
334 */
335
336 int
337 spool_read_header(uschar *name, BOOL read_headers, BOOL subdir_set)
338 {
339 FILE * fp = NULL;
340 int n;
341 int rcount = 0;
342 long int uid, gid;
343 BOOL inheader = FALSE;
344
345 /* Reset all the global variables to their default values. However, there is
346 one exception. DO NOT change the default value of dont_deliver, because it may
347 be forced by an external setting. */
348
349 spool_clear_header_globals();
350
351 /* Generate the full name and open the file. If message_subdir is already
352 set, just look in the given directory. Otherwise, look in both the split
353 and unsplit directories, as for the data file above. */
354
355 for (int n = 0; n < 2; n++)
356   {
357   if (!subdir_set)
358     set_subdir_str(message_subdir, name, n);
359
360   if ((fp = Ufopen(spool_fname(US"input", message_subdir, name, US""), "rb")))
361     break;
362   if (n != 0 || subdir_set || errno != ENOENT)
363     return spool_read_notopen;
364   }
365
366 errno = 0;
367
368 #ifndef COMPILE_UTILITY
369 DEBUG(D_deliver) debug_printf("reading spool file %s\n", name);
370 #endif  /* COMPILE_UTILITY */
371
372 /* The first line of a spool file contains the message id followed by -H (i.e.
373 the file name), in order to make the file self-identifying. */
374
375 if (Ufgets(big_buffer, big_buffer_size, fp) == NULL) goto SPOOL_READ_ERROR;
376 if (Ustrlen(big_buffer) != MESSAGE_ID_LENGTH + 3 ||
377     Ustrncmp(big_buffer, name, MESSAGE_ID_LENGTH + 2) != 0)
378   goto SPOOL_FORMAT_ERROR;
379
380 /* The next three lines in the header file are in a fixed format. The first
381 contains the login, uid, and gid of the user who caused the file to be written.
382 There are known cases where a negative gid is used, so we allow for both
383 negative uids and gids. The second contains the mail address of the message's
384 sender, enclosed in <>. The third contains the time the message was received,
385 and the number of warning messages for delivery delays that have been sent. */
386
387 if (Ufgets(big_buffer, big_buffer_size, fp) == NULL) goto SPOOL_READ_ERROR;
388
389 {
390 uschar *p = big_buffer + Ustrlen(big_buffer);
391 while (p > big_buffer && isspace(p[-1])) p--;
392 *p = 0;
393 if (!isdigit(p[-1])) goto SPOOL_FORMAT_ERROR;
394 while (p > big_buffer && (isdigit(p[-1]) || '-' == p[-1])) p--;
395 gid = Uatoi(p);
396 if (p <= big_buffer || *(--p) != ' ') goto SPOOL_FORMAT_ERROR;
397 *p = 0;
398 if (!isdigit(p[-1])) goto SPOOL_FORMAT_ERROR;
399 while (p > big_buffer && (isdigit(p[-1]) || '-' == p[-1])) p--;
400 uid = Uatoi(p);
401 if (p <= big_buffer || *(--p) != ' ') goto SPOOL_FORMAT_ERROR;
402 *p = 0;
403 }
404
405 originator_login = string_copy(big_buffer);
406 originator_uid = (uid_t)uid;
407 originator_gid = (gid_t)gid;
408
409 /* envelope from */
410 if (Ufgets(big_buffer, big_buffer_size, fp) == NULL) goto SPOOL_READ_ERROR;
411 n = Ustrlen(big_buffer);
412 if (n < 3 || big_buffer[0] != '<' || big_buffer[n-2] != '>')
413   goto SPOOL_FORMAT_ERROR;
414
415 sender_address = store_get(n-2, TRUE);  /* tainted */
416 Ustrncpy(sender_address, big_buffer+1, n-3);
417 sender_address[n-3] = 0;
418
419 /* time */
420 if (Ufgets(big_buffer, big_buffer_size, fp) == NULL) goto SPOOL_READ_ERROR;
421 if (sscanf(CS big_buffer, TIME_T_FMT " %d", &received_time.tv_sec, &warning_count) != 2)
422   goto SPOOL_FORMAT_ERROR;
423 received_time.tv_usec = 0;
424
425 message_age = time(NULL) - received_time.tv_sec;
426
427 #ifndef COMPILE_UTILITY
428 DEBUG(D_deliver) debug_printf("user=%s uid=%ld gid=%ld sender=%s\n",
429   originator_login, (long int)originator_uid, (long int)originator_gid,
430   sender_address);
431 #endif  /* COMPILE_UTILITY */
432
433 /* Now there may be a number of optional lines, each starting with "-". If you
434 add a new setting here, make sure you set the default above.
435
436 Because there are now quite a number of different possibilities, we use a
437 switch on the first character to avoid too many failing tests. Thanks to Nico
438 Erfurth for the patch that implemented this. I have made it even more efficient
439 by not re-scanning the first two characters.
440
441 To allow new versions of Exim that add additional flags to interwork with older
442 versions that do not understand them, just ignore any lines starting with "-"
443 that we don't recognize. Otherwise it wouldn't be possible to back off a new
444 version that left new-style flags written on the spool.
445
446 If the line starts with "--" the content of the variable is tainted.  */
447
448 for (;;)
449   {
450   int len;
451   BOOL tainted;
452   uschar * var;
453   const uschar * p;
454
455   if (Ufgets(big_buffer, big_buffer_size, fp) == NULL) goto SPOOL_READ_ERROR;
456   if (big_buffer[0] != '-') break;
457   while (  (len = Ustrlen(big_buffer)) == big_buffer_size-1
458         && big_buffer[len-1] != '\n'
459         )
460     {   /* buffer not big enough for line; certs make this possible */
461     uschar * buf;
462     if (big_buffer_size >= BIG_BUFFER_SIZE*4) goto SPOOL_READ_ERROR;
463     buf = store_get_perm(big_buffer_size *= 2, FALSE);
464     memcpy(buf, big_buffer, --len);
465     big_buffer = buf;
466     if (Ufgets(big_buffer+len, big_buffer_size-len, fp) == NULL)
467       goto SPOOL_READ_ERROR;
468     }
469   big_buffer[len-1] = 0;
470
471   tainted = big_buffer[1] == '-';
472   var =  big_buffer + (tainted ? 2 : 1);
473   p = var + 1;
474
475   switch(*var)
476     {
477     case 'a':
478
479     /* Nowadays we use "-aclc" and "-aclm" for the different types of ACL
480     variable, because Exim allows any number of them, with arbitrary names.
481     The line in the spool file is "-acl[cm] <name> <length>". The name excludes
482     the c or m. */
483
484     if (Ustrncmp(p, "clc ", 4) == 0 ||
485         Ustrncmp(p, "clm ", 4) == 0)
486       {
487       uschar *name, *endptr;
488       int count;
489       tree_node *node;
490       endptr = Ustrchr(var + 5, ' ');
491       if (endptr == NULL) goto SPOOL_FORMAT_ERROR;
492       name = string_sprintf("%c%.*s", var[3],
493         (int)(endptr - var - 5), var + 5);
494       if (sscanf(CS endptr, " %d", &count) != 1) goto SPOOL_FORMAT_ERROR;
495       node = acl_var_create(name);
496       node->data.ptr = store_get(count + 1, tainted);
497       if (fread(node->data.ptr, 1, count+1, fp) < count) goto SPOOL_READ_ERROR;
498       ((uschar*)node->data.ptr)[count] = 0;
499       }
500
501     else if (Ustrcmp(p, "llow_unqualified_recipient") == 0)
502       f.allow_unqualified_recipient = TRUE;
503     else if (Ustrcmp(p, "llow_unqualified_sender") == 0)
504       f.allow_unqualified_sender = TRUE;
505
506     else if (Ustrncmp(p, "uth_id", 6) == 0)
507       authenticated_id = string_copy_taint(var + 8, tainted);
508     else if (Ustrncmp(p, "uth_sender", 10) == 0)
509       authenticated_sender = string_copy_taint(var + 12, tainted);
510     else if (Ustrncmp(p, "ctive_hostname", 14) == 0)
511       smtp_active_hostname = string_copy_taint(var + 16, tainted);
512
513     /* For long-term backward compatibility, we recognize "-acl", which was
514     used before the number of ACL variables changed from 10 to 20. This was
515     before the subsequent change to an arbitrary number of named variables.
516     This code is retained so that upgrades from very old versions can still
517     handle old-format spool files. The value given after "-acl" is a number
518     that is 0-9 for connection variables, and 10-19 for message variables. */
519
520     else if (Ustrncmp(p, "cl ", 3) == 0)
521       {
522       unsigned index, count;
523       uschar name[20];   /* Need plenty of space for %u format */
524       tree_node * node;
525       if (  sscanf(CS var + 4, "%u %u", &index, &count) != 2
526          || index >= 20
527          || count > 16384       /* arbitrary limit on variable size */
528          )
529         goto SPOOL_FORMAT_ERROR;
530       if (index < 10)
531         (void) string_format(name, sizeof(name), "%c%u", 'c', index);
532       else
533         (void) string_format(name, sizeof(name), "%c%u", 'm', index - 10);
534       node = acl_var_create(name);
535       node->data.ptr = store_get(count + 1, tainted);
536       /* We sanity-checked the count, so disable the Coverity error */
537       /* coverity[tainted_data] */
538       if (fread(node->data.ptr, 1, count+1, fp) < count) goto SPOOL_READ_ERROR;
539       (US node->data.ptr)[count] = '\0';
540       }
541     break;
542
543     case 'b':
544     if (Ustrncmp(p, "ody_linecount", 13) == 0)
545       body_linecount = Uatoi(var + 14);
546     else if (Ustrncmp(p, "ody_zerocount", 13) == 0)
547       body_zerocount = Uatoi(var + 14);
548 #ifdef EXPERIMENTAL_BRIGHTMAIL
549     else if (Ustrncmp(p, "mi_verdicts ", 12) == 0)
550       bmi_verdicts = string_copy_taint(var + 13, tainted);
551 #endif
552     break;
553
554     case 'd':
555     if (Ustrcmp(p, "eliver_firsttime") == 0)
556       f.deliver_firsttime = TRUE;
557     /* Check if the dsn flags have been set in the header file */
558     else if (Ustrncmp(p, "sn_ret", 6) == 0)
559       dsn_ret= atoi(CS var + 7);
560     else if (Ustrncmp(p, "sn_envid", 8) == 0)
561       dsn_envid = string_copy_taint(var + 10, tainted);
562     break;
563
564     case 'f':
565     if (Ustrncmp(p, "rozen", 5) == 0)
566       {
567       f.deliver_freeze = TRUE;
568       if (sscanf(CS var+6, TIME_T_FMT, &deliver_frozen_at) != 1)
569         goto SPOOL_READ_ERROR;
570       }
571     break;
572
573     case 'h':
574     if (Ustrcmp(p, "ost_lookup_deferred") == 0)
575       host_lookup_deferred = TRUE;
576     else if (Ustrcmp(p, "ost_lookup_failed") == 0)
577       host_lookup_failed = TRUE;
578     else if (Ustrncmp(p, "ost_auth", 8) == 0)
579       sender_host_authenticated = string_copy_taint(var + 10, tainted);
580     else if (Ustrncmp(p, "ost_name", 8) == 0)
581       sender_host_name = string_copy_taint(var + 10, tainted);
582     else if (Ustrncmp(p, "elo_name", 8) == 0)
583       sender_helo_name = string_copy_taint(var + 10, tainted);
584
585     /* We now record the port number after the address, separated by a
586     dot. For compatibility during upgrading, do nothing if there
587     isn't a value (it gets left at zero). */
588
589     else if (Ustrncmp(p, "ost_address", 11) == 0)
590       {
591       sender_host_port = host_address_extract_port(var + 13);
592       sender_host_address = string_copy_taint(var + 13, tainted);
593       }
594     break;
595
596     case 'i':
597     if (Ustrncmp(p, "nterface_address", 16) == 0)
598       {
599       interface_port = host_address_extract_port(var + 18);
600       interface_address = string_copy_taint(var + 18, tainted);
601       }
602     else if (Ustrncmp(p, "dent", 4) == 0)
603       sender_ident = string_copy_taint(var + 6, tainted);
604     break;
605
606     case 'l':
607     if (Ustrcmp(p, "ocal") == 0)
608       f.sender_local = TRUE;
609     else if (Ustrcmp(var, "localerror") == 0)
610       f.local_error_message = TRUE;
611 #ifdef HAVE_LOCAL_SCAN
612     else if (Ustrncmp(p, "ocal_scan ", 10) == 0)
613       local_scan_data = string_copy_taint(var + 11, tainted);
614 #endif
615     break;
616
617     case 'm':
618     if (Ustrcmp(p, "anual_thaw") == 0)
619       f.deliver_manual_thaw = TRUE;
620     else if (Ustrncmp(p, "ax_received_linelength", 22) == 0)
621       max_received_linelength = Uatoi(var + 23);
622     break;
623
624     case 'N':
625     if (*p == 0) f.dont_deliver = TRUE;   /* -N */
626     break;
627
628     case 'r':
629     if (Ustrncmp(p, "eceived_protocol", 16) == 0)
630       received_protocol = string_copy_taint(var + 18, tainted);
631     else if (Ustrncmp(p, "eceived_time_usec", 17) == 0)
632       {
633       unsigned usec;
634       if (sscanf(CS var + 20, "%u", &usec) == 1)
635         received_time.tv_usec = usec;
636       }
637     break;
638
639     case 's':
640     if (Ustrncmp(p, "ender_set_untrusted", 19) == 0)
641       f.sender_set_untrusted = TRUE;
642 #ifdef WITH_CONTENT_SCAN
643     else if (Ustrncmp(p, "pam_bar ", 8) == 0)
644       spam_bar = string_copy_taint(var + 9, tainted);
645     else if (Ustrncmp(p, "pam_score ", 10) == 0)
646       spam_score = string_copy_taint(var + 11, tainted);
647     else if (Ustrncmp(p, "pam_score_int ", 14) == 0)
648       spam_score_int = string_copy_taint(var + 15, tainted);
649 #endif
650 #ifndef COMPILE_UTILITY
651     else if (Ustrncmp(p, "pool_file_wireformat", 20) == 0)
652       f.spool_file_wireformat = TRUE;
653 #endif
654 #if defined(SUPPORT_I18N) && !defined(COMPILE_UTILITY)
655     else if (Ustrncmp(p, "mtputf8", 7) == 0)
656       message_smtputf8 = TRUE;
657 #endif
658     break;
659
660 #ifndef DISABLE_TLS
661     case 't':
662     if (Ustrncmp(p, "ls_", 3) == 0)
663       {
664       const uschar * q = p + 3;
665       if (Ustrncmp(q, "certificate_verified", 20) == 0)
666         tls_in.certificate_verified = TRUE;
667       else if (Ustrncmp(q, "cipher", 6) == 0)
668         tls_in.cipher = string_copy_taint(q+7, tainted);
669 # ifndef COMPILE_UTILITY        /* tls support fns not built in */
670       else if (Ustrncmp(q, "ourcert", 7) == 0)
671         (void) tls_import_cert(q+8, &tls_in.ourcert);
672       else if (Ustrncmp(q, "peercert", 8) == 0)
673         (void) tls_import_cert(q+9, &tls_in.peercert);
674 # endif
675       else if (Ustrncmp(q, "peerdn", 6) == 0)
676         tls_in.peerdn = string_unprinting(string_copy_taint(q+7, tainted));
677       else if (Ustrncmp(q, "sni", 3) == 0)
678         tls_in.sni = string_unprinting(string_copy_taint(q+4, tainted));
679       else if (Ustrncmp(q, "ocsp", 4) == 0)
680         tls_in.ocsp = q[5] - '0';
681 # ifdef EXPERIMENTAL_TLS_RESUME
682       else if (Ustrncmp(q, "resumption", 10) == 0)
683         tls_in.resumption = q[11] - 'A';
684 # endif
685       else if (Ustrncmp(q, "ver", 3) == 0)
686         tls_in.ver = string_copy_taint(q+4, tainted);
687       }
688     break;
689 #endif
690
691 #if defined(SUPPORT_I18N) && !defined(COMPILE_UTILITY)
692     case 'u':
693     if (Ustrncmp(p, "tf8_downcvt", 11) == 0)
694       message_utf8_downconvert = 1;
695     else if (Ustrncmp(p, "tf8_optdowncvt", 15) == 0)
696       message_utf8_downconvert = -1;
697     break;
698 #endif
699
700     default:    /* Present because some compilers complain if all */
701     break;      /* possibilities are not covered. */
702     }
703   }
704
705 /* Build sender_fullhost if required */
706
707 #ifndef COMPILE_UTILITY
708 host_build_sender_fullhost();
709 #endif  /* COMPILE_UTILITY */
710
711 #ifndef COMPILE_UTILITY
712 DEBUG(D_deliver)
713   debug_printf("sender_local=%d ident=%s\n", f.sender_local,
714     sender_ident ? sender_ident : US"unset");
715 #endif  /* COMPILE_UTILITY */
716
717 /* We now have the tree of addresses NOT to deliver to, or a line
718 containing "XX", indicating no tree. */
719
720 if (Ustrncmp(big_buffer, "XX\n", 3) != 0 &&
721   !read_nonrecipients_tree(&tree_nonrecipients, fp, big_buffer, big_buffer_size))
722     goto SPOOL_FORMAT_ERROR;
723
724 #ifndef COMPILE_UTILITY
725 DEBUG(D_deliver)
726   {
727   debug_printf("Non-recipients:\n");
728   debug_print_tree(tree_nonrecipients);
729   }
730 #endif  /* COMPILE_UTILITY */
731
732 /* After reading the tree, the next line has not yet been read into the
733 buffer. It contains the count of recipients which follow on separate lines.
734 Apply an arbitrary sanity check.*/
735
736 if (Ufgets(big_buffer, big_buffer_size, fp) == NULL) goto SPOOL_READ_ERROR;
737 if (sscanf(CS big_buffer, "%d", &rcount) != 1 || rcount > 16384)
738   goto SPOOL_FORMAT_ERROR;
739
740 #ifndef COMPILE_UTILITY
741 DEBUG(D_deliver) debug_printf("recipients_count=%d\n", rcount);
742 #endif  /* COMPILE_UTILITY */
743
744 recipients_list_max = rcount;
745 recipients_list = store_get(rcount * sizeof(recipient_item), FALSE);
746
747 /* We sanitised the count and know we have enough memory, so disable
748 the Coverity error on recipients_count */
749 /* coverity[tainted_data] */
750
751 for (recipients_count = 0; recipients_count < rcount; recipients_count++)
752   {
753   int nn;
754   int pno = -1;
755   int dsn_flags = 0;
756   uschar *orcpt = NULL;
757   uschar *errors_to = NULL;
758   uschar *p;
759
760   if (Ufgets(big_buffer, big_buffer_size, fp) == NULL) goto SPOOL_READ_ERROR;
761   nn = Ustrlen(big_buffer);
762   if (nn < 2) goto SPOOL_FORMAT_ERROR;
763
764   /* Remove the newline; this terminates the address if there is no additional
765   data on the line. */
766
767   p = big_buffer + nn - 1;
768   *p-- = 0;
769
770   /* Look back from the end of the line for digits and special terminators.
771   Since an address must end with a domain, we can tell that extra data is
772   present by the presence of the terminator, which is always some character
773   that cannot exist in a domain. (If I'd thought of the need for additional
774   data early on, I'd have put it at the start, with the address at the end. As
775   it is, we have to operate backwards. Addresses are permitted to contain
776   spaces, you see.)
777
778   This code has to cope with various versions of this data that have evolved
779   over time. In all cases, the line might just contain an address, with no
780   additional data. Otherwise, the possibilities are as follows:
781
782   Exim 3 type:       <address><space><digits>,<digits>,<digits>
783
784     The second set of digits is the parent number for one_time addresses. The
785     other values were remnants of earlier experiments that were abandoned.
786
787   Exim 4 first type: <address><space><digits>
788
789     The digits are the parent number for one_time addresses.
790
791   Exim 4 new type:   <address><space><data>#<type bits>
792
793     The type bits indicate what the contents of the data are.
794
795     Bit 01 indicates that, reading from right to left, the data
796       ends with <errors_to address><space><len>,<pno> where pno is
797       the parent number for one_time addresses, and len is the length
798       of the errors_to address (zero meaning none).
799
800     Bit 02 indicates that, again reading from right to left, the data continues
801      with orcpt len(orcpt),dsn_flags
802    */
803
804   while (isdigit(*p)) p--;
805
806   /* Handle Exim 3 spool files */
807
808   if (*p == ',')
809     {
810     int dummy;
811 #if !defined (COMPILE_UTILITY)
812     DEBUG(D_deliver) debug_printf("**** SPOOL_IN - Exim 3 spool file\n");
813 #endif
814     while (isdigit(*(--p)) || *p == ',');
815     if (*p == ' ')
816       {
817       *p++ = 0;
818       (void)sscanf(CS p, "%d,%d", &dummy, &pno);
819       }
820     }
821
822   /* Handle early Exim 4 spool files */
823
824   else if (*p == ' ')
825     {
826 #if !defined (COMPILE_UTILITY)
827     DEBUG(D_deliver) debug_printf("**** SPOOL_IN - early Exim 4 spool file\n");
828 #endif
829     *p++ = 0;
830     (void)sscanf(CS p, "%d", &pno);
831     }
832
833   /* Handle current format Exim 4 spool files */
834
835   else if (*p == '#')
836     {
837     int flags;
838
839 #if !defined (COMPILE_UTILITY)
840     DEBUG(D_deliver) debug_printf("**** SPOOL_IN - Exim standard format spoolfile\n");
841 #endif
842
843     (void)sscanf(CS p+1, "%d", &flags);
844
845     if ((flags & 0x01) != 0)      /* one_time data exists */
846       {
847       int len;
848       while (isdigit(*(--p)) || *p == ',' || *p == '-');
849       (void)sscanf(CS p+1, "%d,%d", &len, &pno);
850       *p = 0;
851       if (len > 0)
852         {
853         p -= len;
854         errors_to = string_copy_taint(p, TRUE);
855         }
856       }
857
858     *(--p) = 0;   /* Terminate address */
859     if ((flags & 0x02) != 0)      /* one_time data exists */
860       {
861       int len;
862       while (isdigit(*(--p)) || *p == ',' || *p == '-');
863       (void)sscanf(CS p+1, "%d,%d", &len, &dsn_flags);
864       *p = 0;
865       if (len > 0)
866         {
867         p -= len;
868         orcpt = string_copy_taint(p, TRUE);
869         }
870       }
871
872     *(--p) = 0;   /* Terminate address */
873     }
874 #if !defined(COMPILE_UTILITY)
875   else
876     { DEBUG(D_deliver) debug_printf("**** SPOOL_IN - No additional fields\n"); }
877
878   if (orcpt || dsn_flags)
879     DEBUG(D_deliver) debug_printf("**** SPOOL_IN - address: <%s> orcpt: <%s> dsn_flags: 0x%x\n",
880       big_buffer, orcpt, dsn_flags);
881   if (errors_to)
882     DEBUG(D_deliver) debug_printf("**** SPOOL_IN - address: <%s> errorsto: <%s>\n",
883       big_buffer, errors_to);
884 #endif
885
886   recipients_list[recipients_count].address = string_copy_taint(big_buffer, TRUE);
887   recipients_list[recipients_count].pno = pno;
888   recipients_list[recipients_count].errors_to = errors_to;
889   recipients_list[recipients_count].orcpt = orcpt;
890   recipients_list[recipients_count].dsn_flags = dsn_flags;
891   }
892
893 /* The remainder of the spool header file contains the headers for the message,
894 separated off from the previous data by a blank line. Each header is preceded
895 by a count of its length and either a certain letter (for various identified
896 headers), space (for a miscellaneous live header) or an asterisk (for a header
897 that has been rewritten). Count the Received: headers. We read the headers
898 always, in order to check on the format of the file, but only create a header
899 list if requested to do so. */
900
901 inheader = TRUE;
902 if (Ufgets(big_buffer, big_buffer_size, fp) == NULL) goto SPOOL_READ_ERROR;
903 if (big_buffer[0] != '\n') goto SPOOL_FORMAT_ERROR;
904
905 while ((n = fgetc(fp)) != EOF)
906   {
907   header_line *h;
908   uschar flag[4];
909   int i;
910
911   if (!isdigit(n)) goto SPOOL_FORMAT_ERROR;
912   if(ungetc(n, fp) == EOF  ||  fscanf(fp, "%d%c ", &n, flag) == EOF)
913     goto SPOOL_READ_ERROR;
914   if (flag[0] != '*') message_size += n;  /* Omit non-transmitted headers */
915
916   if (read_headers)
917     {
918     h = store_get(sizeof(header_line), FALSE);
919     h->next = NULL;
920     h->type = flag[0];
921     h->slen = n;
922     h->text = store_get(n+1, TRUE);     /* tainted */
923
924     if (h->type == htype_received) received_count++;
925
926     if (header_list) header_last->next = h;
927     else header_list = h;
928     header_last = h;
929
930     for (i = 0; i < n; i++)
931       {
932       int c = fgetc(fp);
933       if (c == 0 || c == EOF) goto SPOOL_FORMAT_ERROR;
934       if (c == '\n' && h->type != htype_old) message_linecount++;
935       h->text[i] = c;
936       }
937     h->text[i] = 0;
938     }
939
940   /* Not requiring header data, just skip through the bytes */
941
942   else for (i = 0; i < n; i++)
943     {
944     int c = fgetc(fp);
945     if (c == 0 || c == EOF) goto SPOOL_FORMAT_ERROR;
946     }
947   }
948
949 /* We have successfully read the data in the header file. Update the message
950 line count by adding the body linecount to the header linecount. Close the file
951 and give a positive response. */
952
953 #ifndef COMPILE_UTILITY
954 DEBUG(D_deliver) debug_printf("body_linecount=%d message_linecount=%d\n",
955   body_linecount, message_linecount);
956 #endif  /* COMPILE_UTILITY */
957
958 message_linecount += body_linecount;
959
960 fclose(fp);
961 return spool_read_OK;
962
963
964 /* There was an error reading the spool or there was missing data,
965 or there was a format error. A "read error" with no errno means an
966 unexpected EOF, which we treat as a format error. */
967
968 SPOOL_READ_ERROR:
969 if (errno != 0)
970   {
971   n = errno;
972
973 #ifndef COMPILE_UTILITY
974   DEBUG(D_any) debug_printf("Error while reading spool file %s\n", name);
975 #endif  /* COMPILE_UTILITY */
976
977   fclose(fp);
978   errno = n;
979   return inheader ? spool_read_hdrerror : spool_read_enverror;
980   }
981
982 SPOOL_FORMAT_ERROR:
983
984 #ifndef COMPILE_UTILITY
985 DEBUG(D_any) debug_printf("Format error in spool file %s\n", name);
986 #endif  /* COMPILE_UTILITY */
987
988 fclose(fp);
989 errno = ERRNO_SPOOLFORMAT;
990 return inheader? spool_read_hdrerror : spool_read_enverror;
991 }
992
993 /* vi: aw ai sw=2
994 */
995 /* End of spool_in.c */