1 /*************************************************
2 * Exim - an Internet mail transport agent *
3 *************************************************/
5 /* Copyright (c) University of Cambridge 1995 - 2014 */
6 /* See the file NOTICE for conditions of use and distribution. */
9 /* Functions for handling string expansion. */
14 /* Recursively called function */
16 static uschar *expand_string_internal(uschar *, BOOL, uschar **, BOOL, BOOL, BOOL *);
17 static int_eximarith_t expanded_string_integer(uschar *, BOOL);
20 #ifndef SUPPORT_CRYPTEQ
21 #define SUPPORT_CRYPTEQ
26 #include "lookups/ldap.h"
29 #ifdef SUPPORT_CRYPTEQ
34 extern char* crypt16(char*, char*);
38 /* The handling of crypt16() is a mess. I will record below the analysis of the
39 mess that was sent to me. We decided, however, to make changing this very low
40 priority, because in practice people are moving away from the crypt()
41 algorithms nowadays, so it doesn't seem worth it.
44 There is an algorithm named "crypt16" in Ultrix and Tru64. It crypts
45 the first 8 characters of the password using a 20-round version of crypt
46 (standard crypt does 25 rounds). It then crypts the next 8 characters,
47 or an empty block if the password is less than 9 characters, using a
48 20-round version of crypt and the same salt as was used for the first
49 block. Charaters after the first 16 are ignored. It always generates
50 a 16-byte hash, which is expressed together with the salt as a string
51 of 24 base 64 digits. Here are some links to peruse:
53 http://cvs.pld.org.pl/pam/pamcrypt/crypt16.c?rev=1.2
54 http://seclists.org/bugtraq/1999/Mar/0076.html
56 There's a different algorithm named "bigcrypt" in HP-UX, Digital Unix,
57 and OSF/1. This is the same as the standard crypt if given a password
58 of 8 characters or less. If given more, it first does the same as crypt
59 using the first 8 characters, then crypts the next 8 (the 9th to 16th)
60 using as salt the first two base 64 digits from the first hash block.
61 If the password is more than 16 characters then it crypts the 17th to 24th
62 characters using as salt the first two base 64 digits from the second hash
63 block. And so on: I've seen references to it cutting off the password at
64 40 characters (5 blocks), 80 (10 blocks), or 128 (16 blocks). Some links:
66 http://cvs.pld.org.pl/pam/pamcrypt/bigcrypt.c?rev=1.2
67 http://seclists.org/bugtraq/1999/Mar/0109.html
68 http://h30097.www3.hp.com/docs/base_doc/DOCUMENTATION/HTML/AA-Q0R2D-
69 TET1_html/sec.c222.html#no_id_208
71 Exim has something it calls "crypt16". It will either use a native
72 crypt16 or its own implementation. A native crypt16 will presumably
73 be the one that I called "crypt16" above. The internal "crypt16"
74 function, however, is a two-block-maximum implementation of what I called
75 "bigcrypt". The documentation matches the internal code.
77 I suspect that whoever did the "crypt16" stuff for Exim didn't realise
78 that crypt16 and bigcrypt were different things.
80 Exim uses the LDAP-style scheme identifier "{crypt16}" to refer
81 to whatever it is using under that name. This unfortunately sets a
82 precedent for using "{crypt16}" to identify two incompatible algorithms
83 whose output can't be distinguished. With "{crypt16}" thus rendered
84 ambiguous, I suggest you deprecate it and invent two new identifiers
85 for the two algorithms.
87 Both crypt16 and bigcrypt are very poor algorithms, btw. Hashing parts
88 of the password separately means they can be cracked separately, so
89 the double-length hash only doubles the cracking effort instead of
90 squaring it. I recommend salted SHA-1 ({SSHA}), or the Blowfish-based
98 # define nelements(arr) (sizeof(arr) / sizeof(*arr))
101 /*************************************************
102 * Local statics and tables *
103 *************************************************/
105 /* Table of item names, and corresponding switch numbers. The names must be in
106 alphabetical order. */
108 static uschar *item_table[] = {
158 /* Tables of operator names, and corresponding switch numbers. The names must be
159 in alphabetical order. There are two tables, because underscore is used in some
160 cases to introduce arguments, whereas for other it is part of the name. This is
161 an historical mis-design. */
163 static uschar *op_table_underscore[] = {
166 US"quote_local_part",
174 EOP_QUOTE_LOCAL_PART,
179 static uschar *op_table_main[] = {
218 EOP_ADDRESS = sizeof(op_table_underscore)/sizeof(uschar *),
256 /* Table of condition names, and corresponding switch numbers. The names must
257 be in alphabetical order. */
259 static uschar *cond_table[] = {
263 US"==", /* Backward compatibility */
296 US"match_local_part",
321 ECOND_FIRST_DELIVERY,
342 ECOND_MATCH_LOCAL_PART,
352 /* Types of table entry */
355 vtype_int, /* value is address of int */
356 vtype_filter_int, /* ditto, but recognized only when filtering */
357 vtype_ino, /* value is address of ino_t (not always an int) */
358 vtype_uid, /* value is address of uid_t (not always an int) */
359 vtype_gid, /* value is address of gid_t (not always an int) */
360 vtype_bool, /* value is address of bool */
361 vtype_stringptr, /* value is address of pointer to string */
362 vtype_msgbody, /* as stringptr, but read when first required */
363 vtype_msgbody_end, /* ditto, the end of the message */
364 vtype_msgheaders, /* the message's headers, processed */
365 vtype_msgheaders_raw, /* the message's headers, unprocessed */
366 vtype_localpart, /* extract local part from string */
367 vtype_domain, /* extract domain from string */
368 vtype_string_func, /* value is string returned by given function */
369 vtype_todbsdin, /* value not used; generate BSD inbox tod */
370 vtype_tode, /* value not used; generate tod in epoch format */
371 vtype_todel, /* value not used; generate tod in epoch/usec format */
372 vtype_todf, /* value not used; generate full tod */
373 vtype_todl, /* value not used; generate log tod */
374 vtype_todlf, /* value not used; generate log file datestamp tod */
375 vtype_todzone, /* value not used; generate time zone only */
376 vtype_todzulu, /* value not used; generate zulu tod */
377 vtype_reply, /* value not used; get reply from headers */
378 vtype_pid, /* value not used; result is pid */
379 vtype_host_lookup, /* value not used; get host name */
380 vtype_load_avg, /* value not used; result is int from os_getloadavg */
381 vtype_pspace, /* partition space; value is T/F for spool/log */
382 vtype_pinodes, /* partition inodes; value is T/F for spool/log */
383 vtype_cert /* SSL certificate */
385 ,vtype_dkim /* Lookup of value in DKIM signature */
389 /* Type for main variable table */
397 /* Type for entries pointing to address/length pairs. Not currently
405 static uschar * fn_recipients(void);
407 /* This table must be kept in alphabetical order. */
409 static var_entry var_table[] = {
410 /* WARNING: Do not invent variables whose names start acl_c or acl_m because
411 they will be confused with user-creatable ACL variables. */
412 { "acl_arg1", vtype_stringptr, &acl_arg[0] },
413 { "acl_arg2", vtype_stringptr, &acl_arg[1] },
414 { "acl_arg3", vtype_stringptr, &acl_arg[2] },
415 { "acl_arg4", vtype_stringptr, &acl_arg[3] },
416 { "acl_arg5", vtype_stringptr, &acl_arg[4] },
417 { "acl_arg6", vtype_stringptr, &acl_arg[5] },
418 { "acl_arg7", vtype_stringptr, &acl_arg[6] },
419 { "acl_arg8", vtype_stringptr, &acl_arg[7] },
420 { "acl_arg9", vtype_stringptr, &acl_arg[8] },
421 { "acl_narg", vtype_int, &acl_narg },
422 { "acl_verify_message", vtype_stringptr, &acl_verify_message },
423 { "address_data", vtype_stringptr, &deliver_address_data },
424 { "address_file", vtype_stringptr, &address_file },
425 { "address_pipe", vtype_stringptr, &address_pipe },
426 { "authenticated_fail_id",vtype_stringptr, &authenticated_fail_id },
427 { "authenticated_id", vtype_stringptr, &authenticated_id },
428 { "authenticated_sender",vtype_stringptr, &authenticated_sender },
429 { "authentication_failed",vtype_int, &authentication_failed },
430 #ifdef WITH_CONTENT_SCAN
431 { "av_failed", vtype_int, &av_failed },
433 #ifdef EXPERIMENTAL_BRIGHTMAIL
434 { "bmi_alt_location", vtype_stringptr, &bmi_alt_location },
435 { "bmi_base64_tracker_verdict", vtype_stringptr, &bmi_base64_tracker_verdict },
436 { "bmi_base64_verdict", vtype_stringptr, &bmi_base64_verdict },
437 { "bmi_deliver", vtype_int, &bmi_deliver },
439 { "body_linecount", vtype_int, &body_linecount },
440 { "body_zerocount", vtype_int, &body_zerocount },
441 { "bounce_recipient", vtype_stringptr, &bounce_recipient },
442 { "bounce_return_size_limit", vtype_int, &bounce_return_size_limit },
443 { "caller_gid", vtype_gid, &real_gid },
444 { "caller_uid", vtype_uid, &real_uid },
445 { "compile_date", vtype_stringptr, &version_date },
446 { "compile_number", vtype_stringptr, &version_cnumber },
447 { "csa_status", vtype_stringptr, &csa_status },
448 #ifdef EXPERIMENTAL_DCC
449 { "dcc_header", vtype_stringptr, &dcc_header },
450 { "dcc_result", vtype_stringptr, &dcc_result },
452 #ifdef WITH_OLD_DEMIME
453 { "demime_errorlevel", vtype_int, &demime_errorlevel },
454 { "demime_reason", vtype_stringptr, &demime_reason },
457 { "dkim_algo", vtype_dkim, (void *)DKIM_ALGO },
458 { "dkim_bodylength", vtype_dkim, (void *)DKIM_BODYLENGTH },
459 { "dkim_canon_body", vtype_dkim, (void *)DKIM_CANON_BODY },
460 { "dkim_canon_headers", vtype_dkim, (void *)DKIM_CANON_HEADERS },
461 { "dkim_copiedheaders", vtype_dkim, (void *)DKIM_COPIEDHEADERS },
462 { "dkim_created", vtype_dkim, (void *)DKIM_CREATED },
463 { "dkim_cur_signer", vtype_stringptr, &dkim_cur_signer },
464 { "dkim_domain", vtype_stringptr, &dkim_signing_domain },
465 { "dkim_expires", vtype_dkim, (void *)DKIM_EXPIRES },
466 { "dkim_headernames", vtype_dkim, (void *)DKIM_HEADERNAMES },
467 { "dkim_identity", vtype_dkim, (void *)DKIM_IDENTITY },
468 { "dkim_key_granularity",vtype_dkim, (void *)DKIM_KEY_GRANULARITY },
469 { "dkim_key_nosubdomains",vtype_dkim, (void *)DKIM_NOSUBDOMAINS },
470 { "dkim_key_notes", vtype_dkim, (void *)DKIM_KEY_NOTES },
471 { "dkim_key_srvtype", vtype_dkim, (void *)DKIM_KEY_SRVTYPE },
472 { "dkim_key_testing", vtype_dkim, (void *)DKIM_KEY_TESTING },
473 { "dkim_selector", vtype_stringptr, &dkim_signing_selector },
474 { "dkim_signers", vtype_stringptr, &dkim_signers },
475 { "dkim_verify_reason", vtype_dkim, (void *)DKIM_VERIFY_REASON },
476 { "dkim_verify_status", vtype_dkim, (void *)DKIM_VERIFY_STATUS},
478 #ifdef EXPERIMENTAL_DMARC
479 { "dmarc_ar_header", vtype_stringptr, &dmarc_ar_header },
480 { "dmarc_domain_policy", vtype_stringptr, &dmarc_domain_policy },
481 { "dmarc_status", vtype_stringptr, &dmarc_status },
482 { "dmarc_status_text", vtype_stringptr, &dmarc_status_text },
483 { "dmarc_used_domain", vtype_stringptr, &dmarc_used_domain },
485 { "dnslist_domain", vtype_stringptr, &dnslist_domain },
486 { "dnslist_matched", vtype_stringptr, &dnslist_matched },
487 { "dnslist_text", vtype_stringptr, &dnslist_text },
488 { "dnslist_value", vtype_stringptr, &dnslist_value },
489 { "domain", vtype_stringptr, &deliver_domain },
490 { "domain_data", vtype_stringptr, &deliver_domain_data },
491 { "exim_gid", vtype_gid, &exim_gid },
492 { "exim_path", vtype_stringptr, &exim_path },
493 { "exim_uid", vtype_uid, &exim_uid },
494 #ifdef WITH_OLD_DEMIME
495 { "found_extension", vtype_stringptr, &found_extension },
497 { "headers_added", vtype_string_func, &fn_hdrs_added },
498 { "home", vtype_stringptr, &deliver_home },
499 { "host", vtype_stringptr, &deliver_host },
500 { "host_address", vtype_stringptr, &deliver_host_address },
501 { "host_data", vtype_stringptr, &host_data },
502 { "host_lookup_deferred",vtype_int, &host_lookup_deferred },
503 { "host_lookup_failed", vtype_int, &host_lookup_failed },
504 { "inode", vtype_ino, &deliver_inode },
505 { "interface_address", vtype_stringptr, &interface_address },
506 { "interface_port", vtype_int, &interface_port },
507 { "item", vtype_stringptr, &iterate_item },
509 { "ldap_dn", vtype_stringptr, &eldap_dn },
511 { "load_average", vtype_load_avg, NULL },
512 { "local_part", vtype_stringptr, &deliver_localpart },
513 { "local_part_data", vtype_stringptr, &deliver_localpart_data },
514 { "local_part_prefix", vtype_stringptr, &deliver_localpart_prefix },
515 { "local_part_suffix", vtype_stringptr, &deliver_localpart_suffix },
516 { "local_scan_data", vtype_stringptr, &local_scan_data },
517 { "local_user_gid", vtype_gid, &local_user_gid },
518 { "local_user_uid", vtype_uid, &local_user_uid },
519 { "localhost_number", vtype_int, &host_number },
520 { "log_inodes", vtype_pinodes, (void *)FALSE },
521 { "log_space", vtype_pspace, (void *)FALSE },
522 { "lookup_dnssec_authenticated",vtype_stringptr,&lookup_dnssec_authenticated},
523 { "mailstore_basename", vtype_stringptr, &mailstore_basename },
524 #ifdef WITH_CONTENT_SCAN
525 { "malware_name", vtype_stringptr, &malware_name },
527 { "max_received_linelength", vtype_int, &max_received_linelength },
528 { "message_age", vtype_int, &message_age },
529 { "message_body", vtype_msgbody, &message_body },
530 { "message_body_end", vtype_msgbody_end, &message_body_end },
531 { "message_body_size", vtype_int, &message_body_size },
532 { "message_exim_id", vtype_stringptr, &message_id },
533 { "message_headers", vtype_msgheaders, NULL },
534 { "message_headers_raw", vtype_msgheaders_raw, NULL },
535 { "message_id", vtype_stringptr, &message_id },
536 { "message_linecount", vtype_int, &message_linecount },
537 { "message_size", vtype_int, &message_size },
538 #ifdef WITH_CONTENT_SCAN
539 { "mime_anomaly_level", vtype_int, &mime_anomaly_level },
540 { "mime_anomaly_text", vtype_stringptr, &mime_anomaly_text },
541 { "mime_boundary", vtype_stringptr, &mime_boundary },
542 { "mime_charset", vtype_stringptr, &mime_charset },
543 { "mime_content_description", vtype_stringptr, &mime_content_description },
544 { "mime_content_disposition", vtype_stringptr, &mime_content_disposition },
545 { "mime_content_id", vtype_stringptr, &mime_content_id },
546 { "mime_content_size", vtype_int, &mime_content_size },
547 { "mime_content_transfer_encoding",vtype_stringptr, &mime_content_transfer_encoding },
548 { "mime_content_type", vtype_stringptr, &mime_content_type },
549 { "mime_decoded_filename", vtype_stringptr, &mime_decoded_filename },
550 { "mime_filename", vtype_stringptr, &mime_filename },
551 { "mime_is_coverletter", vtype_int, &mime_is_coverletter },
552 { "mime_is_multipart", vtype_int, &mime_is_multipart },
553 { "mime_is_rfc822", vtype_int, &mime_is_rfc822 },
554 { "mime_part_count", vtype_int, &mime_part_count },
556 { "n0", vtype_filter_int, &filter_n[0] },
557 { "n1", vtype_filter_int, &filter_n[1] },
558 { "n2", vtype_filter_int, &filter_n[2] },
559 { "n3", vtype_filter_int, &filter_n[3] },
560 { "n4", vtype_filter_int, &filter_n[4] },
561 { "n5", vtype_filter_int, &filter_n[5] },
562 { "n6", vtype_filter_int, &filter_n[6] },
563 { "n7", vtype_filter_int, &filter_n[7] },
564 { "n8", vtype_filter_int, &filter_n[8] },
565 { "n9", vtype_filter_int, &filter_n[9] },
566 { "original_domain", vtype_stringptr, &deliver_domain_orig },
567 { "original_local_part", vtype_stringptr, &deliver_localpart_orig },
568 { "originator_gid", vtype_gid, &originator_gid },
569 { "originator_uid", vtype_uid, &originator_uid },
570 { "parent_domain", vtype_stringptr, &deliver_domain_parent },
571 { "parent_local_part", vtype_stringptr, &deliver_localpart_parent },
572 { "pid", vtype_pid, NULL },
573 { "primary_hostname", vtype_stringptr, &primary_hostname },
574 #ifdef EXPERIMENTAL_PROXY
575 { "proxy_host_address", vtype_stringptr, &proxy_host_address },
576 { "proxy_host_port", vtype_int, &proxy_host_port },
577 { "proxy_session", vtype_bool, &proxy_session },
578 { "proxy_target_address",vtype_stringptr, &proxy_target_address },
579 { "proxy_target_port", vtype_int, &proxy_target_port },
581 { "prvscheck_address", vtype_stringptr, &prvscheck_address },
582 { "prvscheck_keynum", vtype_stringptr, &prvscheck_keynum },
583 { "prvscheck_result", vtype_stringptr, &prvscheck_result },
584 { "qualify_domain", vtype_stringptr, &qualify_domain_sender },
585 { "qualify_recipient", vtype_stringptr, &qualify_domain_recipient },
586 { "rcpt_count", vtype_int, &rcpt_count },
587 { "rcpt_defer_count", vtype_int, &rcpt_defer_count },
588 { "rcpt_fail_count", vtype_int, &rcpt_fail_count },
589 { "received_count", vtype_int, &received_count },
590 { "received_for", vtype_stringptr, &received_for },
591 { "received_ip_address", vtype_stringptr, &interface_address },
592 { "received_port", vtype_int, &interface_port },
593 { "received_protocol", vtype_stringptr, &received_protocol },
594 { "received_time", vtype_int, &received_time },
595 { "recipient_data", vtype_stringptr, &recipient_data },
596 { "recipient_verify_failure",vtype_stringptr,&recipient_verify_failure },
597 { "recipients", vtype_string_func, &fn_recipients },
598 { "recipients_count", vtype_int, &recipients_count },
599 #ifdef WITH_CONTENT_SCAN
600 { "regex_match_string", vtype_stringptr, ®ex_match_string },
602 { "reply_address", vtype_reply, NULL },
603 { "return_path", vtype_stringptr, &return_path },
604 { "return_size_limit", vtype_int, &bounce_return_size_limit },
605 { "router_name", vtype_stringptr, &router_name },
606 { "runrc", vtype_int, &runrc },
607 { "self_hostname", vtype_stringptr, &self_hostname },
608 { "sender_address", vtype_stringptr, &sender_address },
609 { "sender_address_data", vtype_stringptr, &sender_address_data },
610 { "sender_address_domain", vtype_domain, &sender_address },
611 { "sender_address_local_part", vtype_localpart, &sender_address },
612 { "sender_data", vtype_stringptr, &sender_data },
613 { "sender_fullhost", vtype_stringptr, &sender_fullhost },
614 { "sender_helo_name", vtype_stringptr, &sender_helo_name },
615 { "sender_host_address", vtype_stringptr, &sender_host_address },
616 { "sender_host_authenticated",vtype_stringptr, &sender_host_authenticated },
617 { "sender_host_dnssec", vtype_bool, &sender_host_dnssec },
618 { "sender_host_name", vtype_host_lookup, NULL },
619 { "sender_host_port", vtype_int, &sender_host_port },
620 { "sender_ident", vtype_stringptr, &sender_ident },
621 { "sender_rate", vtype_stringptr, &sender_rate },
622 { "sender_rate_limit", vtype_stringptr, &sender_rate_limit },
623 { "sender_rate_period", vtype_stringptr, &sender_rate_period },
624 { "sender_rcvhost", vtype_stringptr, &sender_rcvhost },
625 { "sender_verify_failure",vtype_stringptr, &sender_verify_failure },
626 { "sending_ip_address", vtype_stringptr, &sending_ip_address },
627 { "sending_port", vtype_int, &sending_port },
628 { "smtp_active_hostname", vtype_stringptr, &smtp_active_hostname },
629 { "smtp_command", vtype_stringptr, &smtp_cmd_buffer },
630 { "smtp_command_argument", vtype_stringptr, &smtp_cmd_argument },
631 { "smtp_count_at_connection_start", vtype_int, &smtp_accept_count },
632 { "smtp_notquit_reason", vtype_stringptr, &smtp_notquit_reason },
633 { "sn0", vtype_filter_int, &filter_sn[0] },
634 { "sn1", vtype_filter_int, &filter_sn[1] },
635 { "sn2", vtype_filter_int, &filter_sn[2] },
636 { "sn3", vtype_filter_int, &filter_sn[3] },
637 { "sn4", vtype_filter_int, &filter_sn[4] },
638 { "sn5", vtype_filter_int, &filter_sn[5] },
639 { "sn6", vtype_filter_int, &filter_sn[6] },
640 { "sn7", vtype_filter_int, &filter_sn[7] },
641 { "sn8", vtype_filter_int, &filter_sn[8] },
642 { "sn9", vtype_filter_int, &filter_sn[9] },
643 #ifdef WITH_CONTENT_SCAN
644 { "spam_bar", vtype_stringptr, &spam_bar },
645 { "spam_report", vtype_stringptr, &spam_report },
646 { "spam_score", vtype_stringptr, &spam_score },
647 { "spam_score_int", vtype_stringptr, &spam_score_int },
649 #ifdef EXPERIMENTAL_SPF
650 { "spf_guess", vtype_stringptr, &spf_guess },
651 { "spf_header_comment", vtype_stringptr, &spf_header_comment },
652 { "spf_received", vtype_stringptr, &spf_received },
653 { "spf_result", vtype_stringptr, &spf_result },
654 { "spf_smtp_comment", vtype_stringptr, &spf_smtp_comment },
656 { "spool_directory", vtype_stringptr, &spool_directory },
657 { "spool_inodes", vtype_pinodes, (void *)TRUE },
658 { "spool_space", vtype_pspace, (void *)TRUE },
659 #ifdef EXPERIMENTAL_SRS
660 { "srs_db_address", vtype_stringptr, &srs_db_address },
661 { "srs_db_key", vtype_stringptr, &srs_db_key },
662 { "srs_orig_recipient", vtype_stringptr, &srs_orig_recipient },
663 { "srs_orig_sender", vtype_stringptr, &srs_orig_sender },
664 { "srs_recipient", vtype_stringptr, &srs_recipient },
665 { "srs_status", vtype_stringptr, &srs_status },
667 { "thisaddress", vtype_stringptr, &filter_thisaddress },
669 /* The non-(in,out) variables are now deprecated */
670 { "tls_bits", vtype_int, &tls_in.bits },
671 { "tls_certificate_verified", vtype_int, &tls_in.certificate_verified },
672 { "tls_cipher", vtype_stringptr, &tls_in.cipher },
674 { "tls_in_bits", vtype_int, &tls_in.bits },
675 { "tls_in_certificate_verified", vtype_int, &tls_in.certificate_verified },
676 { "tls_in_cipher", vtype_stringptr, &tls_in.cipher },
677 { "tls_in_ocsp", vtype_int, &tls_in.ocsp },
678 { "tls_in_ourcert", vtype_cert, &tls_in.ourcert },
679 { "tls_in_peercert", vtype_cert, &tls_in.peercert },
680 { "tls_in_peerdn", vtype_stringptr, &tls_in.peerdn },
681 #if defined(SUPPORT_TLS)
682 { "tls_in_sni", vtype_stringptr, &tls_in.sni },
684 { "tls_out_bits", vtype_int, &tls_out.bits },
685 { "tls_out_certificate_verified", vtype_int,&tls_out.certificate_verified },
686 { "tls_out_cipher", vtype_stringptr, &tls_out.cipher },
687 { "tls_out_ocsp", vtype_int, &tls_out.ocsp },
688 { "tls_out_ourcert", vtype_cert, &tls_out.ourcert },
689 { "tls_out_peercert", vtype_cert, &tls_out.peercert },
690 { "tls_out_peerdn", vtype_stringptr, &tls_out.peerdn },
691 #if defined(SUPPORT_TLS)
692 { "tls_out_sni", vtype_stringptr, &tls_out.sni },
695 { "tls_peerdn", vtype_stringptr, &tls_in.peerdn }, /* mind the alphabetical order! */
696 #if defined(SUPPORT_TLS)
697 { "tls_sni", vtype_stringptr, &tls_in.sni }, /* mind the alphabetical order! */
700 { "tod_bsdinbox", vtype_todbsdin, NULL },
701 { "tod_epoch", vtype_tode, NULL },
702 { "tod_epoch_l", vtype_todel, NULL },
703 { "tod_full", vtype_todf, NULL },
704 { "tod_log", vtype_todl, NULL },
705 { "tod_logfile", vtype_todlf, NULL },
706 { "tod_zone", vtype_todzone, NULL },
707 { "tod_zulu", vtype_todzulu, NULL },
708 #ifdef EXPERIMENTAL_TPDA
709 { "tpda_defer_errno", vtype_int, &tpda_defer_errno },
710 { "tpda_defer_errstr", vtype_stringptr, &tpda_defer_errstr },
711 { "tpda_delivery_confirmation", vtype_stringptr, &tpda_delivery_confirmation },
712 { "tpda_delivery_domain", vtype_stringptr, &tpda_delivery_domain },
713 { "tpda_delivery_fqdn", vtype_stringptr, &tpda_delivery_fqdn },
714 { "tpda_delivery_ip", vtype_stringptr, &tpda_delivery_ip },
715 { "tpda_delivery_local_part",vtype_stringptr,&tpda_delivery_local_part },
716 { "tpda_delivery_port", vtype_int, &tpda_delivery_port },
718 { "transport_name", vtype_stringptr, &transport_name },
719 { "value", vtype_stringptr, &lookup_value },
720 { "version_number", vtype_stringptr, &version_string },
721 { "warn_message_delay", vtype_stringptr, &warnmsg_delay },
722 { "warn_message_recipient",vtype_stringptr, &warnmsg_recipients },
723 { "warn_message_recipients",vtype_stringptr,&warnmsg_recipients },
724 { "warnmsg_delay", vtype_stringptr, &warnmsg_delay },
725 { "warnmsg_recipient", vtype_stringptr, &warnmsg_recipients },
726 { "warnmsg_recipients", vtype_stringptr, &warnmsg_recipients }
729 static int var_table_size = sizeof(var_table)/sizeof(var_entry);
730 static uschar var_buffer[256];
731 static BOOL malformed_header;
733 /* For textual hashes */
735 static const char *hashcodes = "abcdefghijklmnopqrtsuvwxyz"
736 "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
739 enum { HMAC_MD5, HMAC_SHA1 };
741 /* For numeric hashes */
743 static unsigned int prime[] = {
744 2, 3, 5, 7, 11, 13, 17, 19, 23, 29,
745 31, 37, 41, 43, 47, 53, 59, 61, 67, 71,
746 73, 79, 83, 89, 97, 101, 103, 107, 109, 113};
748 /* For printing modes in symbolic form */
750 static uschar *mtable_normal[] =
751 { US"---", US"--x", US"-w-", US"-wx", US"r--", US"r-x", US"rw-", US"rwx" };
753 static uschar *mtable_setid[] =
754 { US"--S", US"--s", US"-wS", US"-ws", US"r-S", US"r-s", US"rwS", US"rws" };
756 static uschar *mtable_sticky[] =
757 { US"--T", US"--t", US"-wT", US"-wt", US"r-T", US"r-t", US"rwT", US"rwt" };
761 /*************************************************
762 * Tables for UTF-8 support *
763 *************************************************/
765 /* Table of the number of extra characters, indexed by the first character
766 masked with 0x3f. The highest number for a valid UTF-8 character is in fact
769 static uschar utf8_table1[] = {
770 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
771 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
772 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,
773 3,3,3,3,3,3,3,3,4,4,4,4,5,5,5,5 };
775 /* These are the masks for the data bits in the first byte of a character,
776 indexed by the number of additional bytes. */
778 static int utf8_table2[] = { 0xff, 0x1f, 0x0f, 0x07, 0x03, 0x01};
780 /* Get the next UTF-8 character, advancing the pointer. */
782 #define GETUTF8INC(c, ptr) \
784 if ((c & 0xc0) == 0xc0) \
786 int a = utf8_table1[c & 0x3f]; /* Number of additional bytes */ \
788 c = (c & utf8_table2[a]) << s; \
792 c |= (*ptr++ & 0x3f) << s; \
797 /*************************************************
798 * Binary chop search on a table *
799 *************************************************/
801 /* This is used for matching expansion items and operators.
804 name the name that is being sought
805 table the table to search
806 table_size the number of items in the table
808 Returns: the offset in the table, or -1
812 chop_match(uschar *name, uschar **table, int table_size)
814 uschar **bot = table;
815 uschar **top = table + table_size;
819 uschar **mid = bot + (top - bot)/2;
820 int c = Ustrcmp(name, *mid);
821 if (c == 0) return mid - table;
822 if (c > 0) bot = mid + 1; else top = mid;
830 /*************************************************
831 * Check a condition string *
832 *************************************************/
834 /* This function is called to expand a string, and test the result for a "true"
835 or "false" value. Failure of the expansion yields FALSE; logged unless it was a
836 forced fail or lookup defer.
838 We used to release all store used, but this is not not safe due
839 to ${dlfunc } and ${acl }. In any case expand_string_internal()
840 is reasonably careful to release what it can.
842 The actual false-value tests should be replicated for ECOND_BOOL_LAX.
845 condition the condition string
846 m1 text to be incorporated in panic error
849 Returns: TRUE if condition is met, FALSE if not
853 expand_check_condition(uschar *condition, uschar *m1, uschar *m2)
856 uschar *ss = expand_string(condition);
859 if (!expand_string_forcedfail && !search_find_defer)
860 log_write(0, LOG_MAIN|LOG_PANIC, "failed to expand condition \"%s\" "
861 "for %s %s: %s", condition, m1, m2, expand_string_message);
864 rc = ss[0] != 0 && Ustrcmp(ss, "0") != 0 && strcmpic(ss, US"no") != 0 &&
865 strcmpic(ss, US"false") != 0;
872 /*************************************************
873 * Pseudo-random number generation *
874 *************************************************/
876 /* Pseudo-random number generation. The result is not "expected" to be
877 cryptographically strong but not so weak that someone will shoot themselves
878 in the foot using it as a nonce in some email header scheme or whatever
879 weirdness they'll twist this into. The result should ideally handle fork().
881 However, if we're stuck unable to provide this, then we'll fall back to
882 appallingly bad randomness.
884 If SUPPORT_TLS is defined then this will not be used except as an emergency
889 Returns a random number in range [0, max-1]
893 # define vaguely_random_number vaguely_random_number_fallback
896 vaguely_random_number(int max)
899 # undef vaguely_random_number
901 static pid_t pid = 0;
903 #if defined(HAVE_SRANDOM) && !defined(HAVE_SRANDOMDEV)
913 #ifdef HAVE_ARC4RANDOM
914 /* cryptographically strong randomness, common on *BSD platforms, not
915 so much elsewhere. Alas. */
917 #elif defined(HAVE_SRANDOM) || defined(HAVE_SRANDOMDEV)
918 #ifdef HAVE_SRANDOMDEV
919 /* uses random(4) for seeding */
922 gettimeofday(&tv, NULL);
923 srandom(tv.tv_sec | tv.tv_usec | getpid());
926 /* Poor randomness and no seeding here */
933 #ifdef HAVE_ARC4RANDOM
934 return arc4random() % max;
935 #elif defined(HAVE_SRANDOM) || defined(HAVE_SRANDOMDEV)
936 return random() % max;
938 /* This one returns a 16-bit number, definitely not crypto-strong */
939 return random_number(max);
946 /*************************************************
947 * Pick out a name from a string *
948 *************************************************/
950 /* If the name is too long, it is silently truncated.
953 name points to a buffer into which to put the name
954 max is the length of the buffer
955 s points to the first alphabetic character of the name
956 extras chars other than alphanumerics to permit
958 Returns: pointer to the first character after the name
960 Note: The test for *s != 0 in the while loop is necessary because
961 Ustrchr() yields non-NULL if the character is zero (which is not something
965 read_name(uschar *name, int max, uschar *s, uschar *extras)
968 while (*s != 0 && (isalnum(*s) || Ustrchr(extras, *s) != NULL))
970 if (ptr < max-1) name[ptr++] = *s;
979 /*************************************************
980 * Pick out the rest of a header name *
981 *************************************************/
983 /* A variable name starting $header_ (or just $h_ for those who like
984 abbreviations) might not be the complete header name because headers can
985 contain any printing characters in their names, except ':'. This function is
986 called to read the rest of the name, chop h[eader]_ off the front, and put ':'
987 on the end, if the name was terminated by white space.
990 name points to a buffer in which the name read so far exists
991 max is the length of the buffer
992 s points to the first character after the name so far, i.e. the
993 first non-alphameric character after $header_xxxxx
995 Returns: a pointer to the first character after the header name
999 read_header_name(uschar *name, int max, uschar *s)
1001 int prelen = Ustrchr(name, '_') - name + 1;
1002 int ptr = Ustrlen(name) - prelen;
1003 if (ptr > 0) memmove(name, name+prelen, ptr);
1004 while (mac_isgraph(*s) && *s != ':')
1006 if (ptr < max-1) name[ptr++] = *s;
1017 /*************************************************
1018 * Pick out a number from a string *
1019 *************************************************/
1022 n points to an integer into which to put the number
1023 s points to the first digit of the number
1025 Returns: a pointer to the character after the last digit
1029 read_number(int *n, uschar *s)
1032 while (isdigit(*s)) *n = *n * 10 + (*s++ - '0');
1038 /*************************************************
1039 * Extract keyed subfield from a string *
1040 *************************************************/
1042 /* The yield is in dynamic store; NULL means that the key was not found.
1045 key points to the name of the key
1046 s points to the string from which to extract the subfield
1048 Returns: NULL if the subfield was not found, or
1049 a pointer to the subfield's data
1053 expand_getkeyed(uschar *key, uschar *s)
1055 int length = Ustrlen(key);
1056 while (isspace(*s)) s++;
1058 /* Loop to search for the key */
1066 while (*s != 0 && *s != '=' && !isspace(*s)) s++;
1067 dkeylength = s - dkey;
1068 while (isspace(*s)) s++;
1069 if (*s == '=') while (isspace((*(++s))));
1071 data = string_dequote(&s);
1072 if (length == dkeylength && strncmpic(key, dkey, length) == 0)
1075 while (isspace(*s)) s++;
1084 find_var_ent(uschar * name)
1087 int last = var_table_size;
1089 while (last > first)
1091 int middle = (first + last)/2;
1092 int c = Ustrcmp(name, var_table[middle].name);
1094 if (c > 0) { first = middle + 1; continue; }
1095 if (c < 0) { last = middle; continue; }
1096 return &var_table[middle];
1101 /*************************************************
1102 * Extract numbered subfield from string *
1103 *************************************************/
1105 /* Extracts a numbered field from a string that is divided by tokens - for
1106 example a line from /etc/passwd is divided by colon characters. First field is
1107 numbered one. Negative arguments count from the right. Zero returns the whole
1108 string. Returns NULL if there are insufficient tokens in the string
1111 Modifies final argument - this is a dynamically generated string, so that's OK.
1114 field number of field to be extracted,
1115 first field = 1, whole string = 0, last field = -1
1116 separators characters that are used to break string into tokens
1117 s points to the string from which to extract the subfield
1119 Returns: NULL if the field was not found,
1120 a pointer to the field's data inside s (modified to add 0)
1124 expand_gettokened (int field, uschar *separators, uschar *s)
1129 uschar *fieldtext = NULL;
1131 if (field == 0) return s;
1133 /* Break the line up into fields in place; for field > 0 we stop when we have
1134 done the number of fields we want. For field < 0 we continue till the end of
1135 the string, counting the number of fields. */
1137 count = (field > 0)? field : INT_MAX;
1143 /* Previous field was the last one in the string. For a positive field
1144 number, this means there are not enough fields. For a negative field number,
1145 check that there are enough, and scan back to find the one that is wanted. */
1149 if (field > 0 || (-field) > (INT_MAX - count - 1)) return NULL;
1150 if ((-field) == (INT_MAX - count - 1)) return s;
1154 while (ss[-1] != 0) ss--;
1160 /* Previous field was not last in the string; save its start and put a
1164 len = Ustrcspn(ss, separators);
1175 expand_getlistele(int field, uschar * list)
1177 uschar * tlist= list;
1183 for(field++; string_nextinlist(&tlist, &sep, &dummy, 1); ) field++;
1186 if(field==0) return NULL;
1187 while(--field>0 && (string_nextinlist(&list, &sep, &dummy, 1))) ;
1188 return string_nextinlist(&list, &sep, NULL, 0);
1192 /* Certificate fields, by name. Worry about by-OID later */
1193 /* Names are chosen to not have common prefixes */
1200 uschar * (*getfn)(void * cert, uschar * mod);
1202 static certfield certfields[] =
1203 { /* linear search; no special order */
1204 { US"version", 7, &tls_cert_version },
1205 { US"serial_number", 13, &tls_cert_serial_number },
1206 { US"subject", 7, &tls_cert_subject },
1207 { US"notbefore", 9, &tls_cert_not_before },
1208 { US"notafter", 8, &tls_cert_not_after },
1209 { US"issuer", 6, &tls_cert_issuer },
1210 { US"signature", 9, &tls_cert_signature },
1211 { US"sig_algorithm", 13, &tls_cert_signature_algorithm },
1212 { US"subj_altname", 12, &tls_cert_subject_altname },
1213 { US"ocsp_uri", 8, &tls_cert_ocsp_uri },
1214 { US"crl_uri", 7, &tls_cert_crl_uri },
1218 expand_getcertele(uschar * field, uschar * certvar)
1223 if (!(vp = find_var_ent(certvar)))
1225 expand_string_message =
1226 string_sprintf("no variable named \"%s\"", certvar);
1227 return NULL; /* Unknown variable name */
1229 /* NB this stops us passing certs around in variable. Might
1230 want to do that in future */
1231 if (vp->type != vtype_cert)
1233 expand_string_message =
1234 string_sprintf("\"%s\" is not a certificate", certvar);
1235 return NULL; /* Unknown variable name */
1237 if (!*(void **)vp->value)
1240 if (*field >= '0' && *field <= '9')
1241 return tls_cert_ext_by_oid(*(void **)vp->value, field, 0);
1243 for(cp = certfields;
1244 cp < certfields + nelements(certfields);
1246 if (Ustrncmp(cp->name, field, cp->namelen) == 0)
1248 uschar * modifier = *(field += cp->namelen) == ','
1250 return (*cp->getfn)( *(void **)vp->value, modifier );
1253 expand_string_message =
1254 string_sprintf("bad field selector \"%s\" for certextract", field);
1257 #endif /*SUPPORT_TLS*/
1259 /*************************************************
1260 * Extract a substring from a string *
1261 *************************************************/
1263 /* Perform the ${substr or ${length expansion operations.
1266 subject the input string
1267 value1 the offset from the start of the input string to the start of
1268 the output string; if negative, count from the right.
1269 value2 the length of the output string, or negative (-1) for unset
1270 if value1 is positive, unset means "all after"
1271 if value1 is negative, unset means "all before"
1272 len set to the length of the returned string
1274 Returns: pointer to the output string, or NULL if there is an error
1278 extract_substr(uschar *subject, int value1, int value2, int *len)
1280 int sublen = Ustrlen(subject);
1282 if (value1 < 0) /* count from right */
1286 /* If the position is before the start, skip to the start, and adjust the
1287 length. If the length ends up negative, the substring is null because nothing
1288 can precede. This falls out naturally when the length is unset, meaning "all
1294 if (value2 < 0) value2 = 0;
1298 /* Otherwise an unset length => characters before value1 */
1300 else if (value2 < 0)
1307 /* For a non-negative offset, if the starting position is past the end of the
1308 string, the result will be the null string. Otherwise, an unset length means
1309 "rest"; just set it to the maximum - it will be cut down below if necessary. */
1313 if (value1 > sublen)
1318 else if (value2 < 0) value2 = sublen;
1321 /* Cut the length down to the maximum possible for the offset value, and get
1322 the required characters. */
1324 if (value1 + value2 > sublen) value2 = sublen - value1;
1326 return subject + value1;
1332 /*************************************************
1333 * Old-style hash of a string *
1334 *************************************************/
1336 /* Perform the ${hash expansion operation.
1339 subject the input string (an expanded substring)
1340 value1 the length of the output string; if greater or equal to the
1341 length of the input string, the input string is returned
1342 value2 the number of hash characters to use, or 26 if negative
1343 len set to the length of the returned string
1345 Returns: pointer to the output string, or NULL if there is an error
1349 compute_hash(uschar *subject, int value1, int value2, int *len)
1351 int sublen = Ustrlen(subject);
1353 if (value2 < 0) value2 = 26;
1354 else if (value2 > Ustrlen(hashcodes))
1356 expand_string_message =
1357 string_sprintf("hash count \"%d\" too big", value2);
1361 /* Calculate the hash text. We know it is shorter than the original string, so
1362 can safely place it in subject[] (we know that subject is always itself an
1363 expanded substring). */
1365 if (value1 < sublen)
1370 while ((c = (subject[j])) != 0)
1372 int shift = (c + j++) & 7;
1373 subject[i] ^= (c << shift) | (c >> (8-shift));
1374 if (++i >= value1) i = 0;
1376 for (i = 0; i < value1; i++)
1377 subject[i] = hashcodes[(subject[i]) % value2];
1379 else value1 = sublen;
1388 /*************************************************
1389 * Numeric hash of a string *
1390 *************************************************/
1392 /* Perform the ${nhash expansion operation. The first characters of the
1393 string are treated as most important, and get the highest prime numbers.
1396 subject the input string
1397 value1 the maximum value of the first part of the result
1398 value2 the maximum value of the second part of the result,
1399 or negative to produce only a one-part result
1400 len set to the length of the returned string
1402 Returns: pointer to the output string, or NULL if there is an error.
1406 compute_nhash (uschar *subject, int value1, int value2, int *len)
1408 uschar *s = subject;
1410 unsigned long int total = 0; /* no overflow */
1414 if (i == 0) i = sizeof(prime)/sizeof(int) - 1;
1415 total += prime[i--] * (unsigned int)(*s++);
1418 /* If value2 is unset, just compute one number */
1422 s = string_sprintf("%d", total % value1);
1425 /* Otherwise do a div/mod hash */
1429 total = total % (value1 * value2);
1430 s = string_sprintf("%d/%d", total/value2, total % value2);
1441 /*************************************************
1442 * Find the value of a header or headers *
1443 *************************************************/
1445 /* Multiple instances of the same header get concatenated, and this function
1446 can also return a concatenation of all the header lines. When concatenating
1447 specific headers that contain lists of addresses, a comma is inserted between
1448 them. Otherwise we use a straight concatenation. Because some messages can have
1449 pathologically large number of lines, there is a limit on the length that is
1450 returned. Also, to avoid massive store use which would result from using
1451 string_cat() as it copies and extends strings, we do a preliminary pass to find
1452 out exactly how much store will be needed. On "normal" messages this will be
1456 name the name of the header, without the leading $header_ or $h_,
1457 or NULL if a concatenation of all headers is required
1458 exists_only TRUE if called from a def: test; don't need to build a string;
1459 just return a string that is not "" and not "0" if the header
1461 newsize return the size of memory block that was obtained; may be NULL
1462 if exists_only is TRUE
1463 want_raw TRUE if called for $rh_ or $rheader_ variables; no processing,
1464 other than concatenating, will be done on the header. Also used
1465 for $message_headers_raw.
1466 charset name of charset to translate MIME words to; used only if
1467 want_raw is false; if NULL, no translation is done (this is
1468 used for $bh_ and $bheader_)
1470 Returns: NULL if the header does not exist, else a pointer to a new
1475 find_header(uschar *name, BOOL exists_only, int *newsize, BOOL want_raw,
1478 BOOL found = name == NULL;
1480 int len = found? 0 : Ustrlen(name);
1482 uschar *yield = NULL;
1485 /* Loop for two passes - saves code repetition */
1487 for (i = 0; i < 2; i++)
1492 for (h = header_list; size < header_insert_maxlen && h != NULL; h = h->next)
1494 if (h->type != htype_old && h->text != NULL) /* NULL => Received: placeholder */
1496 if (name == NULL || (len <= h->slen && strncmpic(name, h->text, len) == 0))
1501 if (exists_only) return US"1"; /* don't need actual string */
1503 t = h->text + len; /* text to insert */
1504 if (!want_raw) /* unless wanted raw, */
1505 while (isspace(*t)) t++; /* remove leading white space */
1506 ilen = h->slen - (t - h->text); /* length to insert */
1508 /* Unless wanted raw, remove trailing whitespace, including the
1512 while (ilen > 0 && isspace(t[ilen-1])) ilen--;
1514 /* Set comma = 1 if handling a single header and it's one of those
1515 that contains an address list, except when asked for raw headers. Only
1516 need to do this once. */
1518 if (!want_raw && name != NULL && comma == 0 &&
1519 Ustrchr("BCFRST", h->type) != NULL)
1522 /* First pass - compute total store needed; second pass - compute
1523 total store used, including this header. */
1525 size += ilen + comma + 1; /* +1 for the newline */
1527 /* Second pass - concatentate the data, up to a maximum. Note that
1528 the loop stops when size hits the limit. */
1532 if (size > header_insert_maxlen)
1534 ilen -= size - header_insert_maxlen - 1;
1537 Ustrncpy(ptr, t, ilen);
1540 /* For a non-raw header, put in the comma if needed, then add
1541 back the newline we removed above, provided there was some text in
1544 if (!want_raw && ilen > 0)
1546 if (comma != 0) *ptr++ = ',';
1554 /* At end of first pass, return NULL if no header found. Then truncate size
1555 if necessary, and get the buffer to hold the data, returning the buffer size.
1560 if (!found) return NULL;
1561 if (size > header_insert_maxlen) size = header_insert_maxlen;
1562 *newsize = size + 1;
1563 ptr = yield = store_get(*newsize);
1567 /* That's all we do for raw header expansion. */
1574 /* Otherwise, remove a final newline and a redundant added comma. Then we do
1575 RFC 2047 decoding, translating the charset if requested. The rfc2047_decode2()
1576 function can return an error with decoded data if the charset translation
1577 fails. If decoding fails, it returns NULL. */
1581 uschar *decoded, *error;
1582 if (ptr > yield && ptr[-1] == '\n') ptr--;
1583 if (ptr > yield && comma != 0 && ptr[-1] == ',') ptr--;
1585 decoded = rfc2047_decode2(yield, check_rfc2047_length, charset, '?', NULL,
1589 DEBUG(D_any) debug_printf("*** error in RFC 2047 decoding: %s\n"
1590 " input was: %s\n", error, yield);
1592 if (decoded != NULL) yield = decoded;
1601 /*************************************************
1602 * Return list of recipients *
1603 *************************************************/
1604 /* A recipients list is available only during system message filtering,
1605 during ACL processing after DATA, and while expanding pipe commands
1606 generated from a system filter, but not elsewhere. */
1611 if (!enable_dollar_recipients) return NULL; else
1616 uschar * s = store_get(size);
1617 for (i = 0; i < recipients_count; i++)
1619 if (i != 0) s = string_cat(s, &size, &ptr, US", ", 2);
1620 s = string_cat(s, &size, &ptr, recipients_list[i].address,
1621 Ustrlen(recipients_list[i].address));
1623 s[ptr] = 0; /* string_cat() leaves room */
1629 /*************************************************
1630 * Find value of a variable *
1631 *************************************************/
1633 /* The table of variables is kept in alphabetic order, so we can search it
1634 using a binary chop. The "choplen" variable is nothing to do with the binary
1638 name the name of the variable being sought
1639 exists_only TRUE if this is a def: test; passed on to find_header()
1640 skipping TRUE => skip any processing evaluation; this is not the same as
1641 exists_only because def: may test for values that are first
1643 newsize pointer to an int which is initially zero; if the answer is in
1644 a new memory buffer, *newsize is set to its size
1646 Returns: NULL if the variable does not exist, or
1647 a pointer to the variable's contents, or
1648 something non-NULL if exists_only is TRUE
1652 find_variable(uschar *name, BOOL exists_only, BOOL skipping, int *newsize)
1659 /* Handle ACL variables, whose names are of the form acl_cxxx or acl_mxxx.
1660 Originally, xxx had to be a number in the range 0-9 (later 0-19), but from
1661 release 4.64 onwards arbitrary names are permitted, as long as the first 5
1662 characters are acl_c or acl_m and the sixth is either a digit or an underscore
1663 (this gave backwards compatibility at the changeover). There may be built-in
1664 variables whose names start acl_ but they should never start in this way. This
1665 slightly messy specification is a consequence of the history, needless to say.
1667 If an ACL variable does not exist, treat it as empty, unless strict_acl_vars is
1668 set, in which case give an error. */
1670 if ((Ustrncmp(name, "acl_c", 5) == 0 || Ustrncmp(name, "acl_m", 5) == 0) &&
1674 tree_search((name[4] == 'c')? acl_var_c : acl_var_m, name + 4);
1675 return (node == NULL)? (strict_acl_vars? NULL : US"") : node->data.ptr;
1678 /* Handle $auth<n> variables. */
1680 if (Ustrncmp(name, "auth", 4) == 0)
1683 int n = Ustrtoul(name + 4, &endptr, 10);
1684 if (*endptr == 0 && n != 0 && n <= AUTH_VARS)
1685 return (auth_vars[n-1] == NULL)? US"" : auth_vars[n-1];
1688 /* For all other variables, search the table */
1690 if (!(vp = find_var_ent(name)))
1691 return NULL; /* Unknown variable name */
1693 /* Found an existing variable. If in skipping state, the value isn't needed,
1694 and we want to avoid processing (such as looking up the host name). */
1702 case vtype_filter_int:
1703 if (!filter_running) return NULL;
1707 sprintf(CS var_buffer, "%d", *(int *)(val)); /* Integer */
1711 sprintf(CS var_buffer, "%ld", (long int)(*(ino_t *)(val))); /* Inode */
1715 sprintf(CS var_buffer, "%ld", (long int)(*(gid_t *)(val))); /* gid */
1719 sprintf(CS var_buffer, "%ld", (long int)(*(uid_t *)(val))); /* uid */
1723 sprintf(CS var_buffer, "%s", *(BOOL *)(val) ? "yes" : "no"); /* bool */
1726 case vtype_stringptr: /* Pointer to string */
1727 s = *((uschar **)(val));
1728 return (s == NULL)? US"" : s;
1731 sprintf(CS var_buffer, "%d", (int)getpid()); /* pid */
1734 case vtype_load_avg:
1735 sprintf(CS var_buffer, "%d", OS_GETLOADAVG()); /* load_average */
1738 case vtype_host_lookup: /* Lookup if not done so */
1739 if (sender_host_name == NULL && sender_host_address != NULL &&
1740 !host_lookup_failed && host_name_lookup() == OK)
1741 host_build_sender_fullhost();
1742 return (sender_host_name == NULL)? US"" : sender_host_name;
1744 case vtype_localpart: /* Get local part from address */
1745 s = *((uschar **)(val));
1746 if (s == NULL) return US"";
1747 domain = Ustrrchr(s, '@');
1748 if (domain == NULL) return s;
1749 if (domain - s > sizeof(var_buffer) - 1)
1750 log_write(0, LOG_MAIN|LOG_PANIC_DIE, "local part longer than " SIZE_T_FMT
1751 " in string expansion", sizeof(var_buffer));
1752 Ustrncpy(var_buffer, s, domain - s);
1753 var_buffer[domain - s] = 0;
1756 case vtype_domain: /* Get domain from address */
1757 s = *((uschar **)(val));
1758 if (s == NULL) return US"";
1759 domain = Ustrrchr(s, '@');
1760 return (domain == NULL)? US"" : domain + 1;
1762 case vtype_msgheaders:
1763 return find_header(NULL, exists_only, newsize, FALSE, NULL);
1765 case vtype_msgheaders_raw:
1766 return find_header(NULL, exists_only, newsize, TRUE, NULL);
1768 case vtype_msgbody: /* Pointer to msgbody string */
1769 case vtype_msgbody_end: /* Ditto, the end of the msg */
1770 ss = (uschar **)(val);
1771 if (*ss == NULL && deliver_datafile >= 0) /* Read body when needed */
1774 off_t start_offset = SPOOL_DATA_START_OFFSET;
1775 int len = message_body_visible;
1776 if (len > message_size) len = message_size;
1777 *ss = body = store_malloc(len+1);
1779 if (vp->type == vtype_msgbody_end)
1781 struct stat statbuf;
1782 if (fstat(deliver_datafile, &statbuf) == 0)
1784 start_offset = statbuf.st_size - len;
1785 if (start_offset < SPOOL_DATA_START_OFFSET)
1786 start_offset = SPOOL_DATA_START_OFFSET;
1789 lseek(deliver_datafile, start_offset, SEEK_SET);
1790 len = read(deliver_datafile, body, len);
1794 if (message_body_newlines) /* Separate loops for efficiency */
1797 { if (body[--len] == 0) body[len] = ' '; }
1802 { if (body[--len] == '\n' || body[len] == 0) body[len] = ' '; }
1806 return (*ss == NULL)? US"" : *ss;
1808 case vtype_todbsdin: /* BSD inbox time of day */
1809 return tod_stamp(tod_bsdin);
1811 case vtype_tode: /* Unix epoch time of day */
1812 return tod_stamp(tod_epoch);
1814 case vtype_todel: /* Unix epoch/usec time of day */
1815 return tod_stamp(tod_epoch_l);
1817 case vtype_todf: /* Full time of day */
1818 return tod_stamp(tod_full);
1820 case vtype_todl: /* Log format time of day */
1821 return tod_stamp(tod_log_bare); /* (without timezone) */
1823 case vtype_todzone: /* Time zone offset only */
1824 return tod_stamp(tod_zone);
1826 case vtype_todzulu: /* Zulu time */
1827 return tod_stamp(tod_zulu);
1829 case vtype_todlf: /* Log file datestamp tod */
1830 return tod_stamp(tod_log_datestamp_daily);
1832 case vtype_reply: /* Get reply address */
1833 s = find_header(US"reply-to:", exists_only, newsize, TRUE,
1835 if (s != NULL) while (isspace(*s)) s++;
1836 if (s == NULL || *s == 0)
1838 *newsize = 0; /* For the *s==0 case */
1839 s = find_header(US"from:", exists_only, newsize, TRUE, headers_charset);
1844 while (isspace(*s)) s++;
1845 for (t = s; *t != 0; t++) if (*t == '\n') *t = ' ';
1846 while (t > s && isspace(t[-1])) t--;
1849 return (s == NULL)? US"" : s;
1851 case vtype_string_func:
1853 uschar * (*fn)() = val;
1860 sprintf(CS var_buffer, "%d",
1861 receive_statvfs(val == (void *)TRUE, &inodes));
1868 (void) receive_statvfs(val == (void *)TRUE, &inodes);
1869 sprintf(CS var_buffer, "%d", inodes);
1874 return *(void **)val ? US"<cert>" : US"";
1876 #ifndef DISABLE_DKIM
1878 return dkim_exim_expand_query((int)(long)val);
1882 return NULL; /* Fix broken static checkers, already done in if() above */
1889 modify_variable(uschar *name, void * value)
1892 if ((vp = find_var_ent(name))) vp->value = value;
1893 return; /* Unknown variable name, fail silently */
1900 /*************************************************
1901 * Read and expand substrings *
1902 *************************************************/
1904 /* This function is called to read and expand argument substrings for various
1905 expansion items. Some have a minimum requirement that is less than the maximum;
1906 in these cases, the first non-present one is set to NULL.
1909 sub points to vector of pointers to set
1910 n maximum number of substrings
1912 sptr points to current string pointer
1913 skipping the skipping flag
1914 check_end if TRUE, check for final '}'
1915 name name of item, for error message
1916 resetok if not NULL, pointer to flag - write FALSE if unsafe to reset
1919 Returns: 0 OK; string pointer updated
1920 1 curly bracketing error (too few arguments)
1921 2 too many arguments (only if check_end is set); message set
1922 3 other error (expansion failure)
1926 read_subs(uschar **sub, int n, int m, uschar **sptr, BOOL skipping,
1927 BOOL check_end, uschar *name, BOOL *resetok)
1932 while (isspace(*s)) s++;
1933 for (i = 0; i < n; i++)
1937 if (i < m) return 1;
1941 sub[i] = expand_string_internal(s+1, TRUE, &s, skipping, TRUE, resetok);
1942 if (sub[i] == NULL) return 3;
1943 if (*s++ != '}') return 1;
1944 while (isspace(*s)) s++;
1946 if (check_end && *s++ != '}')
1950 expand_string_message = string_sprintf("Too many arguments for \"%s\" "
1951 "(max is %d)", name, n);
1964 /*************************************************
1965 * Elaborate message for bad variable *
1966 *************************************************/
1968 /* For the "unknown variable" message, take a look at the variable's name, and
1969 give additional information about possible ACL variables. The extra information
1970 is added on to expand_string_message.
1972 Argument: the name of the variable
1977 check_variable_error_message(uschar *name)
1979 if (Ustrncmp(name, "acl_", 4) == 0)
1980 expand_string_message = string_sprintf("%s (%s)", expand_string_message,
1981 (name[4] == 'c' || name[4] == 'm')?
1983 US"6th character of a user-defined ACL variable must be a digit or underscore" :
1984 US"strict_acl_vars is set" /* Syntax is OK, it has to be this */
1986 US"user-defined ACL variables must start acl_c or acl_m");
1992 Load args from sub array to globals, and call acl_check().
1993 Sub array will be corrupted on return.
1995 Returns: OK access is granted by an ACCEPT verb
1996 DISCARD access is granted by a DISCARD verb
1997 FAIL access is denied
1998 FAIL_DROP access is denied; drop the connection
1999 DEFER can't tell at the moment
2003 eval_acl(uschar ** sub, int nsub, uschar ** user_msgp)
2007 int sav_narg = acl_narg;
2009 extern int acl_where;
2011 if(--nsub > sizeof(acl_arg)/sizeof(*acl_arg)) nsub = sizeof(acl_arg)/sizeof(*acl_arg);
2012 for (i = 0; i < nsub && sub[i+1]; i++)
2015 acl_arg[i] = sub[i+1]; /* place callers args in the globals */
2016 sub[i+1] = tmp; /* stash the old args using our caller's storage */
2021 sub[i+1] = acl_arg[i];
2022 acl_arg[i++] = NULL;
2026 debug_printf("expanding: acl: %s arg: %s%s\n",
2028 acl_narg>0 ? acl_arg[0] : US"<none>",
2029 acl_narg>1 ? " +more" : "");
2031 ret = acl_eval(acl_where, sub[0], user_msgp, &tmp);
2033 for (i = 0; i < nsub; i++)
2034 acl_arg[i] = sub[i+1]; /* restore old args */
2035 acl_narg = sav_narg;
2043 /*************************************************
2044 * Read and evaluate a condition *
2045 *************************************************/
2049 s points to the start of the condition text
2050 resetok points to a BOOL which is written false if it is unsafe to
2051 free memory. Certain condition types (acl) may have side-effect
2052 allocation which must be preserved.
2053 yield points to a BOOL to hold the result of the condition test;
2054 if NULL, we are just reading through a condition that is
2055 part of an "or" combination to check syntax, or in a state
2056 where the answer isn't required
2058 Returns: a pointer to the first character after the condition, or
2063 eval_condition(uschar *s, BOOL *resetok, BOOL *yield)
2065 BOOL testfor = TRUE;
2066 BOOL tempcond, combined_cond;
2068 BOOL sub2_honour_dollar = TRUE;
2069 int i, rc, cond_type, roffset;
2070 int_eximarith_t num[2];
2071 struct stat statbuf;
2076 const uschar *rerror;
2080 while (isspace(*s)) s++;
2081 if (*s == '!') { testfor = !testfor; s++; } else break;
2084 /* Numeric comparisons are symbolic */
2086 if (*s == '=' || *s == '>' || *s == '<')
2098 /* All other conditions are named */
2100 else s = read_name(name, 256, s, US"_");
2102 /* If we haven't read a name, it means some non-alpha character is first. */
2106 expand_string_message = string_sprintf("condition name expected, "
2107 "but found \"%.16s\"", s);
2111 /* Find which condition we are dealing with, and switch on it */
2113 cond_type = chop_match(name, cond_table, sizeof(cond_table)/sizeof(uschar *));
2116 /* def: tests for a non-empty variable, or for the existence of a header. If
2117 yield == NULL we are in a skipping state, and don't care about the answer. */
2122 expand_string_message = US"\":\" expected after \"def\"";
2126 s = read_name(name, 256, s+1, US"_");
2128 /* Test for a header's existence. If the name contains a closing brace
2129 character, this may be a user error where the terminating colon has been
2130 omitted. Set a flag to adjust a subsequent error message in this case. */
2132 if (Ustrncmp(name, "h_", 2) == 0 ||
2133 Ustrncmp(name, "rh_", 3) == 0 ||
2134 Ustrncmp(name, "bh_", 3) == 0 ||
2135 Ustrncmp(name, "header_", 7) == 0 ||
2136 Ustrncmp(name, "rheader_", 8) == 0 ||
2137 Ustrncmp(name, "bheader_", 8) == 0)
2139 s = read_header_name(name, 256, s);
2140 /* {-for-text-editors */
2141 if (Ustrchr(name, '}') != NULL) malformed_header = TRUE;
2142 if (yield != NULL) *yield =
2143 (find_header(name, TRUE, NULL, FALSE, NULL) != NULL) == testfor;
2146 /* Test for a variable's having a non-empty value. A non-existent variable
2147 causes an expansion failure. */
2151 uschar *value = find_variable(name, TRUE, yield == NULL, NULL);
2154 expand_string_message = (name[0] == 0)?
2155 string_sprintf("variable name omitted after \"def:\"") :
2156 string_sprintf("unknown variable \"%s\" after \"def:\"", name);
2157 check_variable_error_message(name);
2160 if (yield != NULL) *yield = (value[0] != 0) == testfor;
2166 /* first_delivery tests for first delivery attempt */
2168 case ECOND_FIRST_DELIVERY:
2169 if (yield != NULL) *yield = deliver_firsttime == testfor;
2173 /* queue_running tests for any process started by a queue runner */
2175 case ECOND_QUEUE_RUNNING:
2176 if (yield != NULL) *yield = (queue_run_pid != (pid_t)0) == testfor;
2180 /* exists: tests for file existence
2181 isip: tests for any IP address
2182 isip4: tests for an IPv4 address
2183 isip6: tests for an IPv6 address
2184 pam: does PAM authentication
2185 radius: does RADIUS authentication
2186 ldapauth: does LDAP authentication
2187 pwcheck: does Cyrus SASL pwcheck authentication
2196 case ECOND_LDAPAUTH:
2199 while (isspace(*s)) s++;
2200 if (*s != '{') goto COND_FAILED_CURLY_START; /* }-for-text-editors */
2202 sub[0] = expand_string_internal(s+1, TRUE, &s, yield == NULL, TRUE, resetok);
2203 if (sub[0] == NULL) return NULL;
2204 /* {-for-text-editors */
2205 if (*s++ != '}') goto COND_FAILED_CURLY_END;
2207 if (yield == NULL) return s; /* No need to run the test if skipping */
2212 if ((expand_forbid & RDO_EXISTS) != 0)
2214 expand_string_message = US"File existence tests are not permitted";
2217 *yield = (Ustat(sub[0], &statbuf) == 0) == testfor;
2223 rc = string_is_ip_address(sub[0], NULL);
2224 *yield = ((cond_type == ECOND_ISIP)? (rc != 0) :
2225 (cond_type == ECOND_ISIP4)? (rc == 4) : (rc == 6)) == testfor;
2228 /* Various authentication tests - all optionally compiled */
2232 rc = auth_call_pam(sub[0], &expand_string_message);
2235 goto COND_FAILED_NOT_COMPILED;
2236 #endif /* SUPPORT_PAM */
2239 #ifdef RADIUS_CONFIG_FILE
2240 rc = auth_call_radius(sub[0], &expand_string_message);
2243 goto COND_FAILED_NOT_COMPILED;
2244 #endif /* RADIUS_CONFIG_FILE */
2246 case ECOND_LDAPAUTH:
2249 /* Just to keep the interface the same */
2251 int old_pool = store_pool;
2252 store_pool = POOL_SEARCH;
2253 rc = eldapauth_find((void *)(-1), NULL, sub[0], Ustrlen(sub[0]), NULL,
2254 &expand_string_message, &do_cache);
2255 store_pool = old_pool;
2259 goto COND_FAILED_NOT_COMPILED;
2260 #endif /* LOOKUP_LDAP */
2263 #ifdef CYRUS_PWCHECK_SOCKET
2264 rc = auth_call_pwcheck(sub[0], &expand_string_message);
2267 goto COND_FAILED_NOT_COMPILED;
2268 #endif /* CYRUS_PWCHECK_SOCKET */
2270 #if defined(SUPPORT_PAM) || defined(RADIUS_CONFIG_FILE) || \
2271 defined(LOOKUP_LDAP) || defined(CYRUS_PWCHECK_SOCKET)
2273 if (rc == ERROR || rc == DEFER) return NULL;
2274 *yield = (rc == OK) == testfor;
2280 /* call ACL (in a conditional context). Accept true, deny false.
2281 Defer is a forced-fail. Anything set by message= goes to $value.
2282 Up to ten parameters are used; we use the braces round the name+args
2283 like the saslauthd condition does, to permit a variable number of args.
2284 See also the expansion-item version EITEM_ACL and the traditional
2285 acl modifier ACLC_ACL.
2286 Since the ACL may allocate new global variables, tell our caller to not
2291 /* ${if acl {{name}{arg1}{arg2}...} {yes}{no}} */
2298 while (isspace(*s)) s++;
2299 if (*s++ != '{') goto COND_FAILED_CURLY_START; /*}*/
2301 switch(read_subs(sub, sizeof(sub)/sizeof(*sub), 1,
2302 &s, yield == NULL, TRUE, US"acl", resetok))
2304 case 1: expand_string_message = US"too few arguments or bracketing "
2307 case 3: return NULL;
2311 if (yield != NULL) switch(eval_acl(sub, sizeof(sub)/sizeof(*sub), &user_msg))
2316 lookup_value = NULL;
2319 lookup_value = string_cat(NULL, &size, &ptr, user_msg, Ustrlen(user_msg));
2320 lookup_value[ptr] = '\0';
2322 *yield = cond == testfor;
2326 expand_string_forcedfail = TRUE;
2328 expand_string_message = string_sprintf("error from acl \"%s\"", sub[0]);
2335 /* saslauthd: does Cyrus saslauthd authentication. Four parameters are used:
2337 ${if saslauthd {{username}{password}{service}{realm}} {yes}{no}}
2339 However, the last two are optional. That is why the whole set is enclosed
2340 in their own set of braces. */
2342 case ECOND_SASLAUTHD:
2343 #ifndef CYRUS_SASLAUTHD_SOCKET
2344 goto COND_FAILED_NOT_COMPILED;
2346 while (isspace(*s)) s++;
2347 if (*s++ != '{') goto COND_FAILED_CURLY_START; /* }-for-text-editors */
2348 switch(read_subs(sub, 4, 2, &s, yield == NULL, TRUE, US"saslauthd", resetok))
2350 case 1: expand_string_message = US"too few arguments or bracketing "
2351 "error for saslauthd";
2353 case 3: return NULL;
2355 if (sub[2] == NULL) sub[3] = NULL; /* realm if no service */
2359 rc = auth_call_saslauthd(sub[0], sub[1], sub[2], sub[3],
2360 &expand_string_message);
2361 if (rc == ERROR || rc == DEFER) return NULL;
2362 *yield = (rc == OK) == testfor;
2365 #endif /* CYRUS_SASLAUTHD_SOCKET */
2368 /* symbolic operators for numeric and string comparison, and a number of
2369 other operators, all requiring two arguments.
2371 crypteq: encrypts plaintext and compares against an encrypted text,
2372 using crypt(), crypt16(), MD5 or SHA-1
2373 inlist/inlisti: checks if first argument is in the list of the second
2374 match: does a regular expression match and sets up the numerical
2375 variables if it succeeds
2376 match_address: matches in an address list
2377 match_domain: matches in a domain list
2378 match_ip: matches a host list that is restricted to IP addresses
2379 match_local_part: matches in a local part list
2382 case ECOND_MATCH_ADDRESS:
2383 case ECOND_MATCH_DOMAIN:
2384 case ECOND_MATCH_IP:
2385 case ECOND_MATCH_LOCAL_PART:
2386 #ifndef EXPAND_LISTMATCH_RHS
2387 sub2_honour_dollar = FALSE;
2396 case ECOND_NUM_L: /* Numerical comparisons */
2403 case ECOND_STR_LT: /* String comparisons */
2414 for (i = 0; i < 2; i++)
2416 /* Sometimes, we don't expand substrings; too many insecure configurations
2417 created using match_address{}{} and friends, where the second param
2418 includes information from untrustworthy sources. */
2419 BOOL honour_dollar = TRUE;
2420 if ((i > 0) && !sub2_honour_dollar)
2421 honour_dollar = FALSE;
2423 while (isspace(*s)) s++;
2426 if (i == 0) goto COND_FAILED_CURLY_START;
2427 expand_string_message = string_sprintf("missing 2nd string in {} "
2428 "after \"%s\"", name);
2431 sub[i] = expand_string_internal(s+1, TRUE, &s, yield == NULL,
2432 honour_dollar, resetok);
2433 if (sub[i] == NULL) return NULL;
2434 if (*s++ != '}') goto COND_FAILED_CURLY_END;
2436 /* Convert to numerical if required; we know that the names of all the
2437 conditions that compare numbers do not start with a letter. This just saves
2438 checking for them individually. */
2440 if (!isalpha(name[0]) && yield != NULL)
2446 debug_printf("empty string cast to zero for numerical comparison\n");
2450 num[i] = expanded_string_integer(sub[i], FALSE);
2451 if (expand_string_message != NULL) return NULL;
2456 /* Result not required */
2458 if (yield == NULL) return s;
2460 /* Do an appropriate comparison */
2466 tempcond = (num[0] == num[1]);
2470 tempcond = (num[0] > num[1]);
2474 tempcond = (num[0] >= num[1]);
2478 tempcond = (num[0] < num[1]);
2482 tempcond = (num[0] <= num[1]);
2486 tempcond = (Ustrcmp(sub[0], sub[1]) < 0);
2490 tempcond = (strcmpic(sub[0], sub[1]) < 0);
2494 tempcond = (Ustrcmp(sub[0], sub[1]) <= 0);
2498 tempcond = (strcmpic(sub[0], sub[1]) <= 0);
2502 tempcond = (Ustrcmp(sub[0], sub[1]) == 0);
2506 tempcond = (strcmpic(sub[0], sub[1]) == 0);
2510 tempcond = (Ustrcmp(sub[0], sub[1]) > 0);
2514 tempcond = (strcmpic(sub[0], sub[1]) > 0);
2518 tempcond = (Ustrcmp(sub[0], sub[1]) >= 0);
2522 tempcond = (strcmpic(sub[0], sub[1]) >= 0);
2525 case ECOND_MATCH: /* Regular expression match */
2526 re = pcre_compile(CS sub[1], PCRE_COPT, (const char **)&rerror, &roffset,
2530 expand_string_message = string_sprintf("regular expression error in "
2531 "\"%s\": %s at offset %d", sub[1], rerror, roffset);
2534 tempcond = regex_match_and_setup(re, sub[0], 0, -1);
2537 case ECOND_MATCH_ADDRESS: /* Match in an address list */
2538 rc = match_address_list(sub[0], TRUE, FALSE, &(sub[1]), NULL, -1, 0, NULL);
2539 goto MATCHED_SOMETHING;
2541 case ECOND_MATCH_DOMAIN: /* Match in a domain list */
2542 rc = match_isinlist(sub[0], &(sub[1]), 0, &domainlist_anchor, NULL,
2543 MCL_DOMAIN + MCL_NOEXPAND, TRUE, NULL);
2544 goto MATCHED_SOMETHING;
2546 case ECOND_MATCH_IP: /* Match IP address in a host list */
2547 if (sub[0][0] != 0 && string_is_ip_address(sub[0], NULL) == 0)
2549 expand_string_message = string_sprintf("\"%s\" is not an IP address",
2555 unsigned int *nullcache = NULL;
2556 check_host_block cb;
2558 cb.host_name = US"";
2559 cb.host_address = sub[0];
2561 /* If the host address starts off ::ffff: it is an IPv6 address in
2562 IPv4-compatible mode. Find the IPv4 part for checking against IPv4
2565 cb.host_ipv4 = (Ustrncmp(cb.host_address, "::ffff:", 7) == 0)?
2566 cb.host_address + 7 : cb.host_address;
2568 rc = match_check_list(
2569 &sub[1], /* the list */
2570 0, /* separator character */
2571 &hostlist_anchor, /* anchor pointer */
2572 &nullcache, /* cache pointer */
2573 check_host, /* function for testing */
2574 &cb, /* argument for function */
2575 MCL_HOST, /* type of check */
2576 sub[0], /* text for debugging */
2577 NULL); /* where to pass back data */
2579 goto MATCHED_SOMETHING;
2581 case ECOND_MATCH_LOCAL_PART:
2582 rc = match_isinlist(sub[0], &(sub[1]), 0, &localpartlist_anchor, NULL,
2583 MCL_LOCALPART + MCL_NOEXPAND, TRUE, NULL);
2598 expand_string_message = string_sprintf("unable to complete match "
2599 "against \"%s\": %s", sub[1], search_error_message);
2605 /* Various "encrypted" comparisons. If the second string starts with
2606 "{" then an encryption type is given. Default to crypt() or crypt16()
2607 (build-time choice). */
2608 /* }-for-text-editors */
2611 #ifndef SUPPORT_CRYPTEQ
2612 goto COND_FAILED_NOT_COMPILED;
2614 if (strncmpic(sub[1], US"{md5}", 5) == 0)
2616 int sublen = Ustrlen(sub[1]+5);
2621 md5_end(&base, (uschar *)sub[0], Ustrlen(sub[0]), digest);
2623 /* If the length that we are comparing against is 24, the MD5 digest
2624 is expressed as a base64 string. This is the way LDAP does it. However,
2625 some other software uses a straightforward hex representation. We assume
2626 this if the length is 32. Other lengths fail. */
2630 uschar *coded = auth_b64encode((uschar *)digest, 16);
2631 DEBUG(D_auth) debug_printf("crypteq: using MD5+B64 hashing\n"
2632 " subject=%s\n crypted=%s\n", coded, sub[1]+5);
2633 tempcond = (Ustrcmp(coded, sub[1]+5) == 0);
2635 else if (sublen == 32)
2639 for (i = 0; i < 16; i++) sprintf(CS (coded+2*i), "%02X", digest[i]);
2641 DEBUG(D_auth) debug_printf("crypteq: using MD5+hex hashing\n"
2642 " subject=%s\n crypted=%s\n", coded, sub[1]+5);
2643 tempcond = (strcmpic(coded, sub[1]+5) == 0);
2647 DEBUG(D_auth) debug_printf("crypteq: length for MD5 not 24 or 32: "
2648 "fail\n crypted=%s\n", sub[1]+5);
2653 else if (strncmpic(sub[1], US"{sha1}", 6) == 0)
2655 int sublen = Ustrlen(sub[1]+6);
2660 sha1_end(&base, (uschar *)sub[0], Ustrlen(sub[0]), digest);
2662 /* If the length that we are comparing against is 28, assume the SHA1
2663 digest is expressed as a base64 string. If the length is 40, assume a
2664 straightforward hex representation. Other lengths fail. */
2668 uschar *coded = auth_b64encode((uschar *)digest, 20);
2669 DEBUG(D_auth) debug_printf("crypteq: using SHA1+B64 hashing\n"
2670 " subject=%s\n crypted=%s\n", coded, sub[1]+6);
2671 tempcond = (Ustrcmp(coded, sub[1]+6) == 0);
2673 else if (sublen == 40)
2677 for (i = 0; i < 20; i++) sprintf(CS (coded+2*i), "%02X", digest[i]);
2679 DEBUG(D_auth) debug_printf("crypteq: using SHA1+hex hashing\n"
2680 " subject=%s\n crypted=%s\n", coded, sub[1]+6);
2681 tempcond = (strcmpic(coded, sub[1]+6) == 0);
2685 DEBUG(D_auth) debug_printf("crypteq: length for SHA-1 not 28 or 40: "
2686 "fail\n crypted=%s\n", sub[1]+6);
2691 else /* {crypt} or {crypt16} and non-{ at start */
2692 /* }-for-text-editors */
2697 if (strncmpic(sub[1], US"{crypt}", 7) == 0)
2702 else if (strncmpic(sub[1], US"{crypt16}", 9) == 0)
2707 else if (sub[1][0] == '{') /* }-for-text-editors */
2709 expand_string_message = string_sprintf("unknown encryption mechanism "
2710 "in \"%s\"", sub[1]);
2716 case 0: coded = US DEFAULT_CRYPT(CS sub[0], CS sub[1]); break;
2717 case 1: coded = US crypt(CS sub[0], CS sub[1]); break;
2718 default: coded = US crypt16(CS sub[0], CS sub[1]); break;
2722 #define XSTR(s) STR(s)
2723 DEBUG(D_auth) debug_printf("crypteq: using %s()\n"
2724 " subject=%s\n crypted=%s\n",
2725 (which == 0)? XSTR(DEFAULT_CRYPT) : (which == 1)? "crypt" : "crypt16",
2730 /* If the encrypted string contains fewer than two characters (for the
2731 salt), force failure. Otherwise we get false positives: with an empty
2732 string the yield of crypt() is an empty string! */
2734 tempcond = (Ustrlen(sub[1]) < 2)? FALSE :
2735 (Ustrcmp(coded, sub[1]) == 0);
2738 #endif /* SUPPORT_CRYPTEQ */
2744 uschar *save_iterate_item = iterate_item;
2745 int (*compare)(const uschar *, const uschar *);
2748 if (cond_type == ECOND_INLISTI)
2751 compare = (int (*)(const uschar *, const uschar *)) strcmp;
2753 while ((iterate_item = string_nextinlist(&sub[1], &sep, NULL, 0)) != NULL)
2754 if (compare(sub[0], iterate_item) == 0)
2759 iterate_item = save_iterate_item;
2762 } /* Switch for comparison conditions */
2764 *yield = tempcond == testfor;
2765 return s; /* End of comparison conditions */
2768 /* and/or: computes logical and/or of several conditions */
2772 subcondptr = (yield == NULL)? NULL : &tempcond;
2773 combined_cond = (cond_type == ECOND_AND);
2775 while (isspace(*s)) s++;
2776 if (*s++ != '{') goto COND_FAILED_CURLY_START; /* }-for-text-editors */
2780 while (isspace(*s)) s++;
2781 /* {-for-text-editors */
2782 if (*s == '}') break;
2783 if (*s != '{') /* }-for-text-editors */
2785 expand_string_message = string_sprintf("each subcondition "
2786 "inside an \"%s{...}\" condition must be in its own {}", name);
2790 if (!(s = eval_condition(s+1, resetok, subcondptr)))
2792 expand_string_message = string_sprintf("%s inside \"%s{...}\" condition",
2793 expand_string_message, name);
2796 while (isspace(*s)) s++;
2798 /* {-for-text-editors */
2801 /* {-for-text-editors */
2802 expand_string_message = string_sprintf("missing } at end of condition "
2803 "inside \"%s\" group", name);
2809 if (cond_type == ECOND_AND)
2811 combined_cond &= tempcond;
2812 if (!combined_cond) subcondptr = NULL; /* once false, don't */
2813 } /* evaluate any more */
2816 combined_cond |= tempcond;
2817 if (combined_cond) subcondptr = NULL; /* once true, don't */
2818 } /* evaluate any more */
2822 if (yield != NULL) *yield = (combined_cond == testfor);
2826 /* forall/forany: iterates a condition with different values */
2832 uschar *save_iterate_item = iterate_item;
2834 while (isspace(*s)) s++;
2835 if (*s++ != '{') goto COND_FAILED_CURLY_START; /* }-for-text-editors */
2836 sub[0] = expand_string_internal(s, TRUE, &s, (yield == NULL), TRUE, resetok);
2837 if (sub[0] == NULL) return NULL;
2838 /* {-for-text-editors */
2839 if (*s++ != '}') goto COND_FAILED_CURLY_END;
2841 while (isspace(*s)) s++;
2842 if (*s++ != '{') goto COND_FAILED_CURLY_START; /* }-for-text-editors */
2846 /* Call eval_condition once, with result discarded (as if scanning a
2847 "false" part). This allows us to find the end of the condition, because if
2848 the list it empty, we won't actually evaluate the condition for real. */
2850 if (!(s = eval_condition(sub[1], resetok, NULL)))
2852 expand_string_message = string_sprintf("%s inside \"%s\" condition",
2853 expand_string_message, name);
2856 while (isspace(*s)) s++;
2858 /* {-for-text-editors */
2861 /* {-for-text-editors */
2862 expand_string_message = string_sprintf("missing } at end of condition "
2863 "inside \"%s\"", name);
2867 if (yield != NULL) *yield = !testfor;
2868 while ((iterate_item = string_nextinlist(&sub[0], &sep, NULL, 0)) != NULL)
2870 DEBUG(D_expand) debug_printf("%s: $item = \"%s\"\n", name, iterate_item);
2871 if (!eval_condition(sub[1], resetok, &tempcond))
2873 expand_string_message = string_sprintf("%s inside \"%s\" condition",
2874 expand_string_message, name);
2875 iterate_item = save_iterate_item;
2878 DEBUG(D_expand) debug_printf("%s: condition evaluated to %s\n", name,
2879 tempcond? "true":"false");
2881 if (yield != NULL) *yield = (tempcond == testfor);
2882 if (tempcond == (cond_type == ECOND_FORANY)) break;
2885 iterate_item = save_iterate_item;
2890 /* The bool{} expansion condition maps a string to boolean.
2891 The values supported should match those supported by the ACL condition
2892 (acl.c, ACLC_CONDITION) so that we keep to a minimum the different ideas
2893 of true/false. Note that Router "condition" rules have a different
2894 interpretation, where general data can be used and only a few values
2896 Note that readconf.c boolean matching, for boolean configuration options,
2897 only matches true/yes/false/no.
2898 The bool_lax{} condition matches the Router logic, which is much more
2901 case ECOND_BOOL_LAX:
2907 BOOL boolvalue = FALSE;
2908 while (isspace(*s)) s++;
2909 if (*s != '{') goto COND_FAILED_CURLY_START; /* }-for-text-editors */
2910 ourname = cond_type == ECOND_BOOL_LAX ? US"bool_lax" : US"bool";
2911 switch(read_subs(sub_arg, 1, 1, &s, yield == NULL, FALSE, ourname, resetok))
2913 case 1: expand_string_message = string_sprintf(
2914 "too few arguments or bracketing error for %s",
2918 case 3: return NULL;
2921 while (isspace(*t)) t++;
2925 /* trailing whitespace: seems like a good idea to ignore it too */
2927 while (isspace(*t2)) t2--;
2928 if (t2 != (t + len))
2935 debug_printf("considering %s: %s\n", ourname, len ? t : US"<empty>");
2936 /* logic for the lax case from expand_check_condition(), which also does
2937 expands, and the logic is both short and stable enough that there should
2938 be no maintenance burden from replicating it. */
2942 ? Ustrspn(t+1, "0123456789") == len-1
2943 : Ustrspn(t, "0123456789") == len)
2945 boolvalue = (Uatoi(t) == 0) ? FALSE : TRUE;
2946 /* expand_check_condition only does a literal string "0" check */
2947 if ((cond_type == ECOND_BOOL_LAX) && (len > 1))
2950 else if (strcmpic(t, US"true") == 0 || strcmpic(t, US"yes") == 0)
2952 else if (strcmpic(t, US"false") == 0 || strcmpic(t, US"no") == 0)
2954 else if (cond_type == ECOND_BOOL_LAX)
2958 expand_string_message = string_sprintf("unrecognised boolean "
2962 if (yield != NULL) *yield = (boolvalue == testfor);
2966 /* Unknown condition */
2969 expand_string_message = string_sprintf("unknown condition \"%s\"", name);
2971 } /* End switch on condition type */
2973 /* Missing braces at start and end of data */
2975 COND_FAILED_CURLY_START:
2976 expand_string_message = string_sprintf("missing { after \"%s\"", name);
2979 COND_FAILED_CURLY_END:
2980 expand_string_message = string_sprintf("missing } at end of \"%s\" condition",
2984 /* A condition requires code that is not compiled */
2986 #if !defined(SUPPORT_PAM) || !defined(RADIUS_CONFIG_FILE) || \
2987 !defined(LOOKUP_LDAP) || !defined(CYRUS_PWCHECK_SOCKET) || \
2988 !defined(SUPPORT_CRYPTEQ) || !defined(CYRUS_SASLAUTHD_SOCKET)
2989 COND_FAILED_NOT_COMPILED:
2990 expand_string_message = string_sprintf("support for \"%s\" not compiled",
2999 /*************************************************
3000 * Save numerical variables *
3001 *************************************************/
3003 /* This function is called from items such as "if" that want to preserve and
3004 restore the numbered variables.
3007 save_expand_string points to an array of pointers to set
3008 save_expand_nlength points to an array of ints for the lengths
3010 Returns: the value of expand max to save
3014 save_expand_strings(uschar **save_expand_nstring, int *save_expand_nlength)
3017 for (i = 0; i <= expand_nmax; i++)
3019 save_expand_nstring[i] = expand_nstring[i];
3020 save_expand_nlength[i] = expand_nlength[i];
3027 /*************************************************
3028 * Restore numerical variables *
3029 *************************************************/
3031 /* This function restored saved values of numerical strings.
3034 save_expand_nmax the number of strings to restore
3035 save_expand_string points to an array of pointers
3036 save_expand_nlength points to an array of ints
3042 restore_expand_strings(int save_expand_nmax, uschar **save_expand_nstring,
3043 int *save_expand_nlength)
3046 expand_nmax = save_expand_nmax;
3047 for (i = 0; i <= expand_nmax; i++)
3049 expand_nstring[i] = save_expand_nstring[i];
3050 expand_nlength[i] = save_expand_nlength[i];
3058 /*************************************************
3059 * Handle yes/no substrings *
3060 *************************************************/
3062 /* This function is used by ${if}, ${lookup} and ${extract} to handle the
3063 alternative substrings that depend on whether or not the condition was true,
3064 or the lookup or extraction succeeded. The substrings always have to be
3065 expanded, to check their syntax, but "skipping" is set when the result is not
3066 needed - this avoids unnecessary nested lookups.
3069 skipping TRUE if we were skipping when this item was reached
3070 yes TRUE if the first string is to be used, else use the second
3071 save_lookup a value to put back into lookup_value before the 2nd expansion
3072 sptr points to the input string pointer
3073 yieldptr points to the output string pointer
3074 sizeptr points to the output string size
3075 ptrptr points to the output string pointer
3076 type "lookup" or "if" or "extract" or "run", for error message
3077 resetok if not NULL, pointer to flag - write FALSE if unsafe to reset
3080 Returns: 0 OK; lookup_value has been reset to save_lookup
3082 2 expansion failed because of bracketing error
3086 process_yesno(BOOL skipping, BOOL yes, uschar *save_lookup, uschar **sptr,
3087 uschar **yieldptr, int *sizeptr, int *ptrptr, uschar *type, BOOL *resetok)
3090 uschar *s = *sptr; /* Local value */
3091 uschar *sub1, *sub2;
3093 /* If there are no following strings, we substitute the contents of $value for
3094 lookups and for extractions in the success case. For the ${if item, the string
3095 "true" is substituted. In the fail case, nothing is substituted for all three
3098 while (isspace(*s)) s++;
3103 if (yes) *yieldptr = string_cat(*yieldptr, sizeptr, ptrptr, US"true", 4);
3107 if (yes && lookup_value != NULL)
3108 *yieldptr = string_cat(*yieldptr, sizeptr, ptrptr, lookup_value,
3109 Ustrlen(lookup_value));
3110 lookup_value = save_lookup;
3116 /* The first following string must be braced. */
3118 if (*s++ != '{') goto FAILED_CURLY;
3120 /* Expand the first substring. Forced failures are noticed only if we actually
3121 want this string. Set skipping in the call in the fail case (this will always
3122 be the case if we were already skipping). */
3124 sub1 = expand_string_internal(s, TRUE, &s, !yes, TRUE, resetok);
3125 if (sub1 == NULL && (yes || !expand_string_forcedfail)) goto FAILED;
3126 expand_string_forcedfail = FALSE;
3127 if (*s++ != '}') goto FAILED_CURLY;
3129 /* If we want the first string, add it to the output */
3132 *yieldptr = string_cat(*yieldptr, sizeptr, ptrptr, sub1, Ustrlen(sub1));
3134 /* If this is called from a lookup or an extract, we want to restore $value to
3135 what it was at the start of the item, so that it has this value during the
3136 second string expansion. For the call from "if" or "run" to this function,
3137 save_lookup is set to lookup_value, so that this statement does nothing. */
3139 lookup_value = save_lookup;
3141 /* There now follows either another substring, or "fail", or nothing. This
3142 time, forced failures are noticed only if we want the second string. We must
3143 set skipping in the nested call if we don't want this string, or if we were
3144 already skipping. */
3146 while (isspace(*s)) s++;
3149 sub2 = expand_string_internal(s+1, TRUE, &s, yes || skipping, TRUE, resetok);
3150 if (sub2 == NULL && (!yes || !expand_string_forcedfail)) goto FAILED;
3151 expand_string_forcedfail = FALSE;
3152 if (*s++ != '}') goto FAILED_CURLY;
3154 /* If we want the second string, add it to the output */
3157 *yieldptr = string_cat(*yieldptr, sizeptr, ptrptr, sub2, Ustrlen(sub2));
3160 /* If there is no second string, but the word "fail" is present when the use of
3161 the second string is wanted, set a flag indicating it was a forced failure
3162 rather than a syntactic error. Swallow the terminating } in case this is nested
3163 inside another lookup or if or extract. */
3168 s = read_name(name, sizeof(name), s, US"_");
3169 if (Ustrcmp(name, "fail") == 0)
3171 if (!yes && !skipping)
3173 while (isspace(*s)) s++;
3174 if (*s++ != '}') goto FAILED_CURLY;
3175 expand_string_message =
3176 string_sprintf("\"%s\" failed and \"fail\" requested", type);
3177 expand_string_forcedfail = TRUE;
3183 expand_string_message =
3184 string_sprintf("syntax error in \"%s\" item - \"fail\" expected", type);
3189 /* All we have to do now is to check on the final closing brace. */
3191 while (isspace(*s)) s++;
3192 if (*s++ == '}') goto RETURN;
3194 /* Get here if there is a bracketing failure */
3199 /* Get here for other failures */
3204 /* Update the input pointer value before returning */
3214 /*************************************************
3215 * Handle MD5 or SHA-1 computation for HMAC *
3216 *************************************************/
3218 /* These are some wrapping functions that enable the HMAC code to be a bit
3219 cleaner. A good compiler will spot the tail recursion.
3222 type HMAC_MD5 or HMAC_SHA1
3223 remaining are as for the cryptographic hash functions
3229 chash_start(int type, void *base)
3231 if (type == HMAC_MD5)
3232 md5_start((md5 *)base);
3234 sha1_start((sha1 *)base);
3238 chash_mid(int type, void *base, uschar *string)
3240 if (type == HMAC_MD5)
3241 md5_mid((md5 *)base, string);
3243 sha1_mid((sha1 *)base, string);
3247 chash_end(int type, void *base, uschar *string, int length, uschar *digest)
3249 if (type == HMAC_MD5)
3250 md5_end((md5 *)base, string, length, digest);
3252 sha1_end((sha1 *)base, string, length, digest);
3259 /********************************************************
3260 * prvs: Get last three digits of days since Jan 1, 1970 *
3261 ********************************************************/
3263 /* This is needed to implement the "prvs" BATV reverse
3266 Argument: integer "days" offset to add or substract to
3267 or from the current number of days.
3269 Returns: pointer to string containing the last three
3270 digits of the number of days since Jan 1, 1970,
3271 modified by the offset argument, NULL if there
3272 was an error in the conversion.
3277 prvs_daystamp(int day_offset)
3279 uschar *days = store_get(32); /* Need at least 24 for cases */
3280 (void)string_format(days, 32, TIME_T_FMT, /* where TIME_T_FMT is %lld */
3281 (time(NULL) + day_offset*86400)/86400);
3282 return (Ustrlen(days) >= 3) ? &days[Ustrlen(days)-3] : US"100";
3287 /********************************************************
3288 * prvs: perform HMAC-SHA1 computation of prvs bits *
3289 ********************************************************/
3291 /* This is needed to implement the "prvs" BATV reverse
3295 address RFC2821 Address to use
3296 key The key to use (must be less than 64 characters
3298 key_num Single-digit key number to use. Defaults to
3301 Returns: pointer to string containing the first three
3302 bytes of the final hash in hex format, NULL if
3303 there was an error in the process.
3307 prvs_hmac_sha1(uschar *address, uschar *key, uschar *key_num, uschar *daystamp)
3309 uschar *hash_source, *p;
3310 int size = 0,offset = 0,i;
3312 void *use_base = &sha1_base;
3313 uschar innerhash[20];
3314 uschar finalhash[20];
3315 uschar innerkey[64];
3316 uschar outerkey[64];
3317 uschar *finalhash_hex = store_get(40);
3319 if (key_num == NULL)
3322 if (Ustrlen(key) > 64)
3325 hash_source = string_cat(NULL,&size,&offset,key_num,1);
3326 string_cat(hash_source,&size,&offset,daystamp,3);
3327 string_cat(hash_source,&size,&offset,address,Ustrlen(address));
3328 hash_source[offset] = '\0';
3330 DEBUG(D_expand) debug_printf("prvs: hash source is '%s'\n", hash_source);
3332 memset(innerkey, 0x36, 64);
3333 memset(outerkey, 0x5c, 64);
3335 for (i = 0; i < Ustrlen(key); i++)
3337 innerkey[i] ^= key[i];
3338 outerkey[i] ^= key[i];
3341 chash_start(HMAC_SHA1, use_base);
3342 chash_mid(HMAC_SHA1, use_base, innerkey);
3343 chash_end(HMAC_SHA1, use_base, hash_source, offset, innerhash);
3345 chash_start(HMAC_SHA1, use_base);
3346 chash_mid(HMAC_SHA1, use_base, outerkey);
3347 chash_end(HMAC_SHA1, use_base, innerhash, 20, finalhash);
3350 for (i = 0; i < 3; i++)
3352 *p++ = hex_digits[(finalhash[i] & 0xf0) >> 4];
3353 *p++ = hex_digits[finalhash[i] & 0x0f];
3357 return finalhash_hex;
3363 /*************************************************
3364 * Join a file onto the output string *
3365 *************************************************/
3367 /* This is used for readfile and after a run expansion. It joins the contents
3368 of a file onto the output string, globally replacing newlines with a given
3369 string (optionally). The file is closed at the end.
3373 yield pointer to the expandable string
3374 sizep pointer to the current size
3375 ptrp pointer to the current position
3376 eol newline replacement string, or NULL
3378 Returns: new value of string pointer
3382 cat_file(FILE *f, uschar *yield, int *sizep, int *ptrp, uschar *eol)
3385 uschar buffer[1024];
3387 eollen = (eol == NULL)? 0 : Ustrlen(eol);
3389 while (Ufgets(buffer, sizeof(buffer), f) != NULL)
3391 int len = Ustrlen(buffer);
3392 if (eol != NULL && buffer[len-1] == '\n') len--;
3393 yield = string_cat(yield, sizep, ptrp, buffer, len);
3394 if (buffer[len] != 0)
3395 yield = string_cat(yield, sizep, ptrp, eol, eollen);
3398 if (yield != NULL) yield[*ptrp] = 0;
3406 /*************************************************
3407 * Evaluate numeric expression *
3408 *************************************************/
3410 /* This is a set of mutually recursive functions that evaluate an arithmetic
3411 expression involving + - * / % & | ^ ~ << >> and parentheses. The only one of
3412 these functions that is called from elsewhere is eval_expr, whose interface is:
3415 sptr pointer to the pointer to the string - gets updated
3416 decimal TRUE if numbers are to be assumed decimal
3417 error pointer to where to put an error message - must be NULL on input
3418 endket TRUE if ')' must terminate - FALSE for external call
3420 Returns: on success: the value of the expression, with *error still NULL
3421 on failure: an undefined value, with *error = a message
3424 static int_eximarith_t eval_op_or(uschar **, BOOL, uschar **);
3427 static int_eximarith_t
3428 eval_expr(uschar **sptr, BOOL decimal, uschar **error, BOOL endket)
3431 int_eximarith_t x = eval_op_or(&s, decimal, error);
3437 *error = US"expecting closing parenthesis";
3439 while (isspace(*(++s)));
3441 else if (*s != 0) *error = US"expecting operator";
3448 static int_eximarith_t
3449 eval_number(uschar **sptr, BOOL decimal, uschar **error)
3454 while (isspace(*s)) s++;
3459 (void)sscanf(CS s, (decimal? SC_EXIM_DEC "%n" : SC_EXIM_ARITH "%n"), &n, &count);
3461 switch (tolower(*s))
3464 case 'k': n *= 1024; s++; break;
3465 case 'm': n *= 1024*1024; s++; break;
3466 case 'g': n *= 1024*1024*1024; s++; break;
3468 while (isspace (*s)) s++;
3473 n = eval_expr(&s, decimal, error, 1);
3477 *error = US"expecting number or opening parenthesis";
3485 static int_eximarith_t
3486 eval_op_unary(uschar **sptr, BOOL decimal, uschar **error)
3490 while (isspace(*s)) s++;
3491 if (*s == '+' || *s == '-' || *s == '~')
3494 x = eval_op_unary(&s, decimal, error);
3495 if (op == '-') x = -x;
3496 else if (op == '~') x = ~x;
3500 x = eval_number(&s, decimal, error);
3507 static int_eximarith_t
3508 eval_op_mult(uschar **sptr, BOOL decimal, uschar **error)
3511 int_eximarith_t x = eval_op_unary(&s, decimal, error);
3514 while (*s == '*' || *s == '/' || *s == '%')
3517 int_eximarith_t y = eval_op_unary(&s, decimal, error);
3518 if (*error != NULL) break;
3519 /* SIGFPE both on div/mod by zero and on INT_MIN / -1, which would give
3520 * a value of INT_MAX+1. Note that INT_MIN * -1 gives INT_MIN for me, which
3521 * is a bug somewhere in [gcc 4.2.1, FreeBSD, amd64]. In fact, -N*-M where
3522 * -N*M is INT_MIN will yielf INT_MIN.
3523 * Since we don't support floating point, this is somewhat simpler.
3524 * Ideally, we'd return an error, but since we overflow for all other
3525 * arithmetic, consistency suggests otherwise, but what's the correct value
3526 * to use? There is none.
3527 * The C standard guarantees overflow for unsigned arithmetic but signed
3528 * overflow invokes undefined behaviour; in practice, this is overflow
3529 * except for converting INT_MIN to INT_MAX+1. We also can't guarantee
3530 * that long/longlong larger than int are available, or we could just work
3531 * with larger types. We should consider whether to guarantee 32bit eval
3532 * and 64-bit working variables, with errors returned. For now ...
3533 * So, the only SIGFPEs occur with a non-shrinking div/mod, thus -1; we
3534 * can just let the other invalid results occur otherwise, as they have
3535 * until now. For this one case, we can coerce.
3537 if (y == -1 && x == EXIM_ARITH_MIN && op != '*')
3540 debug_printf("Integer exception dodging: " PR_EXIM_ARITH "%c-1 coerced to " PR_EXIM_ARITH "\n",
3541 EXIM_ARITH_MIN, op, EXIM_ARITH_MAX);
3551 *error = (op == '/') ? US"divide by zero" : US"modulo by zero";
3567 static int_eximarith_t
3568 eval_op_sum(uschar **sptr, BOOL decimal, uschar **error)
3571 int_eximarith_t x = eval_op_mult(&s, decimal, error);
3574 while (*s == '+' || *s == '-')
3577 int_eximarith_t y = eval_op_mult(&s, decimal, error);
3578 if (*error != NULL) break;
3579 if (op == '+') x += y; else x -= y;
3587 static int_eximarith_t
3588 eval_op_shift(uschar **sptr, BOOL decimal, uschar **error)
3591 int_eximarith_t x = eval_op_sum(&s, decimal, error);
3594 while ((*s == '<' || *s == '>') && s[1] == s[0])
3599 y = eval_op_sum(&s, decimal, error);
3600 if (*error != NULL) break;
3601 if (op == '<') x <<= y; else x >>= y;
3609 static int_eximarith_t
3610 eval_op_and(uschar **sptr, BOOL decimal, uschar **error)
3613 int_eximarith_t x = eval_op_shift(&s, decimal, error);
3620 y = eval_op_shift(&s, decimal, error);
3621 if (*error != NULL) break;
3630 static int_eximarith_t
3631 eval_op_xor(uschar **sptr, BOOL decimal, uschar **error)
3634 int_eximarith_t x = eval_op_and(&s, decimal, error);
3641 y = eval_op_and(&s, decimal, error);
3642 if (*error != NULL) break;
3651 static int_eximarith_t
3652 eval_op_or(uschar **sptr, BOOL decimal, uschar **error)
3655 int_eximarith_t x = eval_op_xor(&s, decimal, error);
3662 y = eval_op_xor(&s, decimal, error);
3663 if (*error != NULL) break;
3673 /*************************************************
3675 *************************************************/
3677 /* Returns either an unchanged string, or the expanded string in stacking pool
3678 store. Interpreted sequences are:
3680 \... normal escaping rules
3681 $name substitutes the variable
3683 ${op:string} operates on the expanded string value
3684 ${item{arg1}{arg2}...} expands the args and then does the business
3685 some literal args are not enclosed in {}
3687 There are now far too many operators and item types to make it worth listing
3688 them here in detail any more.
3690 We use an internal routine recursively to handle embedded substrings. The
3691 external function follows. The yield is NULL if the expansion failed, and there
3692 are two cases: if something collapsed syntactically, or if "fail" was given
3693 as the action on a lookup failure. These can be distinguised by looking at the
3694 variable expand_string_forcedfail, which is TRUE in the latter case.
3696 The skipping flag is set true when expanding a substring that isn't actually
3697 going to be used (after "if" or "lookup") and it prevents lookups from
3698 happening lower down.
3700 Store usage: At start, a store block of the length of the input plus 64
3701 is obtained. This is expanded as necessary by string_cat(), which might have to
3702 get a new block, or might be able to expand the original. At the end of the
3703 function we can release any store above that portion of the yield block that
3704 was actually used. In many cases this will be optimal.
3706 However: if the first item in the expansion is a variable name or header name,
3707 we reset the store before processing it; if the result is in fresh store, we
3708 use that without copying. This is helpful for expanding strings like
3709 $message_headers which can get very long.
3711 There's a problem if a ${dlfunc item has side-effects that cause allocation,
3712 since resetting the store at the end of the expansion will free store that was
3713 allocated by the plugin code as well as the slop after the expanded string. So
3714 we skip any resets if ${dlfunc } has been used. The same applies for ${acl }
3715 and, given the acl condition, ${if }. This is an unfortunate consequence of
3716 string expansion becoming too powerful.
3719 string the string to be expanded
3720 ket_ends true if expansion is to stop at }
3721 left if not NULL, a pointer to the first character after the
3722 expansion is placed here (typically used with ket_ends)
3723 skipping TRUE for recursive calls when the value isn't actually going
3724 to be used (to allow for optimisation)
3725 honour_dollar TRUE if $ is to be expanded,
3726 FALSE if it's just another character
3727 resetok_p if not NULL, pointer to flag - write FALSE if unsafe to reset
3730 Returns: NULL if expansion fails:
3731 expand_string_forcedfail is set TRUE if failure was forced
3732 expand_string_message contains a textual error message
3733 a pointer to the expanded string on success
3737 expand_string_internal(uschar *string, BOOL ket_ends, uschar **left,
3738 BOOL skipping, BOOL honour_dollar, BOOL *resetok_p)
3741 int size = Ustrlen(string)+ 64;
3743 uschar *yield = store_get(size);
3745 uschar *save_expand_nstring[EXPAND_MAXN+1];
3746 int save_expand_nlength[EXPAND_MAXN+1];
3747 BOOL resetok = TRUE;
3749 expand_string_forcedfail = FALSE;
3750 expand_string_message = US"";
3757 /* \ escapes the next character, which must exist, or else
3758 the expansion fails. There's a special escape, \N, which causes
3759 copying of the subject verbatim up to the next \N. Otherwise,
3760 the escapes are the standard set. */
3766 expand_string_message = US"\\ at end of string";
3773 for (s = t; *s != 0; s++) if (*s == '\\' && s[1] == 'N') break;
3774 yield = string_cat(yield, &size, &ptr, t, s - t);
3775 if (*s != 0) s += 2;
3781 ch[0] = string_interpret_escape(&s);
3783 yield = string_cat(yield, &size, &ptr, ch, 1);
3790 /* Anything other than $ is just copied verbatim, unless we are
3791 looking for a terminating } character. */
3794 if (ket_ends && *s == '}') break;
3796 if (*s != '$' || !honour_dollar)
3798 yield = string_cat(yield, &size, &ptr, s++, 1);
3802 /* No { after the $ - must be a plain name or a number for string
3803 match variable. There has to be a fudge for variables that are the
3804 names of header fields preceded by "$header_" because header field
3805 names can contain any printing characters except space and colon.
3806 For those that don't like typing this much, "$h_" is a synonym for
3807 "$header_". A non-existent header yields a NULL value; nothing is
3810 if (isalpha((*(++s))))
3815 s = read_name(name, sizeof(name), s, US"_");
3817 /* If this is the first thing to be expanded, release the pre-allocated
3820 if (ptr == 0 && yield != NULL)
3822 if (resetok) store_reset(yield);
3829 if (Ustrncmp(name, "h_", 2) == 0 ||
3830 Ustrncmp(name, "rh_", 3) == 0 ||
3831 Ustrncmp(name, "bh_", 3) == 0 ||
3832 Ustrncmp(name, "header_", 7) == 0 ||
3833 Ustrncmp(name, "rheader_", 8) == 0 ||
3834 Ustrncmp(name, "bheader_", 8) == 0)
3836 BOOL want_raw = (name[0] == 'r')? TRUE : FALSE;
3837 uschar *charset = (name[0] == 'b')? NULL : headers_charset;
3838 s = read_header_name(name, sizeof(name), s);
3839 value = find_header(name, FALSE, &newsize, want_raw, charset);
3841 /* If we didn't find the header, and the header contains a closing brace
3842 character, this may be a user error where the terminating colon
3843 has been omitted. Set a flag to adjust the error message in this case.
3844 But there is no error here - nothing gets inserted. */
3848 if (Ustrchr(name, '}') != NULL) malformed_header = TRUE;
3857 value = find_variable(name, FALSE, skipping, &newsize);
3860 expand_string_message =
3861 string_sprintf("unknown variable name \"%s\"", name);
3862 check_variable_error_message(name);
3867 /* If the data is known to be in a new buffer, newsize will be set to the
3868 size of that buffer. If this is the first thing in an expansion string,
3869 yield will be NULL; just point it at the new store instead of copying. Many
3870 expansion strings contain just one reference, so this is a useful
3871 optimization, especially for humungous headers. */
3873 len = Ustrlen(value);
3874 if (yield == NULL && newsize != 0)
3880 else yield = string_cat(yield, &size, &ptr, value, len);
3888 s = read_number(&n, s);
3889 if (n >= 0 && n <= expand_nmax)
3890 yield = string_cat(yield, &size, &ptr, expand_nstring[n],
3895 /* Otherwise, if there's no '{' after $ it's an error. */ /*}*/
3897 if (*s != '{') /*}*/
3899 expand_string_message = US"$ not followed by letter, digit, or {"; /*}*/
3903 /* After { there can be various things, but they all start with
3904 an initial word, except for a number for a string match variable. */
3906 if (isdigit((*(++s))))
3909 s = read_number(&n, s); /*{*/
3912 expand_string_message = US"} expected after number";
3915 if (n >= 0 && n <= expand_nmax)
3916 yield = string_cat(yield, &size, &ptr, expand_nstring[n],
3923 expand_string_message = US"letter or digit expected after ${"; /*}*/
3927 /* Allow "-" in names to cater for substrings with negative
3928 arguments. Since we are checking for known names after { this is
3931 s = read_name(name, sizeof(name), s, US"_-");
3932 item_type = chop_match(name, item_table, sizeof(item_table)/sizeof(uschar *));
3936 /* Call an ACL from an expansion. We feed data in via $acl_arg1 - $acl_arg9.
3937 If the ACL returns accept or reject we return content set by "message ="
3938 There is currently no limit on recursion; this would have us call
3939 acl_check_internal() directly and get a current level from somewhere.
3940 See also the acl expansion condition ECOND_ACL and the traditional
3941 acl modifier ACLC_ACL.
3942 Assume that the function has side-effects on the store that must be preserved.
3946 /* ${acl {name} {arg1}{arg2}...} */
3948 uschar *sub[10]; /* name + arg1-arg9 (which must match number of acl_arg[]) */
3951 switch(read_subs(sub, 10, 1, &s, skipping, TRUE, US"acl", &resetok))
3953 case 1: goto EXPAND_FAILED_CURLY;
3955 case 3: goto EXPAND_FAILED;
3957 if (skipping) continue;
3960 switch(eval_acl(sub, sizeof(sub)/sizeof(*sub), &user_msg))
3965 debug_printf("acl expansion yield: %s\n", user_msg);
3967 yield = string_cat(yield, &size, &ptr, user_msg, Ustrlen(user_msg));
3971 expand_string_forcedfail = TRUE;
3973 expand_string_message = string_sprintf("error from acl \"%s\"", sub[0]);
3978 /* Handle conditionals - preserve the values of the numerical expansion
3979 variables in case they get changed by a regular expression match in the
3980 condition. If not, they retain their external settings. At the end
3981 of this "if" section, they get restored to their previous values. */
3987 int save_expand_nmax =
3988 save_expand_strings(save_expand_nstring, save_expand_nlength);
3990 while (isspace(*s)) s++;
3991 next_s = eval_condition(s, &resetok, skipping? NULL : &cond);
3992 if (next_s == NULL) goto EXPAND_FAILED; /* message already set */
3995 debug_printf("condition: %.*s\n result: %s\n", (int)(next_s - s), s,
3996 cond? "true" : "false");
4000 /* The handling of "yes" and "no" result strings is now in a separate
4001 function that is also used by ${lookup} and ${extract} and ${run}. */
4003 switch(process_yesno(
4004 skipping, /* were previously skipping */
4005 cond, /* success/failure indicator */
4006 lookup_value, /* value to reset for string2 */
4007 &s, /* input pointer */
4008 &yield, /* output pointer */
4009 &size, /* output size */
4010 &ptr, /* output current point */
4011 US"if", /* condition type */
4014 case 1: goto EXPAND_FAILED; /* when all is well, the */
4015 case 2: goto EXPAND_FAILED_CURLY; /* returned value is 0 */
4018 /* Restore external setting of expansion variables for continuation
4021 restore_expand_strings(save_expand_nmax, save_expand_nstring,
4022 save_expand_nlength);
4026 /* Handle database lookups unless locked out. If "skipping" is TRUE, we are
4027 expanding an internal string that isn't actually going to be used. All we
4028 need to do is check the syntax, so don't do a lookup at all. Preserve the
4029 values of the numerical expansion variables in case they get changed by a
4030 partial lookup. If not, they retain their external settings. At the end
4031 of this "lookup" section, they get restored to their previous values. */
4035 int stype, partial, affixlen, starflags;
4036 int expand_setup = 0;
4038 uschar *key, *filename, *affix;
4039 uschar *save_lookup_value = lookup_value;
4040 int save_expand_nmax =
4041 save_expand_strings(save_expand_nstring, save_expand_nlength);
4043 if ((expand_forbid & RDO_LOOKUP) != 0)
4045 expand_string_message = US"lookup expansions are not permitted";
4049 /* Get the key we are to look up for single-key+file style lookups.
4050 Otherwise set the key NULL pro-tem. */
4052 while (isspace(*s)) s++;
4053 if (*s == '{') /*}*/
4055 key = expand_string_internal(s+1, TRUE, &s, skipping, TRUE, &resetok);
4056 if (key == NULL) goto EXPAND_FAILED; /*{*/
4057 if (*s++ != '}') goto EXPAND_FAILED_CURLY;
4058 while (isspace(*s)) s++;
4062 /* Find out the type of database */
4066 expand_string_message = US"missing lookup type";
4070 /* The type is a string that may contain special characters of various
4071 kinds. Allow everything except space or { to appear; the actual content
4072 is checked by search_findtype_partial. */ /*}*/
4074 while (*s != 0 && *s != '{' && !isspace(*s)) /*}*/
4076 if (nameptr < sizeof(name) - 1) name[nameptr++] = *s;
4080 while (isspace(*s)) s++;
4082 /* Now check for the individual search type and any partial or default
4083 options. Only those types that are actually in the binary are valid. */
4085 stype = search_findtype_partial(name, &partial, &affix, &affixlen,
4089 expand_string_message = search_error_message;
4093 /* Check that a key was provided for those lookup types that need it,
4094 and was not supplied for those that use the query style. */
4096 if (!mac_islookup(stype, lookup_querystyle|lookup_absfilequery))
4100 expand_string_message = string_sprintf("missing {key} for single-"
4101 "key \"%s\" lookup", name);
4109 expand_string_message = string_sprintf("a single key was given for "
4110 "lookup type \"%s\", which is not a single-key lookup type", name);
4115 /* Get the next string in brackets and expand it. It is the file name for
4116 single-key+file lookups, and the whole query otherwise. In the case of
4117 queries that also require a file name (e.g. sqlite), the file name comes
4120 if (*s != '{') goto EXPAND_FAILED_CURLY;
4121 filename = expand_string_internal(s+1, TRUE, &s, skipping, TRUE, &resetok);
4122 if (filename == NULL) goto EXPAND_FAILED;
4123 if (*s++ != '}') goto EXPAND_FAILED_CURLY;
4124 while (isspace(*s)) s++;
4126 /* If this isn't a single-key+file lookup, re-arrange the variables
4127 to be appropriate for the search_ functions. For query-style lookups,
4128 there is just a "key", and no file name. For the special query-style +
4129 file types, the query (i.e. "key") starts with a file name. */
4133 while (isspace(*filename)) filename++;
4136 if (mac_islookup(stype, lookup_querystyle))
4142 if (*filename != '/')
4144 expand_string_message = string_sprintf(
4145 "absolute file name expected for \"%s\" lookup", name);
4148 while (*key != 0 && !isspace(*key)) key++;
4149 if (*key != 0) *key++ = 0;
4153 /* If skipping, don't do the next bit - just lookup_value == NULL, as if
4154 the entry was not found. Note that there is no search_close() function.
4155 Files are left open in case of re-use. At suitable places in higher logic,
4156 search_tidyup() is called to tidy all open files. This can save opening
4157 the same file several times. However, files may also get closed when
4158 others are opened, if too many are open at once. The rule is that a
4159 handle should not be used after a second search_open().
4161 Request that a partial search sets up $1 and maybe $2 by passing
4162 expand_setup containing zero. If its value changes, reset expand_nmax,
4163 since new variables will have been set. Note that at the end of this
4164 "lookup" section, the old numeric variables are restored. */
4167 lookup_value = NULL;
4170 void *handle = search_open(filename, stype, 0, NULL, NULL);
4173 expand_string_message = search_error_message;
4176 lookup_value = search_find(handle, filename, key, partial, affix,
4177 affixlen, starflags, &expand_setup);
4178 if (search_find_defer)
4180 expand_string_message =
4181 string_sprintf("lookup of \"%s\" gave DEFER: %s",
4182 string_printing2(key, FALSE), search_error_message);
4185 if (expand_setup > 0) expand_nmax = expand_setup;
4188 /* The handling of "yes" and "no" result strings is now in a separate
4189 function that is also used by ${if} and ${extract}. */
4191 switch(process_yesno(
4192 skipping, /* were previously skipping */
4193 lookup_value != NULL, /* success/failure indicator */
4194 save_lookup_value, /* value to reset for string2 */
4195 &s, /* input pointer */
4196 &yield, /* output pointer */
4197 &size, /* output size */
4198 &ptr, /* output current point */
4199 US"lookup", /* condition type */
4202 case 1: goto EXPAND_FAILED; /* when all is well, the */
4203 case 2: goto EXPAND_FAILED_CURLY; /* returned value is 0 */
4206 /* Restore external setting of expansion variables for carrying on
4207 at this level, and continue. */
4209 restore_expand_strings(save_expand_nmax, save_expand_nstring,
4210 save_expand_nlength);
4214 /* If Perl support is configured, handle calling embedded perl subroutines,
4215 unless locked out at this time. Syntax is ${perl{sub}} or ${perl{sub}{arg}}
4216 or ${perl{sub}{arg1}{arg2}} or up to a maximum of EXIM_PERL_MAX_ARGS
4217 arguments (defined below). */
4219 #define EXIM_PERL_MAX_ARGS 8
4223 expand_string_message = US"\"${perl\" encountered, but this facility " /*}*/
4224 "is not included in this binary";
4227 #else /* EXIM_PERL */
4229 uschar *sub_arg[EXIM_PERL_MAX_ARGS + 2];
4232 if ((expand_forbid & RDO_PERL) != 0)
4234 expand_string_message = US"Perl calls are not permitted";
4238 switch(read_subs(sub_arg, EXIM_PERL_MAX_ARGS + 1, 1, &s, skipping, TRUE,
4239 US"perl", &resetok))
4241 case 1: goto EXPAND_FAILED_CURLY;
4243 case 3: goto EXPAND_FAILED;
4246 /* If skipping, we don't actually do anything */
4248 if (skipping) continue;
4250 /* Start the interpreter if necessary */
4252 if (!opt_perl_started)
4255 if (opt_perl_startup == NULL)
4257 expand_string_message = US"A setting of perl_startup is needed when "
4258 "using the Perl interpreter";
4261 DEBUG(D_any) debug_printf("Starting Perl interpreter\n");
4262 initerror = init_perl(opt_perl_startup);
4263 if (initerror != NULL)
4265 expand_string_message =
4266 string_sprintf("error in perl_startup code: %s\n", initerror);
4269 opt_perl_started = TRUE;
4272 /* Call the function */
4274 sub_arg[EXIM_PERL_MAX_ARGS + 1] = NULL;
4275 new_yield = call_perl_cat(yield, &size, &ptr, &expand_string_message,
4276 sub_arg[0], sub_arg + 1);
4278 /* NULL yield indicates failure; if the message pointer has been set to
4279 NULL, the yield was undef, indicating a forced failure. Otherwise the
4280 message will indicate some kind of Perl error. */
4282 if (new_yield == NULL)
4284 if (expand_string_message == NULL)
4286 expand_string_message =
4287 string_sprintf("Perl subroutine \"%s\" returned undef to force "
4288 "failure", sub_arg[0]);
4289 expand_string_forcedfail = TRUE;
4294 /* Yield succeeded. Ensure forcedfail is unset, just in case it got
4295 set during a callback from Perl. */
4297 expand_string_forcedfail = FALSE;
4301 #endif /* EXIM_PERL */
4303 /* Transform email address to "prvs" scheme to use
4304 as BATV-signed return path */
4311 switch(read_subs(sub_arg, 3, 2, &s, skipping, TRUE, US"prvs", &resetok))
4313 case 1: goto EXPAND_FAILED_CURLY;
4315 case 3: goto EXPAND_FAILED;
4318 /* If skipping, we don't actually do anything */
4319 if (skipping) continue;
4321 /* sub_arg[0] is the address */
4322 domain = Ustrrchr(sub_arg[0],'@');
4323 if ( (domain == NULL) || (domain == sub_arg[0]) || (Ustrlen(domain) == 1) )
4325 expand_string_message = US"prvs first argument must be a qualified email address";
4329 /* Calculate the hash. The second argument must be a single-digit
4330 key number, or unset. */
4332 if (sub_arg[2] != NULL &&
4333 (!isdigit(sub_arg[2][0]) || sub_arg[2][1] != 0))
4335 expand_string_message = US"prvs second argument must be a single digit";
4339 p = prvs_hmac_sha1(sub_arg[0],sub_arg[1],sub_arg[2],prvs_daystamp(7));
4342 expand_string_message = US"prvs hmac-sha1 conversion failed";
4346 /* Now separate the domain from the local part */
4349 yield = string_cat(yield,&size,&ptr,US"prvs=",5);
4350 string_cat(yield,&size,&ptr,(sub_arg[2] != NULL) ? sub_arg[2] : US"0", 1);
4351 string_cat(yield,&size,&ptr,prvs_daystamp(7),3);
4352 string_cat(yield,&size,&ptr,p,6);
4353 string_cat(yield,&size,&ptr,US"=",1);
4354 string_cat(yield,&size,&ptr,sub_arg[0],Ustrlen(sub_arg[0]));
4355 string_cat(yield,&size,&ptr,US"@",1);
4356 string_cat(yield,&size,&ptr,domain,Ustrlen(domain));
4361 /* Check a prvs-encoded address for validity */
4363 case EITEM_PRVSCHECK:
4366 int mysize = 0, myptr = 0;
4370 /* TF: Ugliness: We want to expand parameter 1 first, then set
4371 up expansion variables that are used in the expansion of
4372 parameter 2. So we clone the string for the first
4373 expansion, where we only expand parameter 1.
4375 PH: Actually, that isn't necessary. The read_subs() function is
4376 designed to work this way for the ${if and ${lookup expansions. I've
4380 /* Reset expansion variables */
4381 prvscheck_result = NULL;
4382 prvscheck_address = NULL;
4383 prvscheck_keynum = NULL;
4385 switch(read_subs(sub_arg, 1, 1, &s, skipping, FALSE, US"prvs", &resetok))
4387 case 1: goto EXPAND_FAILED_CURLY;
4389 case 3: goto EXPAND_FAILED;
4392 re = regex_must_compile(US"^prvs\\=([0-9])([0-9]{3})([A-F0-9]{6})\\=(.+)\\@(.+)$",
4395 if (regex_match_and_setup(re,sub_arg[0],0,-1))
4397 uschar *local_part = string_copyn(expand_nstring[4],expand_nlength[4]);
4398 uschar *key_num = string_copyn(expand_nstring[1],expand_nlength[1]);
4399 uschar *daystamp = string_copyn(expand_nstring[2],expand_nlength[2]);
4400 uschar *hash = string_copyn(expand_nstring[3],expand_nlength[3]);
4401 uschar *domain = string_copyn(expand_nstring[5],expand_nlength[5]);
4403 DEBUG(D_expand) debug_printf("prvscheck localpart: %s\n", local_part);
4404 DEBUG(D_expand) debug_printf("prvscheck key number: %s\n", key_num);
4405 DEBUG(D_expand) debug_printf("prvscheck daystamp: %s\n", daystamp);
4406 DEBUG(D_expand) debug_printf("prvscheck hash: %s\n", hash);
4407 DEBUG(D_expand) debug_printf("prvscheck domain: %s\n", domain);
4409 /* Set up expansion variables */
4410 prvscheck_address = string_cat(NULL, &mysize, &myptr, local_part, Ustrlen(local_part));
4411 string_cat(prvscheck_address,&mysize,&myptr,US"@",1);
4412 string_cat(prvscheck_address,&mysize,&myptr,domain,Ustrlen(domain));
4413 prvscheck_address[myptr] = '\0';
4414 prvscheck_keynum = string_copy(key_num);
4416 /* Now expand the second argument */
4417 switch(read_subs(sub_arg, 1, 1, &s, skipping, FALSE, US"prvs", &resetok))
4419 case 1: goto EXPAND_FAILED_CURLY;
4421 case 3: goto EXPAND_FAILED;
4424 /* Now we have the key and can check the address. */
4426 p = prvs_hmac_sha1(prvscheck_address, sub_arg[0], prvscheck_keynum,
4431 expand_string_message = US"hmac-sha1 conversion failed";
4435 DEBUG(D_expand) debug_printf("prvscheck: received hash is %s\n", hash);
4436 DEBUG(D_expand) debug_printf("prvscheck: own hash is %s\n", p);
4438 if (Ustrcmp(p,hash) == 0)
4440 /* Success, valid BATV address. Now check the expiry date. */
4441 uschar *now = prvs_daystamp(0);
4442 unsigned int inow = 0,iexpire = 1;
4444 (void)sscanf(CS now,"%u",&inow);
4445 (void)sscanf(CS daystamp,"%u",&iexpire);
4447 /* When "iexpire" is < 7, a "flip" has occured.
4448 Adjust "inow" accordingly. */
4449 if ( (iexpire < 7) && (inow >= 993) ) inow = 0;
4451 if (iexpire >= inow)
4453 prvscheck_result = US"1";
4454 DEBUG(D_expand) debug_printf("prvscheck: success, $pvrs_result set to 1\n");
4458 prvscheck_result = NULL;
4459 DEBUG(D_expand) debug_printf("prvscheck: signature expired, $pvrs_result unset\n");
4464 prvscheck_result = NULL;
4465 DEBUG(D_expand) debug_printf("prvscheck: hash failure, $pvrs_result unset\n");
4468 /* Now expand the final argument. We leave this till now so that
4469 it can include $prvscheck_result. */
4471 switch(read_subs(sub_arg, 1, 0, &s, skipping, TRUE, US"prvs", &resetok))
4473 case 1: goto EXPAND_FAILED_CURLY;
4475 case 3: goto EXPAND_FAILED;
4478 if (sub_arg[0] == NULL || *sub_arg[0] == '\0')
4479 yield = string_cat(yield,&size,&ptr,prvscheck_address,Ustrlen(prvscheck_address));
4481 yield = string_cat(yield,&size,&ptr,sub_arg[0],Ustrlen(sub_arg[0]));
4483 /* Reset the "internal" variables afterwards, because they are in
4484 dynamic store that will be reclaimed if the expansion succeeded. */
4486 prvscheck_address = NULL;
4487 prvscheck_keynum = NULL;
4491 /* Does not look like a prvs encoded address, return the empty string.
4492 We need to make sure all subs are expanded first, so as to skip over
4495 switch(read_subs(sub_arg, 2, 1, &s, skipping, TRUE, US"prvs", &resetok))
4497 case 1: goto EXPAND_FAILED_CURLY;
4499 case 3: goto EXPAND_FAILED;
4506 /* Handle "readfile" to insert an entire file */
4508 case EITEM_READFILE:
4513 if ((expand_forbid & RDO_READFILE) != 0)
4515 expand_string_message = US"file insertions are not permitted";
4519 switch(read_subs(sub_arg, 2, 1, &s, skipping, TRUE, US"readfile", &resetok))
4521 case 1: goto EXPAND_FAILED_CURLY;
4523 case 3: goto EXPAND_FAILED;
4526 /* If skipping, we don't actually do anything */
4528 if (skipping) continue;
4530 /* Open the file and read it */
4532 f = Ufopen(sub_arg[0], "rb");
4535 expand_string_message = string_open_failed(errno, "%s", sub_arg[0]);
4539 yield = cat_file(f, yield, &size, &ptr, sub_arg[1]);
4544 /* Handle "readsocket" to insert data from a Unix domain socket */
4546 case EITEM_READSOCK:
4552 struct sockaddr_un sockun; /* don't call this "sun" ! */
4556 if ((expand_forbid & RDO_READSOCK) != 0)
4558 expand_string_message = US"socket insertions are not permitted";
4562 /* Read up to 4 arguments, but don't do the end of item check afterwards,
4563 because there may be a string for expansion on failure. */
4565 switch(read_subs(sub_arg, 4, 2, &s, skipping, FALSE, US"readsocket", &resetok))
4567 case 1: goto EXPAND_FAILED_CURLY;
4568 case 2: /* Won't occur: no end check */
4569 case 3: goto EXPAND_FAILED;
4572 /* Sort out timeout, if given */
4574 if (sub_arg[2] != NULL)
4576 timeout = readconf_readtime(sub_arg[2], 0, FALSE);
4579 expand_string_message = string_sprintf("bad time value %s",
4584 else sub_arg[3] = NULL; /* No eol if no timeout */
4586 /* If skipping, we don't actually do anything. Otherwise, arrange to
4587 connect to either an IP or a Unix socket. */
4591 /* Handle an IP (internet) domain */
4593 if (Ustrncmp(sub_arg[0], "inet:", 5) == 0)
4596 uschar *server_name = sub_arg[0] + 5;
4597 uschar *port_name = Ustrrchr(server_name, ':');
4599 /* Sort out the port */
4601 if (port_name == NULL)
4603 expand_string_message =
4604 string_sprintf("missing port for readsocket %s", sub_arg[0]);
4607 *port_name++ = 0; /* Terminate server name */
4609 if (isdigit(*port_name))
4612 port = Ustrtol(port_name, &end, 0);
4613 if (end != port_name + Ustrlen(port_name))
4615 expand_string_message =
4616 string_sprintf("invalid port number %s", port_name);
4622 struct servent *service_info = getservbyname(CS port_name, "tcp");
4623 if (service_info == NULL)
4625 expand_string_message = string_sprintf("unknown port \"%s\"",
4629 port = ntohs(service_info->s_port);
4632 if ((fd = ip_connectedsocket(SOCK_STREAM, server_name, port, port,
4633 timeout, NULL, &expand_string_message)) < 0)
4637 /* Handle a Unix domain socket */
4642 if ((fd = socket(PF_UNIX, SOCK_STREAM, 0)) == -1)
4644 expand_string_message = string_sprintf("failed to create socket: %s",
4649 sockun.sun_family = AF_UNIX;
4650 sprintf(sockun.sun_path, "%.*s", (int)(sizeof(sockun.sun_path)-1),
4653 sigalrm_seen = FALSE;
4655 rc = connect(fd, (struct sockaddr *)(&sockun), sizeof(sockun));
4659 expand_string_message = US "socket connect timed out";
4664 expand_string_message = string_sprintf("failed to connect to socket "
4665 "%s: %s", sub_arg[0], strerror(errno));
4670 DEBUG(D_expand) debug_printf("connected to socket %s\n", sub_arg[0]);
4672 /* Allow sequencing of test actions */
4673 if (running_in_test_harness) millisleep(100);
4675 /* Write the request string, if not empty */
4677 if (sub_arg[1][0] != 0)
4679 int len = Ustrlen(sub_arg[1]);
4680 DEBUG(D_expand) debug_printf("writing \"%s\" to socket\n",
4682 if (write(fd, sub_arg[1], len) != len)
4684 expand_string_message = string_sprintf("request write to socket "
4685 "failed: %s", strerror(errno));
4690 /* Shut down the sending side of the socket. This helps some servers to
4691 recognise that it is their turn to do some work. Just in case some
4692 system doesn't have this function, make it conditional. */
4695 shutdown(fd, SHUT_WR);
4698 if (running_in_test_harness) millisleep(100);
4700 /* Now we need to read from the socket, under a timeout. The function
4701 that reads a file can be used. */
4703 f = fdopen(fd, "rb");
4704 sigalrm_seen = FALSE;
4706 yield = cat_file(f, yield, &size, &ptr, sub_arg[3]);
4710 /* After a timeout, we restore the pointer in the result, that is,
4711 make sure we add nothing from the socket. */
4716 expand_string_message = US "socket read timed out";
4721 /* The whole thing has worked (or we were skipping). If there is a
4722 failure string following, we need to skip it. */
4726 if (expand_string_internal(s+1, TRUE, &s, TRUE, TRUE, &resetok) == NULL)
4728 if (*s++ != '}') goto EXPAND_FAILED_CURLY;
4729 while (isspace(*s)) s++;
4731 if (*s++ != '}') goto EXPAND_FAILED_CURLY;
4734 /* Come here on failure to create socket, connect socket, write to the
4735 socket, or timeout on reading. If another substring follows, expand and
4736 use it. Otherwise, those conditions give expand errors. */
4739 if (*s != '{') goto EXPAND_FAILED;
4740 DEBUG(D_any) debug_printf("%s\n", expand_string_message);
4741 arg = expand_string_internal(s+1, TRUE, &s, FALSE, TRUE, &resetok);
4742 if (arg == NULL) goto EXPAND_FAILED;
4743 yield = string_cat(yield, &size, &ptr, arg, Ustrlen(arg));
4744 if (*s++ != '}') goto EXPAND_FAILED_CURLY;
4745 while (isspace(*s)) s++;
4746 if (*s++ != '}') goto EXPAND_FAILED_CURLY;
4750 /* Handle "run" to execute a program. */
4762 if ((expand_forbid & RDO_RUN) != 0)
4764 expand_string_message = US"running a command is not permitted";
4768 while (isspace(*s)) s++;
4769 if (*s != '{') goto EXPAND_FAILED_CURLY;
4770 arg = expand_string_internal(s+1, TRUE, &s, skipping, TRUE, &resetok);
4771 if (arg == NULL) goto EXPAND_FAILED;
4772 while (isspace(*s)) s++;
4773 if (*s++ != '}') goto EXPAND_FAILED_CURLY;
4775 if (skipping) /* Just pretend it worked when we're skipping */
4781 if (!transport_set_up_command(&argv, /* anchor for arg list */
4782 arg, /* raw command */
4783 FALSE, /* don't expand the arguments */
4784 0, /* not relevant when... */
4785 NULL, /* no transporting address */
4786 US"${run} expansion", /* for error messages */
4787 &expand_string_message)) /* where to put error message */
4792 /* Create the child process, making it a group leader. */
4794 pid = child_open(argv, NULL, 0077, &fd_in, &fd_out, TRUE);
4798 expand_string_message =
4799 string_sprintf("couldn't create child process: %s", strerror(errno));
4803 /* Nothing is written to the standard input. */
4807 /* Read the pipe to get the command's output into $value (which is kept
4808 in lookup_value). Read during execution, so that if the output exceeds
4809 the OS pipe buffer limit, we don't block forever. */
4811 f = fdopen(fd_out, "rb");
4812 sigalrm_seen = FALSE;
4814 lookup_value = cat_file(f, lookup_value, &lsize, &lptr, NULL);
4818 /* Wait for the process to finish, applying the timeout, and inspect its
4819 return code for serious disasters. Simple non-zero returns are passed on.
4822 if (sigalrm_seen == TRUE || (runrc = child_close(pid, 30)) < 0)
4824 if (sigalrm_seen == TRUE || runrc == -256)
4826 expand_string_message = string_sprintf("command timed out");
4827 killpg(pid, SIGKILL); /* Kill the whole process group */
4830 else if (runrc == -257)
4831 expand_string_message = string_sprintf("wait() failed: %s",
4835 expand_string_message = string_sprintf("command killed by signal %d",
4842 /* Process the yes/no strings; $value may be useful in both cases */
4844 switch(process_yesno(
4845 skipping, /* were previously skipping */
4846 runrc == 0, /* success/failure indicator */
4847 lookup_value, /* value to reset for string2 */
4848 &s, /* input pointer */
4849 &yield, /* output pointer */
4850 &size, /* output size */
4851 &ptr, /* output current point */
4852 US"run", /* condition type */
4855 case 1: goto EXPAND_FAILED; /* when all is well, the */
4856 case 2: goto EXPAND_FAILED_CURLY; /* returned value is 0 */
4862 /* Handle character translation for "tr" */
4870 switch(read_subs(sub, 3, 3, &s, skipping, TRUE, US"tr", &resetok))
4872 case 1: goto EXPAND_FAILED_CURLY;
4874 case 3: goto EXPAND_FAILED;
4877 yield = string_cat(yield, &size, &ptr, sub[0], Ustrlen(sub[0]));
4878 o2m = Ustrlen(sub[2]) - 1;
4880 if (o2m >= 0) for (; oldptr < ptr; oldptr++)
4882 uschar *m = Ustrrchr(sub[1], yield[oldptr]);
4886 yield[oldptr] = sub[2][(o < o2m)? o : o2m];
4893 /* Handle "hash", "length", "nhash", and "substr" when they are given with
4894 expanded arguments. */
4904 int val[2] = { 0, -1 };
4907 /* "length" takes only 2 arguments whereas the others take 2 or 3.
4908 Ensure that sub[2] is set in the ${length } case. */
4911 switch(read_subs(sub, (item_type == EITEM_LENGTH)? 2:3, 2, &s, skipping,
4912 TRUE, name, &resetok))
4914 case 1: goto EXPAND_FAILED_CURLY;
4916 case 3: goto EXPAND_FAILED;
4919 /* Juggle the arguments if there are only two of them: always move the
4920 string to the last position and make ${length{n}{str}} equivalent to
4921 ${substr{0}{n}{str}}. See the defaults for val[] above. */
4927 if (item_type == EITEM_LENGTH)
4934 for (i = 0; i < 2; i++)
4936 if (sub[i] == NULL) continue;
4937 val[i] = (int)Ustrtol(sub[i], &ret, 10);
4938 if (*ret != 0 || (i != 0 && val[i] < 0))
4940 expand_string_message = string_sprintf("\"%s\" is not a%s number "
4941 "(in \"%s\" expansion)", sub[i], (i != 0)? " positive" : "", name);
4947 (item_type == EITEM_HASH)?
4948 compute_hash(sub[2], val[0], val[1], &len) :
4949 (item_type == EITEM_NHASH)?
4950 compute_nhash(sub[2], val[0], val[1], &len) :
4951 extract_substr(sub[2], val[0], val[1], &len);
4953 if (ret == NULL) goto EXPAND_FAILED;
4954 yield = string_cat(yield, &size, &ptr, ret, len);
4958 /* Handle HMAC computation: ${hmac{<algorithm>}{<secret>}{<text>}}
4959 This code originally contributed by Steve Haslam. It currently supports
4960 the use of MD5 and SHA-1 hashes.
4962 We need some workspace that is large enough to handle all the supported
4963 hash types. Use macros to set the sizes rather than be too elaborate. */
4965 #define MAX_HASHLEN 20
4966 #define MAX_HASHBLOCKLEN 64
4975 int hashlen; /* Number of octets for the hash algorithm's output */
4976 int hashblocklen; /* Number of octets the hash algorithm processes */
4978 unsigned int keylen;
4980 uschar keyhash[MAX_HASHLEN];
4981 uschar innerhash[MAX_HASHLEN];
4982 uschar finalhash[MAX_HASHLEN];
4983 uschar finalhash_hex[2*MAX_HASHLEN];
4984 uschar innerkey[MAX_HASHBLOCKLEN];
4985 uschar outerkey[MAX_HASHBLOCKLEN];
4987 switch (read_subs(sub, 3, 3, &s, skipping, TRUE, name, &resetok))
4989 case 1: goto EXPAND_FAILED_CURLY;
4991 case 3: goto EXPAND_FAILED;
4994 if (Ustrcmp(sub[0], "md5") == 0)
4997 use_base = &md5_base;
5001 else if (Ustrcmp(sub[0], "sha1") == 0)
5004 use_base = &sha1_base;
5010 expand_string_message =
5011 string_sprintf("hmac algorithm \"%s\" is not recognised", sub[0]);
5016 keylen = Ustrlen(keyptr);
5018 /* If the key is longer than the hash block length, then hash the key
5021 if (keylen > hashblocklen)
5023 chash_start(type, use_base);
5024 chash_end(type, use_base, keyptr, keylen, keyhash);
5029 /* Now make the inner and outer key values */
5031 memset(innerkey, 0x36, hashblocklen);
5032 memset(outerkey, 0x5c, hashblocklen);
5034 for (i = 0; i < keylen; i++)
5036 innerkey[i] ^= keyptr[i];
5037 outerkey[i] ^= keyptr[i];
5040 /* Now do the hashes */
5042 chash_start(type, use_base);
5043 chash_mid(type, use_base, innerkey);
5044 chash_end(type, use_base, sub[2], Ustrlen(sub[2]), innerhash);
5046 chash_start(type, use_base);
5047 chash_mid(type, use_base, outerkey);
5048 chash_end(type, use_base, innerhash, hashlen, finalhash);
5050 /* Encode the final hash as a hex string */
5053 for (i = 0; i < hashlen; i++)
5055 *p++ = hex_digits[(finalhash[i] & 0xf0) >> 4];
5056 *p++ = hex_digits[finalhash[i] & 0x0f];
5059 DEBUG(D_any) debug_printf("HMAC[%s](%.*s,%.*s)=%.*s\n", sub[0],
5060 (int)keylen, keyptr, Ustrlen(sub[2]), sub[2], hashlen*2, finalhash_hex);
5062 yield = string_cat(yield, &size, &ptr, finalhash_hex, hashlen*2);
5067 /* Handle global substitution for "sg" - like Perl's s/xxx/yyy/g operator.
5068 We have to save the numerical variables and restore them afterwards. */
5073 int moffset, moffsetextra, slen;
5076 const uschar *rerror;
5079 int save_expand_nmax =
5080 save_expand_strings(save_expand_nstring, save_expand_nlength);
5082 switch(read_subs(sub, 3, 3, &s, skipping, TRUE, US"sg", &resetok))
5084 case 1: goto EXPAND_FAILED_CURLY;
5086 case 3: goto EXPAND_FAILED;
5089 /* Compile the regular expression */
5091 re = pcre_compile(CS sub[1], PCRE_COPT, (const char **)&rerror, &roffset,
5096 expand_string_message = string_sprintf("regular expression error in "
5097 "\"%s\": %s at offset %d", sub[1], rerror, roffset);
5101 /* Now run a loop to do the substitutions as often as necessary. It ends
5102 when there are no more matches. Take care over matches of the null string;
5103 do the same thing as Perl does. */
5106 slen = Ustrlen(sub[0]);
5107 moffset = moffsetextra = 0;
5112 int ovector[3*(EXPAND_MAXN+1)];
5113 int n = pcre_exec(re, NULL, CS subject, slen, moffset + moffsetextra,
5114 PCRE_EOPT | emptyopt, ovector, sizeof(ovector)/sizeof(int));
5118 /* No match - if we previously set PCRE_NOTEMPTY after a null match, this
5119 is not necessarily the end. We want to repeat the match from one
5120 character further along, but leaving the basic offset the same (for
5121 copying below). We can't be at the end of the string - that was checked
5122 before setting PCRE_NOTEMPTY. If PCRE_NOTEMPTY is not set, we are
5123 finished; copy the remaining string and end the loop. */
5133 yield = string_cat(yield, &size, &ptr, subject+moffset, slen-moffset);
5137 /* Match - set up for expanding the replacement. */
5139 if (n == 0) n = EXPAND_MAXN + 1;
5141 for (nn = 0; nn < n*2; nn += 2)
5143 expand_nstring[expand_nmax] = subject + ovector[nn];
5144 expand_nlength[expand_nmax++] = ovector[nn+1] - ovector[nn];
5148 /* Copy the characters before the match, plus the expanded insertion. */
5150 yield = string_cat(yield, &size, &ptr, subject + moffset,
5151 ovector[0] - moffset);
5152 insert = expand_string(sub[2]);
5153 if (insert == NULL) goto EXPAND_FAILED;
5154 yield = string_cat(yield, &size, &ptr, insert, Ustrlen(insert));
5156 moffset = ovector[1];
5160 /* If we have matched an empty string, first check to see if we are at
5161 the end of the subject. If so, the loop is over. Otherwise, mimic
5162 what Perl's /g options does. This turns out to be rather cunning. First
5163 we set PCRE_NOTEMPTY and PCRE_ANCHORED and try the match a non-empty
5164 string at the same point. If this fails (picked up above) we advance to
5165 the next character. */
5167 if (ovector[0] == ovector[1])
5169 if (ovector[0] == slen) break;
5170 emptyopt = PCRE_NOTEMPTY | PCRE_ANCHORED;
5174 /* All done - restore numerical variables. */
5176 restore_expand_strings(save_expand_nmax, save_expand_nstring,
5177 save_expand_nlength);
5181 /* Handle keyed and numbered substring extraction. If the first argument
5182 consists entirely of digits, then a numerical extraction is assumed. */
5188 int field_number = 1;
5189 BOOL field_number_set = FALSE;
5190 uschar *save_lookup_value = lookup_value;
5192 int save_expand_nmax =
5193 save_expand_strings(save_expand_nstring, save_expand_nlength);
5195 /* Read the arguments */
5197 for (i = 0; i < j; i++)
5199 while (isspace(*s)) s++;
5200 if (*s == '{') /*}*/
5202 sub[i] = expand_string_internal(s+1, TRUE, &s, skipping, TRUE, &resetok);
5203 if (sub[i] == NULL) goto EXPAND_FAILED; /*{*/
5204 if (*s++ != '}') goto EXPAND_FAILED_CURLY;
5206 /* After removal of leading and trailing white space, the first
5207 argument must not be empty; if it consists entirely of digits
5208 (optionally preceded by a minus sign), this is a numerical
5209 extraction, and we expect 3 arguments. */
5217 while (isspace(*p)) p++;
5221 while (len > 0 && isspace(p[len-1])) len--;
5224 if (*p == 0 && !skipping)
5226 expand_string_message = US"first argument of \"extract\" must "
5236 while (*p != 0 && isdigit(*p)) x = x * 10 + *p++ - '0';
5240 j = 3; /* Need 3 args */
5241 field_number_set = TRUE;
5245 else goto EXPAND_FAILED_CURLY;
5248 /* Extract either the numbered or the keyed substring into $value. If
5249 skipping, just pretend the extraction failed. */
5251 lookup_value = skipping? NULL : field_number_set?
5252 expand_gettokened(field_number, sub[1], sub[2]) :
5253 expand_getkeyed(sub[0], sub[1]);
5255 /* If no string follows, $value gets substituted; otherwise there can
5256 be yes/no strings, as for lookup or if. */
5258 switch(process_yesno(
5259 skipping, /* were previously skipping */
5260 lookup_value != NULL, /* success/failure indicator */
5261 save_lookup_value, /* value to reset for string2 */
5262 &s, /* input pointer */
5263 &yield, /* output pointer */
5264 &size, /* output size */
5265 &ptr, /* output current point */
5266 US"extract", /* condition type */
5269 case 1: goto EXPAND_FAILED; /* when all is well, the */
5270 case 2: goto EXPAND_FAILED_CURLY; /* returned value is 0 */
5273 /* All done - restore numerical variables. */
5275 restore_expand_strings(save_expand_nmax, save_expand_nstring,
5276 save_expand_nlength);
5281 /* return the Nth item from a list */
5283 case EITEM_LISTEXTRACT:
5286 int field_number = 1;
5287 uschar *save_lookup_value = lookup_value;
5289 int save_expand_nmax =
5290 save_expand_strings(save_expand_nstring, save_expand_nlength);
5292 /* Read the field & list arguments */
5294 for (i = 0; i < 2; i++)
5296 while (isspace(*s)) s++;
5297 if (*s != '{') /*}*/
5298 goto EXPAND_FAILED_CURLY;
5300 sub[i] = expand_string_internal(s+1, TRUE, &s, skipping, TRUE, &resetok);
5301 if (!sub[i]) goto EXPAND_FAILED; /*{*/
5302 if (*s++ != '}') goto EXPAND_FAILED_CURLY;
5304 /* After removal of leading and trailing white space, the first
5305 argument must be numeric and nonempty. */
5313 while (isspace(*p)) p++;
5317 while (len > 0 && isspace(p[len-1])) len--;
5320 if (!*p && !skipping)
5322 expand_string_message = US"first argument of \"listextract\" must "
5332 while (*p && isdigit(*p)) x = x * 10 + *p++ - '0';
5335 expand_string_message = US"first argument of \"listextract\" must "
5343 /* Extract the numbered element into $value. If
5344 skipping, just pretend the extraction failed. */
5346 lookup_value = skipping? NULL : expand_getlistele(field_number, sub[1]);
5348 /* If no string follows, $value gets substituted; otherwise there can
5349 be yes/no strings, as for lookup or if. */
5351 switch(process_yesno(
5352 skipping, /* were previously skipping */
5353 lookup_value != NULL, /* success/failure indicator */
5354 save_lookup_value, /* value to reset for string2 */
5355 &s, /* input pointer */
5356 &yield, /* output pointer */
5357 &size, /* output size */
5358 &ptr, /* output current point */
5359 US"extract", /* condition type */
5362 case 1: goto EXPAND_FAILED; /* when all is well, the */
5363 case 2: goto EXPAND_FAILED_CURLY; /* returned value is 0 */
5366 /* All done - restore numerical variables. */
5368 restore_expand_strings(save_expand_nmax, save_expand_nstring,
5369 save_expand_nlength);
5375 case EITEM_CERTEXTRACT:
5377 uschar *save_lookup_value = lookup_value;
5379 int save_expand_nmax =
5380 save_expand_strings(save_expand_nstring, save_expand_nlength);
5382 /* Read the field argument */
5383 while (isspace(*s)) s++;
5384 if (*s != '{') /*}*/
5385 goto EXPAND_FAILED_CURLY;
5386 sub[0] = expand_string_internal(s+1, TRUE, &s, skipping, TRUE, &resetok);
5387 if (!sub[0]) goto EXPAND_FAILED; /*{*/
5388 if (*s++ != '}') goto EXPAND_FAILED_CURLY;
5389 /* strip spaces fore & aft */
5394 while (isspace(*p)) p++;
5398 while (len > 0 && isspace(p[len-1])) len--;
5402 /* inspect the cert argument */
5403 while (isspace(*s)) s++;
5404 if (*s != '{') /*}*/
5405 goto EXPAND_FAILED_CURLY;
5408 expand_string_message = US"second argument of \"certextract\" must "
5409 "be a certificate variable";
5412 sub[1] = expand_string_internal(s+1, TRUE, &s, skipping, FALSE, &resetok);
5413 if (!sub[1]) goto EXPAND_FAILED; /*{*/
5414 if (*s++ != '}') goto EXPAND_FAILED_CURLY;
5417 lookup_value = NULL;
5420 lookup_value = expand_getcertele(sub[0], sub[1]);
5421 if (*expand_string_message) goto EXPAND_FAILED;
5423 switch(process_yesno(
5424 skipping, /* were previously skipping */
5425 lookup_value != NULL, /* success/failure indicator */
5426 save_lookup_value, /* value to reset for string2 */
5427 &s, /* input pointer */
5428 &yield, /* output pointer */
5429 &size, /* output size */
5430 &ptr, /* output current point */
5431 US"extract", /* condition type */
5434 case 1: goto EXPAND_FAILED; /* when all is well, the */
5435 case 2: goto EXPAND_FAILED_CURLY; /* returned value is 0 */
5438 restore_expand_strings(save_expand_nmax, save_expand_nstring,
5439 save_expand_nlength);
5442 #endif /*SUPPORT_TLS*/
5444 /* Handle list operations */
5452 uschar outsep[2] = { '\0', '\0' };
5453 uschar *list, *expr, *temp;
5454 uschar *save_iterate_item = iterate_item;
5455 uschar *save_lookup_value = lookup_value;
5457 while (isspace(*s)) s++;
5458 if (*s++ != '{') goto EXPAND_FAILED_CURLY;
5460 list = expand_string_internal(s, TRUE, &s, skipping, TRUE, &resetok);
5461 if (list == NULL) goto EXPAND_FAILED;
5462 if (*s++ != '}') goto EXPAND_FAILED_CURLY;
5464 if (item_type == EITEM_REDUCE)
5466 while (isspace(*s)) s++;
5467 if (*s++ != '{') goto EXPAND_FAILED_CURLY;
5468 temp = expand_string_internal(s, TRUE, &s, skipping, TRUE, &resetok);
5469 if (temp == NULL) goto EXPAND_FAILED;
5470 lookup_value = temp;
5471 if (*s++ != '}') goto EXPAND_FAILED_CURLY;
5474 while (isspace(*s)) s++;
5475 if (*s++ != '{') goto EXPAND_FAILED_CURLY;
5479 /* For EITEM_FILTER, call eval_condition once, with result discarded (as
5480 if scanning a "false" part). This allows us to find the end of the
5481 condition, because if the list is empty, we won't actually evaluate the
5482 condition for real. For EITEM_MAP and EITEM_REDUCE, do the same, using
5483 the normal internal expansion function. */
5485 if (item_type == EITEM_FILTER)
5487 temp = eval_condition(expr, &resetok, NULL);
5488 if (temp != NULL) s = temp;
5492 temp = expand_string_internal(s, TRUE, &s, TRUE, TRUE, &resetok);
5497 expand_string_message = string_sprintf("%s inside \"%s\" item",
5498 expand_string_message, name);
5502 while (isspace(*s)) s++;
5505 expand_string_message = string_sprintf("missing } at end of condition "
5506 "or expression inside \"%s\"", name);
5510 while (isspace(*s)) s++; /*{*/
5513 expand_string_message = string_sprintf("missing } at end of \"%s\"",
5518 /* If we are skipping, we can now just move on to the next item. When
5519 processing for real, we perform the iteration. */
5521 if (skipping) continue;
5522 while ((iterate_item = string_nextinlist(&list, &sep, NULL, 0)) != NULL)
5524 *outsep = (uschar)sep; /* Separator as a string */
5526 DEBUG(D_expand) debug_printf("%s: $item = \"%s\"\n", name, iterate_item);
5528 if (item_type == EITEM_FILTER)
5531 if (eval_condition(expr, &resetok, &condresult) == NULL)
5533 iterate_item = save_iterate_item;
5534 lookup_value = save_lookup_value;
5535 expand_string_message = string_sprintf("%s inside \"%s\" condition",
5536 expand_string_message, name);
5539 DEBUG(D_expand) debug_printf("%s: condition is %s\n", name,
5540 condresult? "true":"false");
5542 temp = iterate_item; /* TRUE => include this item */
5544 continue; /* FALSE => skip this item */
5547 /* EITEM_MAP and EITEM_REDUCE */
5551 temp = expand_string_internal(expr, TRUE, NULL, skipping, TRUE, &resetok);
5554 iterate_item = save_iterate_item;
5555 expand_string_message = string_sprintf("%s inside \"%s\" item",
5556 expand_string_message, name);
5559 if (item_type == EITEM_REDUCE)
5561 lookup_value = temp; /* Update the value of $value */
5562 continue; /* and continue the iteration */
5566 /* We reach here for FILTER if the condition is true, always for MAP,
5567 and never for REDUCE. The value in "temp" is to be added to the output
5568 list that is being created, ensuring that any occurrences of the
5569 separator character are doubled. Unless we are dealing with the first
5570 item of the output list, add in a space if the new item begins with the
5571 separator character, or is an empty string. */
5573 if (ptr != save_ptr && (temp[0] == *outsep || temp[0] == 0))
5574 yield = string_cat(yield, &size, &ptr, US" ", 1);
5576 /* Add the string in "temp" to the output list that we are building,
5577 This is done in chunks by searching for the separator character. */
5581 size_t seglen = Ustrcspn(temp, outsep);
5582 yield = string_cat(yield, &size, &ptr, temp, seglen + 1);
5584 /* If we got to the end of the string we output one character
5585 too many; backup and end the loop. Otherwise arrange to double the
5588 if (temp[seglen] == '\0') { ptr--; break; }
5589 yield = string_cat(yield, &size, &ptr, outsep, 1);
5593 /* Output a separator after the string: we will remove the redundant
5594 final one at the end. */
5596 yield = string_cat(yield, &size, &ptr, outsep, 1);
5597 } /* End of iteration over the list loop */
5599 /* REDUCE has generated no output above: output the final value of
5602 if (item_type == EITEM_REDUCE)
5604 yield = string_cat(yield, &size, &ptr, lookup_value,
5605 Ustrlen(lookup_value));
5606 lookup_value = save_lookup_value; /* Restore $value */
5609 /* FILTER and MAP generate lists: if they have generated anything, remove
5610 the redundant final separator. Even though an empty item at the end of a
5611 list does not count, this is tidier. */
5613 else if (ptr != save_ptr) ptr--;
5615 /* Restore preserved $item */
5617 iterate_item = save_iterate_item;
5622 /* If ${dlfunc } support is configured, handle calling dynamically-loaded
5623 functions, unless locked out at this time. Syntax is ${dlfunc{file}{func}}
5624 or ${dlfunc{file}{func}{arg}} or ${dlfunc{file}{func}{arg1}{arg2}} or up to
5625 a maximum of EXPAND_DLFUNC_MAX_ARGS arguments (defined below). */
5627 #define EXPAND_DLFUNC_MAX_ARGS 8
5630 #ifndef EXPAND_DLFUNC
5631 expand_string_message = US"\"${dlfunc\" encountered, but this facility " /*}*/
5632 "is not included in this binary";
5635 #else /* EXPAND_DLFUNC */
5638 exim_dlfunc_t *func;
5641 uschar *argv[EXPAND_DLFUNC_MAX_ARGS + 3];
5643 if ((expand_forbid & RDO_DLFUNC) != 0)
5645 expand_string_message =
5646 US"dynamically-loaded functions are not permitted";
5650 switch(read_subs(argv, EXPAND_DLFUNC_MAX_ARGS + 2, 2, &s, skipping,
5651 TRUE, US"dlfunc", &resetok))
5653 case 1: goto EXPAND_FAILED_CURLY;
5655 case 3: goto EXPAND_FAILED;
5658 /* If skipping, we don't actually do anything */
5660 if (skipping) continue;
5662 /* Look up the dynamically loaded object handle in the tree. If it isn't
5663 found, dlopen() the file and put the handle in the tree for next time. */
5665 t = tree_search(dlobj_anchor, argv[0]);
5668 void *handle = dlopen(CS argv[0], RTLD_LAZY);
5671 expand_string_message = string_sprintf("dlopen \"%s\" failed: %s",
5672 argv[0], dlerror());
5673 log_write(0, LOG_MAIN|LOG_PANIC, "%s", expand_string_message);
5676 t = store_get_perm(sizeof(tree_node) + Ustrlen(argv[0]));
5677 Ustrcpy(t->name, argv[0]);
5678 t->data.ptr = handle;
5679 (void)tree_insertnode(&dlobj_anchor, t);
5682 /* Having obtained the dynamically loaded object handle, look up the
5683 function pointer. */
5685 func = (exim_dlfunc_t *)dlsym(t->data.ptr, CS argv[1]);
5688 expand_string_message = string_sprintf("dlsym \"%s\" in \"%s\" failed: "
5689 "%s", argv[1], argv[0], dlerror());
5690 log_write(0, LOG_MAIN|LOG_PANIC, "%s", expand_string_message);
5694 /* Call the function and work out what to do with the result. If it
5695 returns OK, we have a replacement string; if it returns DEFER then
5696 expansion has failed in a non-forced manner; if it returns FAIL then
5697 failure was forced; if it returns ERROR or any other value there's a
5698 problem, so panic slightly. In any case, assume that the function has
5699 side-effects on the store that must be preserved. */
5703 for (argc = 0; argv[argc] != NULL; argc++);
5704 status = func(&result, argc - 2, &argv[2]);
5707 if (result == NULL) result = US"";
5708 yield = string_cat(yield, &size, &ptr, result, Ustrlen(result));
5713 expand_string_message = result == NULL ? US"(no message)" : result;
5714 if(status == FAIL_FORCED) expand_string_forcedfail = TRUE;
5715 else if(status != FAIL)
5716 log_write(0, LOG_MAIN|LOG_PANIC, "dlfunc{%s}{%s} failed (%d): %s",
5717 argv[0], argv[1], status, expand_string_message);
5721 #endif /* EXPAND_DLFUNC */
5722 } /* EITEM_* switch */
5724 /* Control reaches here if the name is not recognized as one of the more
5725 complicated expansion items. Check for the "operator" syntax (name terminated
5726 by a colon). Some of the operators have arguments, separated by _ from the
5734 var_entry *vp = NULL;
5736 /* Owing to an historical mis-design, an underscore may be part of the
5737 operator name, or it may introduce arguments. We therefore first scan the
5738 table of names that contain underscores. If there is no match, we cut off
5739 the arguments and then scan the main table. */
5741 if ((c = chop_match(name, op_table_underscore,
5742 sizeof(op_table_underscore)/sizeof(uschar *))) < 0)
5744 arg = Ustrchr(name, '_');
5745 if (arg != NULL) *arg = 0;
5746 c = chop_match(name, op_table_main,
5747 sizeof(op_table_main)/sizeof(uschar *));
5748 if (c >= 0) c += sizeof(op_table_underscore)/sizeof(uschar *);
5749 if (arg != NULL) *arg++ = '_'; /* Put back for error messages */
5752 /* Deal specially with operators that might take a certificate variable
5753 as we do not want to do the usual expansion. For most, expand the string.*/
5763 sub = expand_string_internal(s+2, TRUE, &s1, skipping,
5765 if (!sub) goto EXPAND_FAILED; /*{*/
5766 if (*s1 != '}') goto EXPAND_FAILED_CURLY;
5767 if ((vp = find_var_ent(sub)) && vp->type == vtype_cert)
5777 sub = expand_string_internal(s+1, TRUE, &s, skipping, TRUE, &resetok);
5778 if (!sub) goto EXPAND_FAILED;
5783 /* If we are skipping, we don't need to perform the operation at all.
5784 This matters for operations like "mask", because the data may not be
5785 in the correct format when skipping. For example, the expression may test
5786 for the existence of $sender_host_address before trying to mask it. For
5787 other operations, doing them may not fail, but it is a waste of time. */
5789 if (skipping && c >= 0) continue;
5791 /* Otherwise, switch on the operator type */
5798 unsigned long int n = Ustrtoul(sub, &t, 10);
5801 expand_string_message = string_sprintf("argument for base62 "
5802 "operator is \"%s\", which is not a decimal number", sub);
5805 t = string_base62(n);
5806 yield = string_cat(yield, &size, &ptr, t, Ustrlen(t));
5810 /* Note that for Darwin and Cygwin, BASE_62 actually has the value 36 */
5816 unsigned long int n = 0;
5819 uschar *t = Ustrchr(base62_chars, *tt++);
5822 expand_string_message = string_sprintf("argument for base62d "
5823 "operator is \"%s\", which is not a base %d number", sub,
5827 n = n * BASE_62 + (t - base62_chars);
5829 (void)sprintf(CS buf, "%ld", n);
5830 yield = string_cat(yield, &size, &ptr, buf, Ustrlen(buf));
5836 uschar *expanded = expand_string_internal(sub, FALSE, NULL, skipping, TRUE, &resetok);
5837 if (expanded == NULL)
5839 expand_string_message =
5840 string_sprintf("internal expansion of \"%s\" failed: %s", sub,
5841 expand_string_message);
5844 yield = string_cat(yield, &size, &ptr, expanded, Ustrlen(expanded));
5851 uschar *t = sub - 1;
5852 while (*(++t) != 0) { *t = tolower(*t); count++; }
5853 yield = string_cat(yield, &size, &ptr, sub, count);
5860 uschar *t = sub - 1;
5861 while (*(++t) != 0) { *t = toupper(*t); count++; }
5862 yield = string_cat(yield, &size, &ptr, sub, count);
5868 if (vp && *(void **)vp->value)
5870 uschar * cp = tls_cert_fprt_md5(*(void **)vp->value);
5871 yield = string_cat(yield, &size, &ptr, cp, Ustrlen(cp));
5881 md5_end(&base, sub, Ustrlen(sub), digest);
5882 for(j = 0; j < 16; j++) sprintf(st+2*j, "%02x", digest[j]);
5883 yield = string_cat(yield, &size, &ptr, US st, (int)strlen(st));
5889 if (vp && *(void **)vp->value)
5891 uschar * cp = tls_cert_fprt_sha1(*(void **)vp->value);
5892 yield = string_cat(yield, &size, &ptr, cp, Ustrlen(cp));
5902 sha1_end(&base, sub, Ustrlen(sub), digest);
5903 for(j = 0; j < 20; j++) sprintf(st+2*j, "%02X", digest[j]);
5904 yield = string_cat(yield, &size, &ptr, US st, (int)strlen(st));
5910 if (vp && *(void **)vp->value)
5912 uschar * cp = tls_cert_fprt_sha256(*(void **)vp->value);
5913 yield = string_cat(yield, &size, &ptr, cp, (int)Ustrlen(cp));
5917 expand_string_message = US"sha256 only supported for certificates";
5920 /* Convert hex encoding to base64 encoding */
5930 for (enc = sub; *enc != 0; enc++)
5932 if (!isxdigit(*enc))
5934 expand_string_message = string_sprintf("\"%s\" is not a hex "
5943 expand_string_message = string_sprintf("\"%s\" contains an odd "
5944 "number of characters", sub);
5948 while ((c = *in++) != 0)
5950 if (isdigit(c)) c -= '0';
5951 else c = toupper(c) - 'A' + 10;
5963 enc = auth_b64encode(sub, out - sub);
5964 yield = string_cat(yield, &size, &ptr, enc, Ustrlen(enc));
5968 /* Convert octets outside 0x21..0x7E to \xXX form */
5972 uschar *t = sub - 1;
5975 if (*t < 0x21 || 0x7E < *t)
5976 yield = string_cat(yield, &size, &ptr,
5977 string_sprintf("\\x%02x", *t), 4);
5979 yield = string_cat(yield, &size, &ptr, t, 1);
5984 /* count the number of list elements */
5993 while (string_nextinlist(&sub, &sep, buffer, sizeof(buffer)) != NULL) cnt++;
5994 cp = string_sprintf("%d", cnt);
5995 yield = string_cat(yield, &size, &ptr, cp, Ustrlen(cp));
5999 /* expand a named list given the name */
6000 /* handles nested named lists; requotes as colon-sep list */
6004 tree_node *t = NULL;
6008 uschar * suffix = US"";
6009 BOOL needsep = FALSE;
6012 if (*sub == '+') sub++;
6013 if (arg == NULL) /* no-argument version */
6015 if (!(t = tree_search(addresslist_anchor, sub)) &&
6016 !(t = tree_search(domainlist_anchor, sub)) &&
6017 !(t = tree_search(hostlist_anchor, sub)))
6018 t = tree_search(localpartlist_anchor, sub);
6020 else switch(*arg) /* specific list-type version */
6022 case 'a': t = tree_search(addresslist_anchor, sub); suffix = US"_a"; break;
6023 case 'd': t = tree_search(domainlist_anchor, sub); suffix = US"_d"; break;
6024 case 'h': t = tree_search(hostlist_anchor, sub); suffix = US"_h"; break;
6025 case 'l': t = tree_search(localpartlist_anchor, sub); suffix = US"_l"; break;
6027 expand_string_message = string_sprintf("bad suffix on \"list\" operator");
6033 expand_string_message = string_sprintf("\"%s\" is not a %snamed list",
6035 : *arg=='a'?"address "
6036 : *arg=='d'?"domain "
6038 : *arg=='l'?"localpart "
6043 list = ((namedlist_block *)(t->data.ptr))->string;
6045 while ((item = string_nextinlist(&list, &sep, buffer, sizeof(buffer))) != NULL)
6047 uschar * buf = US" : ";
6049 yield = string_cat(yield, &size, &ptr, buf, 3);
6053 if (*item == '+') /* list item is itself a named list */
6055 uschar * sub = string_sprintf("${listnamed%s:%s}", suffix, item);
6056 item = expand_string_internal(sub, FALSE, NULL, FALSE, TRUE, &resetok);
6058 else if (sep != ':') /* item from non-colon-sep list, re-quote for colon list-separator */
6062 tok[0] = sep; tok[1] = ':'; tok[2] = 0;
6063 while ((cp= strpbrk((const char *)item, tok)))
6065 yield = string_cat(yield, &size, &ptr, item, cp-(char *)item);
6066 if (*cp++ == ':') /* colon in a non-colon-sep list item, needs doubling */
6068 yield = string_cat(yield, &size, &ptr, US"::", 2);
6069 item = (uschar *)cp;
6071 else /* sep in item; should already be doubled; emit once */
6073 yield = string_cat(yield, &size, &ptr, (uschar *)tok, 1);
6074 if (*cp == sep) cp++;
6075 item = (uschar *)cp;
6079 yield = string_cat(yield, &size, &ptr, item, Ustrlen(item));
6084 /* mask applies a mask to an IP address; for example the result of
6085 ${mask:131.111.10.206/28} is 131.111.10.192/28. */
6092 int mask, maskoffset;
6093 int type = string_is_ip_address(sub, &maskoffset);
6098 expand_string_message = string_sprintf("\"%s\" is not an IP address",
6103 if (maskoffset == 0)
6105 expand_string_message = string_sprintf("missing mask value in \"%s\"",
6110 mask = Ustrtol(sub + maskoffset + 1, &endptr, 10);
6112 if (*endptr != 0 || mask < 0 || mask > ((type == 4)? 32 : 128))
6114 expand_string_message = string_sprintf("mask value too big in \"%s\"",
6119 /* Convert the address to binary integer(s) and apply the mask */
6121 sub[maskoffset] = 0;
6122 count = host_aton(sub, binary);
6123 host_mask(count, binary, mask);
6125 /* Convert to masked textual format and add to output. */
6127 yield = string_cat(yield, &size, &ptr, buffer,
6128 host_nmtoa(count, binary, mask, buffer, '.'));
6133 case EOP_LOCAL_PART:
6137 int start, end, domain;
6138 uschar *t = parse_extract_address(sub, &error, &start, &end, &domain,
6142 if (c != EOP_DOMAIN)
6144 if (c == EOP_LOCAL_PART && domain != 0) end = start + domain - 1;
6145 yield = string_cat(yield, &size, &ptr, sub+start, end-start);
6147 else if (domain != 0)
6150 yield = string_cat(yield, &size, &ptr, sub+domain, end-domain);
6158 uschar outsep[2] = { ':', '\0' };
6159 uschar *address, *error;
6161 int start, end, domain; /* Not really used */
6163 while (isspace(*sub)) sub++;
6164 if (*sub == '>') { *outsep = *++sub; ++sub; }
6165 parse_allow_group = TRUE;
6169 uschar *p = parse_find_address_end(sub, FALSE);
6170 uschar saveend = *p;
6172 address = parse_extract_address(sub, &error, &start, &end, &domain,
6176 /* Add the address to the output list that we are building. This is
6177 done in chunks by searching for the separator character. At the
6178 start, unless we are dealing with the first address of the output
6179 list, add in a space if the new address begins with the separator
6180 character, or is an empty string. */
6182 if (address != NULL)
6184 if (ptr != save_ptr && address[0] == *outsep)
6185 yield = string_cat(yield, &size, &ptr, US" ", 1);
6189 size_t seglen = Ustrcspn(address, outsep);
6190 yield = string_cat(yield, &size, &ptr, address, seglen + 1);
6192 /* If we got to the end of the string we output one character
6195 if (address[seglen] == '\0') { ptr--; break; }
6196 yield = string_cat(yield, &size, &ptr, outsep, 1);
6197 address += seglen + 1;
6200 /* Output a separator after the string: we will remove the
6201 redundant final one at the end. */
6203 yield = string_cat(yield, &size, &ptr, outsep, 1);
6206 if (saveend == '\0') break;
6210 /* If we have generated anything, remove the redundant final
6213 if (ptr != save_ptr) ptr--;
6214 parse_allow_group = FALSE;
6219 /* quote puts a string in quotes if it is empty or contains anything
6220 other than alphamerics, underscore, dot, or hyphen.
6222 quote_local_part puts a string in quotes if RFC 2821/2822 requires it to
6223 be quoted in order to be a valid local part.
6225 In both cases, newlines and carriage returns are converted into \n and \r
6229 case EOP_QUOTE_LOCAL_PART:
6232 BOOL needs_quote = (*sub == 0); /* TRUE for empty string */
6233 uschar *t = sub - 1;
6237 while (!needs_quote && *(++t) != 0)
6238 needs_quote = !isalnum(*t) && !strchr("_-.", *t);
6240 else /* EOP_QUOTE_LOCAL_PART */
6242 while (!needs_quote && *(++t) != 0)
6243 needs_quote = !isalnum(*t) &&
6244 strchr("!#$%&'*+-/=?^_`{|}~", *t) == NULL &&
6245 (*t != '.' || t == sub || t[1] == 0);
6250 yield = string_cat(yield, &size, &ptr, US"\"", 1);
6255 yield = string_cat(yield, &size, &ptr, US"\\n", 2);
6256 else if (*t == '\r')
6257 yield = string_cat(yield, &size, &ptr, US"\\r", 2);
6260 if (*t == '\\' || *t == '"')
6261 yield = string_cat(yield, &size, &ptr, US"\\", 1);
6262 yield = string_cat(yield, &size, &ptr, t, 1);
6265 yield = string_cat(yield, &size, &ptr, US"\"", 1);
6267 else yield = string_cat(yield, &size, &ptr, sub, Ustrlen(sub));
6271 /* quote_lookuptype does lookup-specific quoting */
6276 uschar *opt = Ustrchr(arg, '_');
6278 if (opt != NULL) *opt++ = 0;
6280 n = search_findtype(arg, Ustrlen(arg));
6283 expand_string_message = search_error_message;
6287 if (lookup_list[n]->quote != NULL)
6288 sub = (lookup_list[n]->quote)(sub, opt);
6289 else if (opt != NULL) sub = NULL;
6293 expand_string_message = string_sprintf(
6294 "\"%s\" unrecognized after \"${quote_%s\"",
6299 yield = string_cat(yield, &size, &ptr, sub, Ustrlen(sub));
6303 /* rx quote sticks in \ before any non-alphameric character so that
6304 the insertion works in a regular expression. */
6308 uschar *t = sub - 1;
6312 yield = string_cat(yield, &size, &ptr, US"\\", 1);
6313 yield = string_cat(yield, &size, &ptr, t, 1);
6318 /* RFC 2047 encodes, assuming headers_charset (default ISO 8859-1) as
6319 prescribed by the RFC, if there are characters that need to be encoded */
6323 uschar buffer[2048];
6324 uschar *string = parse_quote_2047(sub, Ustrlen(sub), headers_charset,
6325 buffer, sizeof(buffer), FALSE);
6326 yield = string_cat(yield, &size, &ptr, string, Ustrlen(string));
6330 /* RFC 2047 decode */
6336 uschar *decoded = rfc2047_decode(sub, check_rfc2047_length,
6337 headers_charset, '?', &len, &error);
6340 expand_string_message = error;
6343 yield = string_cat(yield, &size, &ptr, decoded, len);
6347 /* from_utf8 converts UTF-8 to 8859-1, turning non-existent chars into
6357 if (c > 255) c = '_';
6359 yield = string_cat(yield, &size, &ptr, buff, 1);
6364 /* replace illegal UTF-8 sequences by replacement character */
6366 #define UTF8_REPLACEMENT_CHAR US"?"
6370 int seq_len, index = 0;
6372 uschar seq_buff[4]; /* accumulate utf-8 here */
6384 if ((c & 0xc0) != 0x80)
6386 /* wrong continuation byte; invalidate all bytes */
6387 complete = 1; /* error */
6391 codepoint = (codepoint << 6) | (c & 0x3f);
6392 seq_buff[index++] = c;
6393 if (--bytes_left == 0) /* codepoint complete */
6395 if(codepoint > 0x10FFFF) /* is it too large? */
6396 complete = -1; /* error */
6398 { /* finished; output utf-8 sequence */
6399 yield = string_cat(yield, &size, &ptr, seq_buff, seq_len);
6405 else /* no bytes left: new sequence */
6407 if((c & 0x80) == 0) /* 1-byte sequence, US-ASCII, keep it */
6409 yield = string_cat(yield, &size, &ptr, &c, 1);
6412 if((c & 0xe0) == 0xc0) /* 2-byte sequence */
6414 if(c == 0xc0 || c == 0xc1) /* 0xc0 and 0xc1 are illegal */
6419 codepoint = c & 0x1f;
6422 else if((c & 0xf0) == 0xe0) /* 3-byte sequence */
6425 codepoint = c & 0x0f;
6427 else if((c & 0xf8) == 0xf0) /* 4-byte sequence */
6430 codepoint = c & 0x07;
6432 else /* invalid or too long (RFC3629 allows only 4 bytes) */
6435 seq_buff[index++] = c;
6436 seq_len = bytes_left + 1;
6437 } /* if(bytes_left) */
6441 bytes_left = index = 0;
6442 yield = string_cat(yield, &size, &ptr, UTF8_REPLACEMENT_CHAR, 1);
6444 if ((complete == 1) && ((c & 0x80) == 0))
6445 { /* ASCII character follows incomplete sequence */
6446 yield = string_cat(yield, &size, &ptr, &c, 1);
6452 /* escape turns all non-printing characters into escape sequences. */
6456 uschar *t = string_printing(sub);
6457 yield = string_cat(yield, &size, &ptr, t, Ustrlen(t));
6461 /* Handle numeric expression evaluation */
6466 uschar *save_sub = sub;
6467 uschar *error = NULL;
6468 int_eximarith_t n = eval_expr(&sub, (c == EOP_EVAL10), &error, FALSE);
6471 expand_string_message = string_sprintf("error in expression "
6472 "evaluation: %s (after processing \"%.*s\")", error, sub-save_sub,
6476 sprintf(CS var_buffer, PR_EXIM_ARITH, n);
6477 yield = string_cat(yield, &size, &ptr, var_buffer, Ustrlen(var_buffer));
6481 /* Handle time period formating */
6485 int n = readconf_readtime(sub, 0, FALSE);
6488 expand_string_message = string_sprintf("string \"%s\" is not an "
6489 "Exim time interval in \"%s\" operator", sub, name);
6492 sprintf(CS var_buffer, "%d", n);
6493 yield = string_cat(yield, &size, &ptr, var_buffer, Ustrlen(var_buffer));
6497 case EOP_TIME_INTERVAL:
6500 uschar *t = read_number(&n, sub);
6501 if (*t != 0) /* Not A Number*/
6503 expand_string_message = string_sprintf("string \"%s\" is not a "
6504 "positive number in \"%s\" operator", sub, name);
6507 t = readconf_printtime(n);
6508 yield = string_cat(yield, &size, &ptr, t, Ustrlen(t));
6512 /* Convert string to base64 encoding */
6516 uschar *encstr = auth_b64encode(sub, Ustrlen(sub));
6517 yield = string_cat(yield, &size, &ptr, encstr, Ustrlen(encstr));
6521 /* strlen returns the length of the string */
6526 (void)sprintf(CS buff, "%d", Ustrlen(sub));
6527 yield = string_cat(yield, &size, &ptr, buff, Ustrlen(buff));
6531 /* length_n or l_n takes just the first n characters or the whole string,
6532 whichever is the shorter;
6534 substr_m_n, and s_m_n take n characters from offset m; negative m take
6535 from the end; l_n is synonymous with s_0_n. If n is omitted in substr it
6536 takes the rest, either to the right or to the left.
6538 hash_n or h_n makes a hash of length n from the string, yielding n
6539 characters from the set a-z; hash_n_m makes a hash of length n, but
6540 uses m characters from the set a-zA-Z0-9.
6542 nhash_n returns a single number between 0 and n-1 (in text form), while
6543 nhash_n_m returns a div/mod hash as two numbers "a/b". The first lies
6544 between 0 and n-1 and the second between 0 and m-1. */
6564 expand_string_message = string_sprintf("missing values after %s",
6569 /* "length" has only one argument, effectively being synonymous with
6572 if (c == EOP_LENGTH || c == EOP_L)
6578 /* The others have one or two arguments; for "substr" the first may be
6579 negative. The second being negative means "not supplied". */
6584 if (name[0] == 's' && *arg == '-') { sign = -1; arg++; }
6587 /* Read up to two numbers, separated by underscores */
6592 if (arg != ret && *arg == '_' && pn == &value1)
6596 if (arg[1] != 0) arg++;
6598 else if (!isdigit(*arg))
6600 expand_string_message =
6601 string_sprintf("non-digit after underscore in \"%s\"", name);
6604 else *pn = (*pn)*10 + *arg++ - '0';
6608 /* Perform the required operation */
6611 (c == EOP_HASH || c == EOP_H)?
6612 compute_hash(sub, value1, value2, &len) :
6613 (c == EOP_NHASH || c == EOP_NH)?
6614 compute_nhash(sub, value1, value2, &len) :
6615 extract_substr(sub, value1, value2, &len);
6617 if (ret == NULL) goto EXPAND_FAILED;
6618 yield = string_cat(yield, &size, &ptr, ret, len);
6628 uschar **modetable[3];
6633 if ((expand_forbid & RDO_EXISTS) != 0)
6635 expand_string_message = US"Use of the stat() expansion is not permitted";
6639 if (stat(CS sub, &st) < 0)
6641 expand_string_message = string_sprintf("stat(%s) failed: %s",
6642 sub, strerror(errno));
6646 switch (mode & S_IFMT)
6648 case S_IFIFO: smode[0] = 'p'; break;
6649 case S_IFCHR: smode[0] = 'c'; break;
6650 case S_IFDIR: smode[0] = 'd'; break;
6651 case S_IFBLK: smode[0] = 'b'; break;
6652 case S_IFREG: smode[0] = '-'; break;
6653 default: smode[0] = '?'; break;
6656 modetable[0] = ((mode & 01000) == 0)? mtable_normal : mtable_sticky;
6657 modetable[1] = ((mode & 02000) == 0)? mtable_normal : mtable_setid;
6658 modetable[2] = ((mode & 04000) == 0)? mtable_normal : mtable_setid;
6660 for (i = 0; i < 3; i++)
6662 memcpy(CS(smode + 7 - i*3), CS(modetable[i][mode & 7]), 3);
6667 s = string_sprintf("mode=%04lo smode=%s inode=%ld device=%ld links=%ld "
6668 "uid=%ld gid=%ld size=" OFF_T_FMT " atime=%ld mtime=%ld ctime=%ld",
6669 (long)(st.st_mode & 077777), smode, (long)st.st_ino,
6670 (long)st.st_dev, (long)st.st_nlink, (long)st.st_uid,
6671 (long)st.st_gid, st.st_size, (long)st.st_atime,
6672 (long)st.st_mtime, (long)st.st_ctime);
6673 yield = string_cat(yield, &size, &ptr, s, Ustrlen(s));
6677 /* vaguely random number less than N */
6681 int_eximarith_t max;
6684 max = expanded_string_integer(sub, TRUE);
6685 if (expand_string_message != NULL)
6687 s = string_sprintf("%d", vaguely_random_number((int)max));
6688 yield = string_cat(yield, &size, &ptr, s, Ustrlen(s));
6692 /* Reverse IP, including IPv6 to dotted-nibble */
6694 case EOP_REVERSE_IP:
6696 int family, maskptr;
6697 uschar reversed[128];
6699 family = string_is_ip_address(sub, &maskptr);
6702 expand_string_message = string_sprintf(
6703 "reverse_ip() not given an IP address [%s]", sub);
6706 invert_address(reversed, sub);
6707 yield = string_cat(yield, &size, &ptr, reversed, Ustrlen(reversed));
6711 /* Unknown operator */
6714 expand_string_message =
6715 string_sprintf("unknown expansion operator \"%s\"", name);
6720 /* Handle a plain name. If this is the first thing in the expansion, release
6721 the pre-allocated buffer. If the result data is known to be in a new buffer,
6722 newsize will be set to the size of that buffer, and we can just point at that
6723 store instead of copying. Many expansion strings contain just one reference,
6724 so this is a useful optimization, especially for humungous headers
6725 ($message_headers). */
6733 if (resetok) store_reset(yield);
6737 value = find_variable(name, FALSE, skipping, &newsize);
6740 expand_string_message =
6741 string_sprintf("unknown variable in \"${%s}\"", name);
6742 check_variable_error_message(name);
6745 len = Ustrlen(value);
6746 if (yield == NULL && newsize != 0)
6752 else yield = string_cat(yield, &size, &ptr, value, len);
6756 /* Else there's something wrong */
6758 expand_string_message =
6759 string_sprintf("\"${%s\" is not a known operator (or a } is missing "
6760 "in a variable reference)", name);
6764 /* If we hit the end of the string when ket_ends is set, there is a missing
6765 terminating brace. */
6767 if (ket_ends && *s == 0)
6769 expand_string_message = malformed_header?
6770 US"missing } at end of string - could be header name not terminated by colon"
6772 US"missing } at end of string";
6776 /* Expansion succeeded; yield may still be NULL here if nothing was actually
6777 added to the string. If so, set up an empty string. Add a terminating zero. If
6778 left != NULL, return a pointer to the terminator. */
6780 if (yield == NULL) yield = store_get(1);
6782 if (left != NULL) *left = s;
6784 /* Any stacking store that was used above the final string is no longer needed.
6785 In many cases the final string will be the first one that was got and so there
6786 will be optimal store usage. */
6788 if (resetok) store_reset(yield + ptr + 1);
6789 else if (resetok_p) *resetok_p = FALSE;
6793 debug_printf("expanding: %.*s\n result: %s\n", (int)(s - string), string,
6795 if (skipping) debug_printf("skipping: result is not used\n");
6799 /* This is the failure exit: easiest to program with a goto. We still need
6800 to update the pointer to the terminator, for cases of nested calls with "fail".
6803 EXPAND_FAILED_CURLY:
6804 expand_string_message = malformed_header?
6805 US"missing or misplaced { or } - could be header name not terminated by colon"
6807 US"missing or misplaced { or }";
6809 /* At one point, Exim reset the store to yield (if yield was not NULL), but
6810 that is a bad idea, because expand_string_message is in dynamic store. */
6813 if (left != NULL) *left = s;
6816 debug_printf("failed to expand: %s\n", string);
6817 debug_printf(" error message: %s\n", expand_string_message);
6818 if (expand_string_forcedfail) debug_printf("failure was forced\n");
6820 if (resetok_p) *resetok_p = resetok;
6825 /* This is the external function call. Do a quick check for any expansion
6826 metacharacters, and if there are none, just return the input string.
6828 Argument: the string to be expanded
6829 Returns: the expanded string, or NULL if expansion failed; if failure was
6830 due to a lookup deferring, search_find_defer will be TRUE
6834 expand_string(uschar *string)
6836 search_find_defer = FALSE;
6837 malformed_header = FALSE;
6838 return (Ustrpbrk(string, "$\\") == NULL)? string :
6839 expand_string_internal(string, FALSE, NULL, FALSE, TRUE, NULL);
6844 /*************************************************
6846 *************************************************/
6848 /* Now and again we want to expand a string and be sure that the result is in a
6849 new bit of store. This function does that.
6851 Argument: the string to be expanded
6852 Returns: the expanded string, always in a new bit of store, or NULL
6856 expand_string_copy(uschar *string)
6858 uschar *yield = expand_string(string);
6859 if (yield == string) yield = string_copy(string);
6865 /*************************************************
6866 * Expand and interpret as an integer *
6867 *************************************************/
6869 /* Expand a string, and convert the result into an integer.
6872 string the string to be expanded
6873 isplus TRUE if a non-negative number is expected
6875 Returns: the integer value, or
6876 -1 for an expansion error ) in both cases, message in
6877 -2 for an integer interpretation error ) expand_string_message
6878 expand_string_message is set NULL for an OK integer
6882 expand_string_integer(uschar *string, BOOL isplus)
6884 return expanded_string_integer(expand_string(string), isplus);
6888 /*************************************************
6889 * Interpret string as an integer *
6890 *************************************************/
6892 /* Convert a string (that has already been expanded) into an integer.
6894 This function is used inside the expansion code.
6897 s the string to be expanded
6898 isplus TRUE if a non-negative number is expected
6900 Returns: the integer value, or
6901 -1 if string is NULL (which implies an expansion error)
6902 -2 for an integer interpretation error
6903 expand_string_message is set NULL for an OK integer
6906 static int_eximarith_t
6907 expanded_string_integer(uschar *s, BOOL isplus)
6909 int_eximarith_t value;
6910 uschar *msg = US"invalid integer \"%s\"";
6913 /* If expansion failed, expand_string_message will be set. */
6915 if (s == NULL) return -1;
6917 /* On an overflow, strtol() returns LONG_MAX or LONG_MIN, and sets errno
6918 to ERANGE. When there isn't an overflow, errno is not changed, at least on some
6919 systems, so we set it zero ourselves. */
6922 expand_string_message = NULL; /* Indicates no error */
6924 /* Before Exim 4.64, strings consisting entirely of whitespace compared
6925 equal to 0. Unfortunately, people actually relied upon that, so preserve
6926 the behaviour explicitly. Stripping leading whitespace is a harmless
6927 noop change since strtol skips it anyway (provided that there is a number
6931 while (isspace(*s)) ++s;
6935 debug_printf("treating blank string as number 0\n");
6940 value = strtoll(CS s, CSS &endptr, 10);
6944 msg = US"integer expected but \"%s\" found";
6946 else if (value < 0 && isplus)
6948 msg = US"non-negative integer expected but \"%s\" found";
6952 switch (tolower(*endptr))
6957 if (value > EXIM_ARITH_MAX/1024 || value < EXIM_ARITH_MIN/1024) errno = ERANGE;
6962 if (value > EXIM_ARITH_MAX/(1024*1024) || value < EXIM_ARITH_MIN/(1024*1024)) errno = ERANGE;
6963 else value *= 1024*1024;
6967 if (value > EXIM_ARITH_MAX/(1024*1024*1024) || value < EXIM_ARITH_MIN/(1024*1024*1024)) errno = ERANGE;
6968 else value *= 1024*1024*1024;
6972 if (errno == ERANGE)
6973 msg = US"absolute value of integer \"%s\" is too large (overflow)";
6976 while (isspace(*endptr)) endptr++;
6977 if (*endptr == 0) return value;
6981 expand_string_message = string_sprintf(CS msg, s);
6986 /*************************************************
6987 **************************************************
6988 * Stand-alone test program *
6989 **************************************************
6990 *************************************************/
6996 regex_match_and_setup(const pcre *re, uschar *subject, int options, int setup)
6998 int ovector[3*(EXPAND_MAXN+1)];
6999 int n = pcre_exec(re, NULL, subject, Ustrlen(subject), 0, PCRE_EOPT|options,
7000 ovector, sizeof(ovector)/sizeof(int));
7001 BOOL yield = n >= 0;
7002 if (n == 0) n = EXPAND_MAXN + 1;
7006 expand_nmax = (setup < 0)? 0 : setup + 1;
7007 for (nn = (setup < 0)? 0 : 2; nn < n*2; nn += 2)
7009 expand_nstring[expand_nmax] = subject + ovector[nn];
7010 expand_nlength[expand_nmax++] = ovector[nn+1] - ovector[nn];
7018 int main(int argc, uschar **argv)
7021 uschar buffer[1024];
7023 debug_selector = D_v;
7024 debug_file = stderr;
7025 debug_fd = fileno(debug_file);
7026 big_buffer = malloc(big_buffer_size);
7028 for (i = 1; i < argc; i++)
7030 if (argv[i][0] == '+')
7032 debug_trace_memory = 2;
7035 if (isdigit(argv[i][0]))
7036 debug_selector = Ustrtol(argv[i], NULL, 0);
7038 if (Ustrspn(argv[i], "abcdefghijklmnopqrtsuvwxyz0123456789-.:/") ==
7042 eldap_default_servers = argv[i];
7045 mysql_servers = argv[i];
7048 pgsql_servers = argv[i];
7050 #ifdef EXPERIMENTAL_REDIS
7051 redis_servers = argv[i];
7055 else opt_perl_startup = argv[i];
7059 printf("Testing string expansion: debug_level = %d\n\n", debug_level);
7061 expand_nstring[1] = US"string 1....";
7062 expand_nlength[1] = 8;
7066 if (opt_perl_startup != NULL)
7069 printf("Starting Perl interpreter\n");
7070 errstr = init_perl(opt_perl_startup);
7073 printf("** error in perl_startup code: %s\n", errstr);
7074 return EXIT_FAILURE;
7077 #endif /* EXIM_PERL */
7079 while (fgets(buffer, sizeof(buffer), stdin) != NULL)
7081 void *reset_point = store_get(0);
7082 uschar *yield = expand_string(buffer);
7085 printf("%s\n", yield);
7086 store_reset(reset_point);
7090 if (search_find_defer) printf("search_find deferred\n");
7091 printf("Failed: %s\n", expand_string_message);
7092 if (expand_string_forcedfail) printf("Forced failure\n");
7106 /* End of expand.c */