src/src/acl.c

   1 /*************************************************
   2 *     Exim - an Internet mail transport agent    *
   3 *************************************************/
   4
   5 /* Copyright (c) University of Cambridge 1995 - 2018 */
   6 /* Copyright (c) The Exim Maintainers 2020 */
   7 /* See the file NOTICE for conditions of use and distribution. */
   8
   9 /* Code for handling Access Control Lists (ACLs) */
  10
  11 #include "exim.h"
  12
  13
  14 /* Default callout timeout */
  15
  16 #define CALLOUT_TIMEOUT_DEFAULT 30
  17
  18 /* Default quota cache TTLs */
  19
  20 #define QUOTA_POS_DEFAULT (5*60)
  21 #define QUOTA_NEG_DEFAULT (60*60)
  22
  23
  24 /* ACL verb codes - keep in step with the table of verbs that follows */
  25
  26 enum { ACL_ACCEPT, ACL_DEFER, ACL_DENY, ACL_DISCARD, ACL_DROP, ACL_REQUIRE,
  27        ACL_WARN };
  28
  29 /* ACL verbs */
  30
  31 static uschar *verbs[] = {
  32     [ACL_ACCEPT] =      US"accept",
  33     [ACL_DEFER] =       US"defer",
  34     [ACL_DENY] =        US"deny",
  35     [ACL_DISCARD] =     US"discard",
  36     [ACL_DROP] =        US"drop",
  37     [ACL_REQUIRE] =     US"require",
  38     [ACL_WARN] =        US"warn"
  39 };
  40
  41 /* For each verb, the conditions for which "message" or "log_message" are used
  42 are held as a bitmap. This is to avoid expanding the strings unnecessarily. For
  43 "accept", the FAIL case is used only after "endpass", but that is selected in
  44 the code. */
  45
  46 static int msgcond[] = {
  47   [ACL_ACCEPT] =        BIT(OK) | BIT(FAIL) | BIT(FAIL_DROP),
  48   [ACL_DEFER] =         BIT(OK),
  49   [ACL_DENY] =          BIT(OK),
  50   [ACL_DISCARD] =       BIT(OK) | BIT(FAIL) | BIT(FAIL_DROP),
  51   [ACL_DROP] =          BIT(OK),
  52   [ACL_REQUIRE] =       BIT(FAIL) | BIT(FAIL_DROP),
  53   [ACL_WARN] =          BIT(OK)
  54   };
  55
  56 /* ACL condition and modifier codes - keep in step with the table that
  57 follows.
  58 down. */
  59
  60 enum { ACLC_ACL,
  61        ACLC_ADD_HEADER,
  62        ACLC_AUTHENTICATED,
  63 #ifdef EXPERIMENTAL_BRIGHTMAIL
  64        ACLC_BMI_OPTIN,
  65 #endif
  66        ACLC_CONDITION,
  67        ACLC_CONTINUE,
  68        ACLC_CONTROL,
  69 #ifdef EXPERIMENTAL_DCC
  70        ACLC_DCC,
  71 #endif
  72 #ifdef WITH_CONTENT_SCAN
  73        ACLC_DECODE,
  74 #endif
  75        ACLC_DELAY,
  76 #ifndef DISABLE_DKIM
  77        ACLC_DKIM_SIGNER,
  78        ACLC_DKIM_STATUS,
  79 #endif
  80 #ifdef SUPPORT_DMARC
  81        ACLC_DMARC_STATUS,
  82 #endif
  83        ACLC_DNSLISTS,
  84        ACLC_DOMAINS,
  85        ACLC_ENCRYPTED,
  86        ACLC_ENDPASS,
  87        ACLC_HOSTS,
  88        ACLC_LOCAL_PARTS,
  89        ACLC_LOG_MESSAGE,
  90        ACLC_LOG_REJECT_TARGET,
  91        ACLC_LOGWRITE,
  92 #ifdef WITH_CONTENT_SCAN
  93        ACLC_MALWARE,
  94 #endif
  95        ACLC_MESSAGE,
  96 #ifdef WITH_CONTENT_SCAN
  97        ACLC_MIME_REGEX,
  98 #endif
  99        ACLC_QUEUE,
 100        ACLC_RATELIMIT,
 101        ACLC_RECIPIENTS,
 102 #ifdef WITH_CONTENT_SCAN
 103        ACLC_REGEX,
 104 #endif
 105        ACLC_REMOVE_HEADER,
 106        ACLC_SENDER_DOMAINS,
 107        ACLC_SENDERS,
 108        ACLC_SET,
 109 #ifdef WITH_CONTENT_SCAN
 110        ACLC_SPAM,
 111 #endif
 112 #ifdef SUPPORT_SPF
 113        ACLC_SPF,
 114        ACLC_SPF_GUESS,
 115 #endif
 116        ACLC_UDPSEND,
 117        ACLC_VERIFY };
 118
 119 /* ACL conditions/modifiers: "delay", "control", "continue", "endpass",
 120 "message", "log_message", "log_reject_target", "logwrite", "queue" and "set" are
 121 modifiers that look like conditions but always return TRUE. They are used for
 122 their side effects.  Do not invent new modifier names that result in one name
 123 being the prefix of another; the binary-search in the list will go wrong. */
 124
 125 typedef struct condition_def {
 126   uschar        *name;
 127
 128 /* Flag to indicate the condition/modifier has a string expansion done
 129 at the outer level. In the other cases, expansion already occurs in the
 130 checking functions. */
 131   BOOL          expand_at_top:1;
 132
 133   BOOL          is_modifier:1;
 134
 135 /* Bit map vector of which conditions and modifiers are not allowed at certain
 136 times. For each condition and modifier, there's a bitmap of dis-allowed times.
 137 For some, it is easier to specify the negation of a small number of allowed
 138 times. */
 139   unsigned      forbids;
 140
 141 } condition_def;
 142
 143 static condition_def conditions[] = {
 144   [ACLC_ACL] =                  { US"acl",              FALSE, FALSE,   0 },
 145
 146   [ACLC_ADD_HEADER] =           { US"add_header",       TRUE, TRUE,
 147                                   (unsigned int)
 148                                   ~(ACL_BIT_MAIL | ACL_BIT_RCPT |
 149                                     ACL_BIT_PREDATA | ACL_BIT_DATA |
 150 #ifndef DISABLE_PRDR
 151                                     ACL_BIT_PRDR |
 152 #endif
 153                                     ACL_BIT_MIME | ACL_BIT_NOTSMTP |
 154                                     ACL_BIT_DKIM |
 155                                     ACL_BIT_NOTSMTP_START),
 156   },
 157
 158   [ACLC_AUTHENTICATED] =        { US"authenticated",    FALSE, FALSE,
 159                                   ACL_BIT_NOTSMTP | ACL_BIT_NOTSMTP_START |
 160                                     ACL_BIT_CONNECT | ACL_BIT_HELO,
 161   },
 162 #ifdef EXPERIMENTAL_BRIGHTMAIL
 163   [ACLC_BMI_OPTIN] =            { US"bmi_optin",        TRUE, TRUE,
 164                                   ACL_BIT_AUTH |
 165                                     ACL_BIT_CONNECT | ACL_BIT_HELO |
 166                                     ACL_BIT_DATA | ACL_BIT_MIME |
 167 # ifndef DISABLE_PRDR
 168                                     ACL_BIT_PRDR |
 169 # endif
 170                                     ACL_BIT_ETRN | ACL_BIT_EXPN |
 171                                     ACL_BIT_MAILAUTH |
 172                                     ACL_BIT_MAIL | ACL_BIT_STARTTLS |
 173                                     ACL_BIT_VRFY | ACL_BIT_PREDATA |
 174                                     ACL_BIT_NOTSMTP_START,
 175   },
 176 #endif
 177   [ACLC_CONDITION] =            { US"condition",        TRUE, FALSE,    0 },
 178   [ACLC_CONTINUE] =             { US"continue", TRUE, TRUE,     0 },
 179
 180   /* Certain types of control are always allowed, so we let it through
 181   always and check in the control processing itself. */
 182   [ACLC_CONTROL] =              { US"control",  TRUE, TRUE,     0 },
 183
 184 #ifdef EXPERIMENTAL_DCC
 185   [ACLC_DCC] =                  { US"dcc",              TRUE, FALSE,
 186                                   (unsigned int)
 187                                   ~(ACL_BIT_DATA |
 188 # ifndef DISABLE_PRDR
 189                                   ACL_BIT_PRDR |
 190 # endif
 191                                   ACL_BIT_NOTSMTP),
 192   },
 193 #endif
 194 #ifdef WITH_CONTENT_SCAN
 195   [ACLC_DECODE] =               { US"decode",           TRUE, FALSE, (unsigned int) ~ACL_BIT_MIME },
 196
 197 #endif
 198   [ACLC_DELAY] =                { US"delay",            TRUE, TRUE, ACL_BIT_NOTQUIT },
 199 #ifndef DISABLE_DKIM
 200   [ACLC_DKIM_SIGNER] =          { US"dkim_signers",     TRUE, FALSE, (unsigned int) ~ACL_BIT_DKIM },
 201   [ACLC_DKIM_STATUS] =          { US"dkim_status",      TRUE, FALSE, (unsigned int) ~ACL_BIT_DKIM },
 202 #endif
 203 #ifdef SUPPORT_DMARC
 204   [ACLC_DMARC_STATUS] =         { US"dmarc_status",     TRUE, FALSE, (unsigned int) ~ACL_BIT_DATA },
 205 #endif
 206
 207   /* Explicit key lookups can be made in non-smtp ACLs so pass
 208   always and check in the verify processing itself. */
 209   [ACLC_DNSLISTS] =             { US"dnslists", TRUE, FALSE,    0 },
 210
 211   [ACLC_DOMAINS] =              { US"domains",  FALSE, FALSE,
 212                                   (unsigned int)
 213                                   ~(ACL_BIT_RCPT | ACL_BIT_VRFY
 214 #ifndef DISABLE_PRDR
 215                                   |ACL_BIT_PRDR
 216 #endif
 217       ),
 218   },
 219   [ACLC_ENCRYPTED] =            { US"encrypted",        FALSE, FALSE,
 220                                   ACL_BIT_NOTSMTP | ACL_BIT_NOTSMTP_START |
 221                                     ACL_BIT_HELO,
 222   },
 223
 224   [ACLC_ENDPASS] =              { US"endpass",  TRUE, TRUE,     0 },
 225
 226   [ACLC_HOSTS] =                { US"hosts",            FALSE, FALSE,
 227                                   ACL_BIT_NOTSMTP | ACL_BIT_NOTSMTP_START,
 228   },
 229   [ACLC_LOCAL_PARTS] =          { US"local_parts",      FALSE, FALSE,
 230                                   (unsigned int)
 231                                   ~(ACL_BIT_RCPT | ACL_BIT_VRFY
 232 #ifndef DISABLE_PRDR
 233                                   | ACL_BIT_PRDR
 234 #endif
 235       ),
 236   },
 237
 238   [ACLC_LOG_MESSAGE] =          { US"log_message",      TRUE, TRUE,     0 },
 239   [ACLC_LOG_REJECT_TARGET] =    { US"log_reject_target", TRUE, TRUE,    0 },
 240   [ACLC_LOGWRITE] =             { US"logwrite", TRUE, TRUE,     0 },
 241
 242 #ifdef WITH_CONTENT_SCAN
 243   [ACLC_MALWARE] =              { US"malware",  TRUE, FALSE,
 244                                   (unsigned int)
 245                                     ~(ACL_BIT_DATA |
 246 # ifndef DISABLE_PRDR
 247                                     ACL_BIT_PRDR |
 248 # endif
 249                                     ACL_BIT_NOTSMTP),
 250   },
 251 #endif
 252
 253   [ACLC_MESSAGE] =              { US"message",  TRUE, TRUE,     0 },
 254 #ifdef WITH_CONTENT_SCAN
 255   [ACLC_MIME_REGEX] =           { US"mime_regex",       TRUE, FALSE, (unsigned int) ~ACL_BIT_MIME },
 256 #endif
 257
 258   [ACLC_QUEUE] =                { US"queue",            TRUE, TRUE,
 259                                   ACL_BIT_NOTSMTP |
 260 #ifndef DISABLE_PRDR
 261                                   ACL_BIT_PRDR |
 262 #endif
 263                                   ACL_BIT_DATA,
 264   },
 265
 266   [ACLC_RATELIMIT] =            { US"ratelimit",        TRUE, FALSE,    0 },
 267   [ACLC_RECIPIENTS] =           { US"recipients",       FALSE, FALSE, (unsigned int) ~ACL_BIT_RCPT },
 268
 269 #ifdef WITH_CONTENT_SCAN
 270   [ACLC_REGEX] =                { US"regex",            TRUE, FALSE,
 271                                   (unsigned int)
 272                                   ~(ACL_BIT_DATA |
 273 # ifndef DISABLE_PRDR
 274                                     ACL_BIT_PRDR |
 275 # endif
 276                                     ACL_BIT_NOTSMTP |
 277                                     ACL_BIT_MIME),
 278   },
 279
 280 #endif
 281   [ACLC_REMOVE_HEADER] =        { US"remove_header",    TRUE, TRUE,
 282                                   (unsigned int)
 283                                   ~(ACL_BIT_MAIL|ACL_BIT_RCPT |
 284                                     ACL_BIT_PREDATA | ACL_BIT_DATA |
 285 #ifndef DISABLE_PRDR
 286                                     ACL_BIT_PRDR |
 287 #endif
 288                                     ACL_BIT_MIME | ACL_BIT_NOTSMTP |
 289                                     ACL_BIT_NOTSMTP_START),
 290   },
 291   [ACLC_SENDER_DOMAINS] =       { US"sender_domains",   FALSE, FALSE,
 292                                   ACL_BIT_AUTH | ACL_BIT_CONNECT |
 293                                     ACL_BIT_HELO |
 294                                     ACL_BIT_MAILAUTH | ACL_BIT_QUIT |
 295                                     ACL_BIT_ETRN | ACL_BIT_EXPN |
 296                                     ACL_BIT_STARTTLS | ACL_BIT_VRFY,
 297   },
 298   [ACLC_SENDERS] =              { US"senders",  FALSE, FALSE,
 299                                   ACL_BIT_AUTH | ACL_BIT_CONNECT |
 300                                     ACL_BIT_HELO |
 301                                     ACL_BIT_MAILAUTH | ACL_BIT_QUIT |
 302                                     ACL_BIT_ETRN | ACL_BIT_EXPN |
 303                                     ACL_BIT_STARTTLS | ACL_BIT_VRFY,
 304   },
 305
 306   [ACLC_SET] =                  { US"set",              TRUE, TRUE,     0 },
 307
 308 #ifdef WITH_CONTENT_SCAN
 309   [ACLC_SPAM] =                 { US"spam",             TRUE, FALSE,
 310                                   (unsigned int) ~(ACL_BIT_DATA |
 311 # ifndef DISABLE_PRDR
 312                                   ACL_BIT_PRDR |
 313 # endif
 314                                   ACL_BIT_NOTSMTP),
 315   },
 316 #endif
 317 #ifdef SUPPORT_SPF
 318   [ACLC_SPF] =                  { US"spf",              TRUE, FALSE,
 319                                   ACL_BIT_AUTH | ACL_BIT_CONNECT |
 320                                     ACL_BIT_HELO | ACL_BIT_MAILAUTH |
 321                                     ACL_BIT_ETRN | ACL_BIT_EXPN |
 322                                     ACL_BIT_STARTTLS | ACL_BIT_VRFY |
 323                                     ACL_BIT_NOTSMTP | ACL_BIT_NOTSMTP_START,
 324   },
 325   [ACLC_SPF_GUESS] =            { US"spf_guess",        TRUE, FALSE,
 326                                   ACL_BIT_AUTH | ACL_BIT_CONNECT |
 327                                     ACL_BIT_HELO | ACL_BIT_MAILAUTH |
 328                                     ACL_BIT_ETRN | ACL_BIT_EXPN |
 329                                     ACL_BIT_STARTTLS | ACL_BIT_VRFY |
 330                                     ACL_BIT_NOTSMTP | ACL_BIT_NOTSMTP_START,
 331   },
 332 #endif
 333   [ACLC_UDPSEND] =              { US"udpsend",          TRUE, TRUE,     0 },
 334
 335   /* Certain types of verify are always allowed, so we let it through
 336   always and check in the verify function itself */
 337   [ACLC_VERIFY] =               { US"verify",           TRUE, FALSE, 0 },
 338 };
 339
 340
 341
 342 /* Return values from decode_control(); used as index so keep in step
 343 with the controls_list table that follows! */
 344
 345 enum {
 346   CONTROL_AUTH_UNADVERTISED,
 347 #ifdef EXPERIMENTAL_BRIGHTMAIL
 348   CONTROL_BMI_RUN,
 349 #endif
 350   CONTROL_CASEFUL_LOCAL_PART,
 351   CONTROL_CASELOWER_LOCAL_PART,
 352   CONTROL_CUTTHROUGH_DELIVERY,
 353   CONTROL_DEBUG,
 354 #ifndef DISABLE_DKIM
 355   CONTROL_DKIM_VERIFY,
 356 #endif
 357 #ifdef SUPPORT_DMARC
 358   CONTROL_DMARC_VERIFY,
 359   CONTROL_DMARC_FORENSIC,
 360 #endif
 361   CONTROL_DSCP,
 362   CONTROL_ENFORCE_SYNC,
 363   CONTROL_ERROR,                /* pseudo-value for decode errors */
 364   CONTROL_FAKEDEFER,
 365   CONTROL_FAKEREJECT,
 366   CONTROL_FREEZE,
 367
 368   CONTROL_NO_CALLOUT_FLUSH,
 369   CONTROL_NO_DELAY_FLUSH,
 370   CONTROL_NO_ENFORCE_SYNC,
 371 #ifdef WITH_CONTENT_SCAN
 372   CONTROL_NO_MBOX_UNSPOOL,
 373 #endif
 374   CONTROL_NO_MULTILINE,
 375   CONTROL_NO_PIPELINING,
 376
 377   CONTROL_QUEUE,
 378   CONTROL_SUBMISSION,
 379   CONTROL_SUPPRESS_LOCAL_FIXUPS,
 380 #ifdef SUPPORT_I18N
 381   CONTROL_UTF8_DOWNCONVERT,
 382 #endif
 383 };
 384
 385
 386
 387 /* Structure listing various control arguments, with their characteristics.
 388 For each control, there's a bitmap of dis-allowed times. For some, it is easier
 389 to specify the negation of a small number of allowed times. */
 390
 391 typedef struct control_def {
 392   uschar        *name;
 393   BOOL          has_option;     /* Has /option(s) following */
 394   unsigned      forbids;        /* bitmap of dis-allowed times */
 395 } control_def;
 396
 397 static control_def controls_list[] = {
 398   /*    name                    has_option      forbids */
 399 [CONTROL_AUTH_UNADVERTISED] =
 400   { US"allow_auth_unadvertised", FALSE,
 401                                   (unsigned)
 402                                   ~(ACL_BIT_CONNECT | ACL_BIT_HELO)
 403   },
 404 #ifdef EXPERIMENTAL_BRIGHTMAIL
 405 [CONTROL_BMI_RUN] =
 406   { US"bmi_run",                 FALSE,         0 },
 407 #endif
 408 [CONTROL_CASEFUL_LOCAL_PART] =
 409   { US"caseful_local_part",      FALSE, (unsigned) ~ACL_BIT_RCPT },
 410 [CONTROL_CASELOWER_LOCAL_PART] =
 411   { US"caselower_local_part",    FALSE, (unsigned) ~ACL_BIT_RCPT },
 412 [CONTROL_CUTTHROUGH_DELIVERY] =
 413   { US"cutthrough_delivery",     TRUE,          0 },
 414 [CONTROL_DEBUG] =
 415   { US"debug",                   TRUE,          0 },
 416
 417 #ifndef DISABLE_DKIM
 418 [CONTROL_DKIM_VERIFY] =
 419   { US"dkim_disable_verify",     FALSE,
 420                                   ACL_BIT_DATA | ACL_BIT_NOTSMTP |
 421 # ifndef DISABLE_PRDR
 422                                   ACL_BIT_PRDR |
 423 # endif
 424                                   ACL_BIT_NOTSMTP_START
 425   },
 426 #endif
 427
 428 #ifdef SUPPORT_DMARC
 429 [CONTROL_DMARC_VERIFY] =
 430   { US"dmarc_disable_verify",    FALSE,
 431           ACL_BIT_DATA | ACL_BIT_NOTSMTP | ACL_BIT_NOTSMTP_START
 432   },
 433 [CONTROL_DMARC_FORENSIC] =
 434   { US"dmarc_enable_forensic",   FALSE,
 435           ACL_BIT_DATA | ACL_BIT_NOTSMTP | ACL_BIT_NOTSMTP_START
 436   },
 437 #endif
 438
 439 [CONTROL_DSCP] =
 440   { US"dscp",                    TRUE,
 441           ACL_BIT_NOTSMTP | ACL_BIT_NOTSMTP_START | ACL_BIT_NOTQUIT
 442   },
 443 [CONTROL_ENFORCE_SYNC] =
 444   { US"enforce_sync",            FALSE,
 445           ACL_BIT_NOTSMTP | ACL_BIT_NOTSMTP_START
 446   },
 447
 448   /* Pseudo-value for decode errors */
 449 [CONTROL_ERROR] =
 450   { US"error",                   FALSE, 0 },
 451
 452 [CONTROL_FAKEDEFER] =
 453   { US"fakedefer",               TRUE,
 454           (unsigned)
 455           ~(ACL_BIT_MAIL | ACL_BIT_RCPT |
 456             ACL_BIT_PREDATA | ACL_BIT_DATA |
 457 #ifndef DISABLE_PRDR
 458             ACL_BIT_PRDR |
 459 #endif
 460             ACL_BIT_MIME)
 461   },
 462 [CONTROL_FAKEREJECT] =
 463   { US"fakereject",              TRUE,
 464           (unsigned)
 465           ~(ACL_BIT_MAIL | ACL_BIT_RCPT |
 466             ACL_BIT_PREDATA | ACL_BIT_DATA |
 467 #ifndef DISABLE_PRDR
 468           ACL_BIT_PRDR |
 469 #endif
 470           ACL_BIT_MIME)
 471   },
 472 [CONTROL_FREEZE] =
 473   { US"freeze",                  TRUE,
 474           (unsigned)
 475           ~(ACL_BIT_MAIL | ACL_BIT_RCPT |
 476             ACL_BIT_PREDATA | ACL_BIT_DATA |
 477             // ACL_BIT_PRDR|    /* Not allow one user to freeze for all */
 478             ACL_BIT_NOTSMTP | ACL_BIT_MIME)
 479   },
 480
 481 [CONTROL_NO_CALLOUT_FLUSH] =
 482   { US"no_callout_flush",        FALSE,
 483           ACL_BIT_NOTSMTP | ACL_BIT_NOTSMTP_START
 484   },
 485 [CONTROL_NO_DELAY_FLUSH] =
 486   { US"no_delay_flush",          FALSE,
 487           ACL_BIT_NOTSMTP | ACL_BIT_NOTSMTP_START
 488   },
 489
 490 [CONTROL_NO_ENFORCE_SYNC] =
 491   { US"no_enforce_sync",         FALSE,
 492           ACL_BIT_NOTSMTP | ACL_BIT_NOTSMTP_START
 493   },
 494 #ifdef WITH_CONTENT_SCAN
 495 [CONTROL_NO_MBOX_UNSPOOL] =
 496   { US"no_mbox_unspool",         FALSE,
 497         (unsigned)
 498         ~(ACL_BIT_MAIL | ACL_BIT_RCPT |
 499           ACL_BIT_PREDATA | ACL_BIT_DATA |
 500           // ACL_BIT_PRDR|    /* Not allow one user to freeze for all */
 501           ACL_BIT_MIME)
 502   },
 503 #endif
 504 [CONTROL_NO_MULTILINE] =
 505   { US"no_multiline_responses",  FALSE,
 506           ACL_BIT_NOTSMTP | ACL_BIT_NOTSMTP_START
 507   },
 508 [CONTROL_NO_PIPELINING] =
 509   { US"no_pipelining",           FALSE,
 510           ACL_BIT_NOTSMTP | ACL_BIT_NOTSMTP_START
 511   },
 512
 513 [CONTROL_QUEUE] =
 514   { US"queue",                  TRUE,
 515           (unsigned)
 516           ~(ACL_BIT_MAIL | ACL_BIT_RCPT |
 517             ACL_BIT_PREDATA | ACL_BIT_DATA |
 518             // ACL_BIT_PRDR|    /* Not allow one user to freeze for all */
 519             ACL_BIT_NOTSMTP | ACL_BIT_MIME)
 520   },
 521
 522 [CONTROL_SUBMISSION] =
 523   { US"submission",              TRUE,
 524           (unsigned)
 525           ~(ACL_BIT_MAIL | ACL_BIT_RCPT | ACL_BIT_PREDATA)
 526   },
 527 [CONTROL_SUPPRESS_LOCAL_FIXUPS] =
 528   { US"suppress_local_fixups",   FALSE,
 529     (unsigned)
 530     ~(ACL_BIT_MAIL | ACL_BIT_RCPT | ACL_BIT_PREDATA |
 531       ACL_BIT_NOTSMTP_START)
 532   },
 533 #ifdef SUPPORT_I18N
 534 [CONTROL_UTF8_DOWNCONVERT] =
 535   { US"utf8_downconvert",        TRUE, (unsigned) ~(ACL_BIT_RCPT | ACL_BIT_VRFY)
 536   }
 537 #endif
 538 };
 539
 540 /* Support data structures for Client SMTP Authorization. acl_verify_csa()
 541 caches its result in a tree to avoid repeated DNS queries. The result is an
 542 integer code which is used as an index into the following tables of
 543 explanatory strings and verification return codes. */
 544
 545 static tree_node *csa_cache = NULL;
 546
 547 enum { CSA_UNKNOWN, CSA_OK, CSA_DEFER_SRV, CSA_DEFER_ADDR,
 548  CSA_FAIL_EXPLICIT, CSA_FAIL_DOMAIN, CSA_FAIL_NOADDR, CSA_FAIL_MISMATCH };
 549
 550 /* The acl_verify_csa() return code is translated into an acl_verify() return
 551 code using the following table. It is OK unless the client is definitely not
 552 authorized. This is because CSA is supposed to be optional for sending sites,
 553 so recipients should not be too strict about checking it - especially because
 554 DNS problems are quite likely to occur. It's possible to use $csa_status in
 555 further ACL conditions to distinguish ok, unknown, and defer if required, but
 556 the aim is to make the usual configuration simple. */
 557
 558 static int csa_return_code[] = {
 559   [CSA_UNKNOWN] =       OK,
 560   [CSA_OK] =            OK,
 561   [CSA_DEFER_SRV] =     OK,
 562   [CSA_DEFER_ADDR] =    OK,
 563   [CSA_FAIL_EXPLICIT] = FAIL,
 564   [CSA_FAIL_DOMAIN] =   FAIL,
 565   [CSA_FAIL_NOADDR] =   FAIL,
 566   [CSA_FAIL_MISMATCH] = FAIL
 567 };
 568
 569 static uschar *csa_status_string[] = {
 570   [CSA_UNKNOWN] =       US"unknown",
 571   [CSA_OK] =            US"ok",
 572   [CSA_DEFER_SRV] =     US"defer",
 573   [CSA_DEFER_ADDR] =    US"defer",
 574   [CSA_FAIL_EXPLICIT] = US"fail",
 575   [CSA_FAIL_DOMAIN] =   US"fail",
 576   [CSA_FAIL_NOADDR] =   US"fail",
 577   [CSA_FAIL_MISMATCH] = US"fail"
 578 };
 579
 580 static uschar *csa_reason_string[] = {
 581   [CSA_UNKNOWN] =       US"unknown",
 582   [CSA_OK] =            US"ok",
 583   [CSA_DEFER_SRV] =     US"deferred (SRV lookup failed)",
 584   [CSA_DEFER_ADDR] =    US"deferred (target address lookup failed)",
 585   [CSA_FAIL_EXPLICIT] = US"failed (explicit authorization required)",
 586   [CSA_FAIL_DOMAIN] =   US"failed (host name not authorized)",
 587   [CSA_FAIL_NOADDR] =   US"failed (no authorized addresses)",
 588   [CSA_FAIL_MISMATCH] = US"failed (client address mismatch)"
 589 };
 590
 591 /* Options for the ratelimit condition. Note that there are two variants of
 592 the per_rcpt option, depending on the ACL that is used to measure the rate.
 593 However any ACL must be able to look up per_rcpt rates in /noupdate mode,
 594 so the two variants must have the same internal representation as well as
 595 the same configuration string. */
 596
 597 enum {
 598   RATE_PER_WHAT, RATE_PER_CLASH, RATE_PER_ADDR, RATE_PER_BYTE, RATE_PER_CMD,
 599   RATE_PER_CONN, RATE_PER_MAIL, RATE_PER_RCPT, RATE_PER_ALLRCPTS
 600 };
 601
 602 #define RATE_SET(var,new) \
 603   (((var) == RATE_PER_WHAT) ? ((var) = RATE_##new) : ((var) = RATE_PER_CLASH))
 604
 605 static uschar *ratelimit_option_string[] = {
 606   [RATE_PER_WHAT] =     US"?",
 607   [RATE_PER_CLASH] =    US"!",
 608   [RATE_PER_ADDR] =     US"per_addr",
 609   [RATE_PER_BYTE] =     US"per_byte",
 610   [RATE_PER_CMD] =      US"per_cmd",
 611   [RATE_PER_CONN] =     US"per_conn",
 612   [RATE_PER_MAIL] =     US"per_mail",
 613   [RATE_PER_RCPT] =     US"per_rcpt",
 614   [RATE_PER_ALLRCPTS] = US"per_rcpt"
 615 };
 616
 617 /* Enable recursion between acl_check_internal() and acl_check_condition() */
 618
 619 static int acl_check_wargs(int, address_item *, const uschar *, uschar **,
 620     uschar **);
 621
 622
 623 /*************************************************
 624 *            Find control in list                *
 625 *************************************************/
 626
 627 /* The lists are always in order, so binary chop can be used.
 628
 629 Arguments:
 630   name      the control name to search for
 631   ol        the first entry in the control list
 632   last      one more than the offset of the last entry in the control list
 633
 634 Returns:    index of a control entry, or -1 if not found
 635 */
 636
 637 static int
 638 find_control(const uschar * name, control_def * ol, int last)
 639 {
 640 for (int first = 0; last > first; )
 641   {
 642   int middle = (first + last)/2;
 643   uschar * s =  ol[middle].name;
 644   int c = Ustrncmp(name, s, Ustrlen(s));
 645   if (c == 0) return middle;
 646   else if (c > 0) first = middle + 1;
 647   else last = middle;
 648   }
 649 return -1;
 650 }
 651
 652
 653
 654 /*************************************************
 655 *         Pick out condition from list           *
 656 *************************************************/
 657
 658 /* Use a binary chop method
 659
 660 Arguments:
 661   name        name to find
 662   list        list of conditions
 663   end         size of list
 664
 665 Returns:      offset in list, or -1 if not found
 666 */
 667
 668 static int
 669 acl_checkcondition(uschar * name, condition_def * list, int end)
 670 {
 671 for (int start = 0; start < end; )
 672   {
 673   int mid = (start + end)/2;
 674   int c = Ustrcmp(name, list[mid].name);
 675   if (c == 0) return mid;
 676   if (c < 0) end = mid;
 677   else start = mid + 1;
 678   }
 679 return -1;
 680 }
 681
 682
 683 /*************************************************
 684 *         Pick out name from list                *
 685 *************************************************/
 686
 687 /* Use a binary chop method
 688
 689 Arguments:
 690   name        name to find
 691   list        list of names
 692   end         size of list
 693
 694 Returns:      offset in list, or -1 if not found
 695 */
 696
 697 static int
 698 acl_checkname(uschar *name, uschar **list, int end)
 699 {
 700 for (int start = 0; start < end; )
 701   {
 702   int mid = (start + end)/2;
 703   int c = Ustrcmp(name, list[mid]);
 704   if (c == 0) return mid;
 705   if (c < 0) end = mid; else start = mid + 1;
 706   }
 707
 708 return -1;
 709 }
 710
 711
 712 /*************************************************
 713 *            Read and parse one ACL              *
 714 *************************************************/
 715
 716 /* This function is called both from readconf in order to parse the ACLs in the
 717 configuration file, and also when an ACL is encountered dynamically (e.g. as
 718 the result of an expansion). It is given a function to call in order to
 719 retrieve the lines of the ACL. This function handles skipping comments and
 720 blank lines (where relevant).
 721
 722 Arguments:
 723   func        function to get next line of ACL
 724   error       where to put an error message
 725
 726 Returns:      pointer to ACL, or NULL
 727               NULL can be legal (empty ACL); in this case error will be NULL
 728 */
 729
 730 acl_block *
 731 acl_read(uschar *(*func)(void), uschar **error)
 732 {
 733 acl_block *yield = NULL;
 734 acl_block **lastp = &yield;
 735 acl_block *this = NULL;
 736 acl_condition_block *cond;
 737 acl_condition_block **condp = NULL;
 738 uschar * s;
 739
 740 *error = NULL;
 741
 742 while ((s = (*func)()))
 743   {
 744   int v, c;
 745   BOOL negated = FALSE;
 746   uschar *saveline = s;
 747   uschar name[64];
 748
 749   /* Conditions (but not verbs) are allowed to be negated by an initial
 750   exclamation mark. */
 751
 752   if (Uskip_whitespace(&s) == '!')
 753     {
 754     negated = TRUE;
 755     s++;
 756     }
 757
 758   /* Read the name of a verb or a condition, or the start of a new ACL, which
 759   can be started by a name, or by a macro definition. */
 760
 761   s = readconf_readname(name, sizeof(name), s);
 762   if (*s == ':' || (isupper(name[0]) && *s == '=')) return yield;
 763
 764   /* If a verb is unrecognized, it may be another condition or modifier that
 765   continues the previous verb. */
 766
 767   if ((v = acl_checkname(name, verbs, nelem(verbs))) < 0)
 768     {
 769     if (!this)
 770       {
 771       *error = string_sprintf("unknown ACL verb \"%s\" in \"%s\"", name,
 772         saveline);
 773       return NULL;
 774       }
 775     }
 776
 777   /* New verb */
 778
 779   else
 780     {
 781     if (negated)
 782       {
 783       *error = string_sprintf("malformed ACL line \"%s\"", saveline);
 784       return NULL;
 785       }
 786     this = store_get(sizeof(acl_block), FALSE);
 787     *lastp = this;
 788     lastp = &(this->next);
 789     this->next = NULL;
 790     this->condition = NULL;
 791     this->verb = v;
 792     this->srcline = config_lineno;      /* for debug output */
 793     this->srcfile = config_filename;    /**/
 794     condp = &(this->condition);
 795     if (*s == 0) continue;               /* No condition on this line */
 796     if (*s == '!')
 797       {
 798       negated = TRUE;
 799       s++;
 800       }
 801     s = readconf_readname(name, sizeof(name), s);  /* Condition name */
 802     }
 803
 804   /* Handle a condition or modifier. */
 805
 806   if ((c = acl_checkcondition(name, conditions, nelem(conditions))) < 0)
 807     {
 808     *error = string_sprintf("unknown ACL condition/modifier in \"%s\"",
 809       saveline);
 810     return NULL;
 811     }
 812
 813   /* The modifiers may not be negated */
 814
 815   if (negated && conditions[c].is_modifier)
 816     {
 817     *error = string_sprintf("ACL error: negation is not allowed with "
 818       "\"%s\"", conditions[c].name);
 819     return NULL;
 820     }
 821
 822   /* ENDPASS may occur only with ACCEPT or DISCARD. */
 823
 824   if (c == ACLC_ENDPASS &&
 825       this->verb != ACL_ACCEPT &&
 826       this->verb != ACL_DISCARD)
 827     {
 828     *error = string_sprintf("ACL error: \"%s\" is not allowed with \"%s\"",
 829       conditions[c].name, verbs[this->verb]);
 830     return NULL;
 831     }
 832
 833   cond = store_get(sizeof(acl_condition_block), FALSE);
 834   cond->next = NULL;
 835   cond->type = c;
 836   cond->u.negated = negated;
 837
 838   *condp = cond;
 839   condp = &(cond->next);
 840
 841   /* The "set" modifier is different in that its argument is "name=value"
 842   rather than just a value, and we can check the validity of the name, which
 843   gives us a variable name to insert into the data block. The original ACL
 844   variable names were acl_c0 ... acl_c9 and acl_m0 ... acl_m9. This was
 845   extended to 20 of each type, but after that people successfully argued for
 846   arbitrary names. In the new scheme, the names must start with acl_c or acl_m.
 847   After that, we allow alphanumerics and underscores, but the first character
 848   after c or m must be a digit or an underscore. This retains backwards
 849   compatibility. */
 850
 851   if (c == ACLC_SET)
 852 #ifndef DISABLE_DKIM
 853     if (  Ustrncmp(s, "dkim_verify_status", 18) == 0
 854        || Ustrncmp(s, "dkim_verify_reason", 18) == 0)
 855       {
 856       uschar * endptr = s+18;
 857
 858       if (isalnum(*endptr))
 859         {
 860         *error = string_sprintf("invalid variable name after \"set\" in ACL "
 861           "modifier \"set %s\" "
 862           "(only \"dkim_verify_status\" or \"dkim_verify_reason\" permitted)",
 863           s);
 864         return NULL;
 865         }
 866       cond->u.varname = string_copyn(s, 18);
 867       s = endptr;
 868       Uskip_whitespace(&s);
 869       }
 870     else
 871 #endif
 872     {
 873     uschar *endptr;
 874
 875     if (Ustrncmp(s, "acl_c", 5) != 0 && Ustrncmp(s, "acl_m", 5) != 0)
 876       {
 877       *error = string_sprintf("invalid variable name after \"set\" in ACL "
 878         "modifier \"set %s\" (must start \"acl_c\" or \"acl_m\")", s);
 879       return NULL;
 880       }
 881
 882     endptr = s + 5;
 883     if (!isdigit(*endptr) && *endptr != '_')
 884       {
 885       *error = string_sprintf("invalid variable name after \"set\" in ACL "
 886         "modifier \"set %s\" (digit or underscore must follow acl_c or acl_m)",
 887         s);
 888       return NULL;
 889       }
 890
 891     while (*endptr && *endptr != '=' && !isspace(*endptr))
 892       {
 893       if (!isalnum(*endptr) && *endptr != '_')
 894         {
 895         *error = string_sprintf("invalid character \"%c\" in variable name "
 896           "in ACL modifier \"set %s\"", *endptr, s);
 897         return NULL;
 898         }
 899       endptr++;
 900       }
 901
 902     cond->u.varname = string_copyn(s + 4, endptr - s - 4);
 903     s = endptr;
 904     Uskip_whitespace(&s);
 905     }
 906
 907   /* For "set", we are now positioned for the data. For the others, only
 908   "endpass" has no data */
 909
 910   if (c != ACLC_ENDPASS)
 911     {
 912     if (*s++ != '=')
 913       {
 914       *error = string_sprintf("\"=\" missing after ACL \"%s\" %s", name,
 915         conditions[c].is_modifier ? US"modifier" : US"condition");
 916       return NULL;
 917       }
 918     Uskip_whitespace(&s);
 919     cond->arg = string_copy(s);
 920     }
 921   }
 922
 923 return yield;
 924 }
 925
 926
 927
 928 /*************************************************
 929 *         Set up added header line(s)            *
 930 *************************************************/
 931
 932 /* This function is called by the add_header modifier, and also from acl_warn()
 933 to implement the now-deprecated way of adding header lines using "message" on a
 934 "warn" verb. The argument is treated as a sequence of header lines which are
 935 added to a chain, provided there isn't an identical one already there.
 936
 937 Argument:   string of header lines
 938 Returns:    nothing
 939 */
 940
 941 static void
 942 setup_header(const uschar *hstring)
 943 {
 944 const uschar *p, *q;
 945 int hlen = Ustrlen(hstring);
 946
 947 /* Ignore any leading newlines */
 948 while (*hstring == '\n') hstring++, hlen--;
 949
 950 /* An empty string does nothing; ensure exactly one final newline. */
 951 if (hlen <= 0) return;
 952 if (hstring[--hlen] != '\n')            /* no newline */
 953   q = string_sprintf("%s\n", hstring);
 954 else if (hstring[hlen-1] == '\n')       /* double newline */
 955   {
 956   uschar * s = string_copy(hstring);
 957   while(s[--hlen] == '\n')
 958     s[hlen+1] = '\0';
 959   q = s;
 960   }
 961 else
 962   q = hstring;
 963
 964 /* Loop for multiple header lines, taking care about continuations */
 965
 966 for (p = q; *p; p = q)
 967   {
 968   const uschar *s;
 969   uschar * hdr;
 970   int newtype = htype_add_bot;
 971   header_line **hptr = &acl_added_headers;
 972
 973   /* Find next header line within the string */
 974
 975   for (;;)
 976     {
 977     q = Ustrchr(q, '\n');               /* we know there was a newline */
 978     if (*++q != ' ' && *q != '\t') break;
 979     }
 980
 981   /* If the line starts with a colon, interpret the instruction for where to
 982   add it. This temporarily sets up a new type. */
 983
 984   if (*p == ':')
 985     {
 986     if (strncmpic(p, US":after_received:", 16) == 0)
 987       {
 988       newtype = htype_add_rec;
 989       p += 16;
 990       }
 991     else if (strncmpic(p, US":at_start_rfc:", 14) == 0)
 992       {
 993       newtype = htype_add_rfc;
 994       p += 14;
 995       }
 996     else if (strncmpic(p, US":at_start:", 10) == 0)
 997       {
 998       newtype = htype_add_top;
 999       p += 10;
1000       }
1001     else if (strncmpic(p, US":at_end:", 8) == 0)
1002       {
1003       newtype = htype_add_bot;
1004       p += 8;
1005       }
1006     while (*p == ' ' || *p == '\t') p++;
1007     }
1008
1009   /* See if this line starts with a header name, and if not, add X-ACL-Warn:
1010   to the front of it. */
1011
1012   for (s = p; s < q - 1; s++)
1013     if (*s == ':' || !isgraph(*s)) break;
1014
1015   hdr = string_sprintf("%s%.*s", *s == ':' ? "" : "X-ACL-Warn: ", (int) (q - p), p);
1016   hlen = Ustrlen(hdr);
1017
1018   /* See if this line has already been added */
1019
1020   while (*hptr)
1021     {
1022     if (Ustrncmp((*hptr)->text, hdr, hlen) == 0) break;
1023     hptr = &(*hptr)->next;
1024     }
1025
1026   /* Add if not previously present */
1027
1028   if (!*hptr)
1029     {
1030     /* The header_line struct itself is not tainted, though it points to
1031     possibly tainted data. */
1032     header_line * h = store_get(sizeof(header_line), FALSE);
1033     h->text = hdr;
1034     h->next = NULL;
1035     h->type = newtype;
1036     h->slen = hlen;
1037     *hptr = h;
1038     hptr = &h->next;
1039     }
1040   }
1041 }
1042
1043
1044
1045 /*************************************************
1046 *        List the added header lines             *
1047 *************************************************/
1048 uschar *
1049 fn_hdrs_added(void)
1050 {
1051 gstring * g = NULL;
1052
1053 for (header_line * h = acl_added_headers; h; h = h->next)
1054   {
1055   int i = h->slen;
1056   if (h->text[i-1] == '\n') i--;
1057   g = string_append_listele_n(g, '\n', h->text, i);
1058   }
1059
1060 return g ? g->s : NULL;
1061 }
1062
1063
1064 /*************************************************
1065 *        Set up removed header line(s)           *
1066 *************************************************/
1067
1068 /* This function is called by the remove_header modifier.  The argument is
1069 treated as a sequence of header names which are added to a colon separated
1070 list, provided there isn't an identical one already there.
1071
1072 Argument:   string of header names
1073 Returns:    nothing
1074 */
1075
1076 static void
1077 setup_remove_header(const uschar *hnames)
1078 {
1079 if (*hnames)
1080   acl_removed_headers = acl_removed_headers
1081     ? string_sprintf("%s : %s", acl_removed_headers, hnames)
1082     : string_copy(hnames);
1083 }
1084
1085
1086
1087 /*************************************************
1088 *               Handle warnings                  *
1089 *************************************************/
1090
1091 /* This function is called when a WARN verb's conditions are true. It adds to
1092 the message's headers, and/or writes information to the log. In each case, this
1093 only happens once (per message for headers, per connection for log).
1094
1095 ** NOTE: The header adding action using the "message" setting is historic, and
1096 its use is now deprecated. The new add_header modifier should be used instead.
1097
1098 Arguments:
1099   where          ACL_WHERE_xxxx indicating which ACL this is
1100   user_message   message for adding to headers
1101   log_message    message for logging, if different
1102
1103 Returns:         nothing
1104 */
1105
1106 static void
1107 acl_warn(int where, uschar *user_message, uschar *log_message)
1108 {
1109 if (log_message != NULL && log_message != user_message)
1110   {
1111   uschar *text;
1112   string_item *logged;
1113
1114   text = string_sprintf("%s Warning: %s",  host_and_ident(TRUE),
1115     string_printing(log_message));
1116
1117   /* If a sender verification has failed, and the log message is "sender verify
1118   failed", add the failure message. */
1119
1120   if (sender_verified_failed != NULL &&
1121       sender_verified_failed->message != NULL &&
1122       strcmpic(log_message, US"sender verify failed") == 0)
1123     text = string_sprintf("%s: %s", text, sender_verified_failed->message);
1124
1125   /* Search previously logged warnings. They are kept in malloc
1126   store so they can be freed at the start of a new message. */
1127
1128   for (logged = acl_warn_logged; logged; logged = logged->next)
1129     if (Ustrcmp(logged->text, text) == 0) break;
1130
1131   if (!logged)
1132     {
1133     int length = Ustrlen(text) + 1;
1134     log_write(0, LOG_MAIN, "%s", text);
1135     logged = store_malloc(sizeof(string_item) + length);
1136     logged->text = US logged + sizeof(string_item);
1137     memcpy(logged->text, text, length);
1138     logged->next = acl_warn_logged;
1139     acl_warn_logged = logged;
1140     }
1141   }
1142
1143 /* If there's no user message, we are done. */
1144
1145 if (!user_message) return;
1146
1147 /* If this isn't a message ACL, we can't do anything with a user message.
1148 Log an error. */
1149
1150 if (where > ACL_WHERE_NOTSMTP)
1151   {
1152   log_write(0, LOG_MAIN|LOG_PANIC, "ACL \"warn\" with \"message\" setting "
1153     "found in a non-message (%s) ACL: cannot specify header lines here: "
1154     "message ignored", acl_wherenames[where]);
1155   return;
1156   }
1157
1158 /* The code for setting up header lines is now abstracted into a separate
1159 function so that it can be used for the add_header modifier as well. */
1160
1161 setup_header(user_message);
1162 }
1163
1164
1165
1166 /*************************************************
1167 *         Verify and check reverse DNS           *
1168 *************************************************/
1169
1170 /* Called from acl_verify() below. We look up the host name(s) of the client IP
1171 address if this has not yet been done. The host_name_lookup() function checks
1172 that one of these names resolves to an address list that contains the client IP
1173 address, so we don't actually have to do the check here.
1174
1175 Arguments:
1176   user_msgptr  pointer for user message
1177   log_msgptr   pointer for log message
1178
1179 Returns:       OK        verification condition succeeded
1180                FAIL      verification failed
1181                DEFER     there was a problem verifying
1182 */
1183
1184 static int
1185 acl_verify_reverse(uschar **user_msgptr, uschar **log_msgptr)
1186 {
1187 int rc;
1188
1189 /* Previous success */
1190
1191 if (sender_host_name != NULL) return OK;
1192
1193 /* Previous failure */
1194
1195 if (host_lookup_failed)
1196   {
1197   *log_msgptr = string_sprintf("host lookup failed%s", host_lookup_msg);
1198   return FAIL;
1199   }
1200
1201 /* Need to do a lookup */
1202
1203 HDEBUG(D_acl)
1204   debug_printf_indent("looking up host name to force name/address consistency check\n");
1205
1206 if ((rc = host_name_lookup()) != OK)
1207   {
1208   *log_msgptr = rc == DEFER
1209     ? US"host lookup deferred for reverse lookup check"
1210     : string_sprintf("host lookup failed for reverse lookup check%s",
1211         host_lookup_msg);
1212   return rc;    /* DEFER or FAIL */
1213   }
1214
1215 host_build_sender_fullhost();
1216 return OK;
1217 }
1218
1219
1220
1221 /*************************************************
1222 *   Check client IP address matches CSA target   *
1223 *************************************************/
1224
1225 /* Called from acl_verify_csa() below. This routine scans a section of a DNS
1226 response for address records belonging to the CSA target hostname. The section
1227 is specified by the reset argument, either RESET_ADDITIONAL or RESET_ANSWERS.
1228 If one of the addresses matches the client's IP address, then the client is
1229 authorized by CSA. If there are target IP addresses but none of them match
1230 then the client is using an unauthorized IP address. If there are no target IP
1231 addresses then the client cannot be using an authorized IP address. (This is
1232 an odd configuration - why didn't the SRV record have a weight of 1 instead?)
1233
1234 Arguments:
1235   dnsa       the DNS answer block
1236   dnss       a DNS scan block for us to use
1237   reset      option specifying what portion to scan, as described above
1238   target     the target hostname to use for matching RR names
1239
1240 Returns:     CSA_OK             successfully authorized
1241              CSA_FAIL_MISMATCH  addresses found but none matched
1242              CSA_FAIL_NOADDR    no target addresses found
1243 */
1244
1245 static int
1246 acl_verify_csa_address(dns_answer *dnsa, dns_scan *dnss, int reset,
1247                        uschar *target)
1248 {
1249 int rc = CSA_FAIL_NOADDR;
1250
1251 for (dns_record * rr = dns_next_rr(dnsa, dnss, reset);
1252      rr;
1253      rr = dns_next_rr(dnsa, dnss, RESET_NEXT))
1254   {
1255   /* Check this is an address RR for the target hostname. */
1256
1257   if (rr->type != T_A
1258     #if HAVE_IPV6
1259       && rr->type != T_AAAA
1260     #endif
1261   ) continue;
1262
1263   if (strcmpic(target, rr->name) != 0) continue;
1264
1265   rc = CSA_FAIL_MISMATCH;
1266
1267   /* Turn the target address RR into a list of textual IP addresses and scan
1268   the list. There may be more than one if it is an A6 RR. */
1269
1270   for (dns_address * da = dns_address_from_rr(dnsa, rr); da; da = da->next)
1271     {
1272     /* If the client IP address matches the target IP address, it's good! */
1273
1274     DEBUG(D_acl) debug_printf_indent("CSA target address is %s\n", da->address);
1275
1276     if (strcmpic(sender_host_address, da->address) == 0) return CSA_OK;
1277     }
1278   }
1279
1280 /* If we found some target addresses but none of them matched, the client is
1281 using an unauthorized IP address, otherwise the target has no authorized IP
1282 addresses. */
1283
1284 return rc;
1285 }
1286
1287
1288
1289 /*************************************************
1290 *       Verify Client SMTP Authorization         *
1291 *************************************************/
1292
1293 /* Called from acl_verify() below. This routine calls dns_lookup_special()
1294 to find the CSA SRV record corresponding to the domain argument, or
1295 $sender_helo_name if no argument is provided. It then checks that the
1296 client is authorized, and that its IP address corresponds to the SRV
1297 target's address by calling acl_verify_csa_address() above. The address
1298 should have been returned in the DNS response's ADDITIONAL section, but if
1299 not we perform another DNS lookup to get it.
1300
1301 Arguments:
1302   domain    pointer to optional parameter following verify = csa
1303
1304 Returns:    CSA_UNKNOWN    no valid CSA record found
1305             CSA_OK         successfully authorized
1306             CSA_FAIL_*     client is definitely not authorized
1307             CSA_DEFER_*    there was a DNS problem
1308 */
1309
1310 static int
1311 acl_verify_csa(const uschar *domain)
1312 {
1313 tree_node *t;
1314 const uschar *found;
1315 int priority, weight, port;
1316 dns_answer * dnsa = store_get_dns_answer();
1317 dns_scan dnss;
1318 dns_record *rr;
1319 int rc, type;
1320 uschar target[256];
1321
1322 /* Work out the domain we are using for the CSA lookup. The default is the
1323 client's HELO domain. If the client has not said HELO, use its IP address
1324 instead. If it's a local client (exim -bs), CSA isn't applicable. */
1325
1326 while (isspace(*domain) && *domain != '\0') ++domain;
1327 if (*domain == '\0') domain = sender_helo_name;
1328 if (domain == NULL) domain = sender_host_address;
1329 if (sender_host_address == NULL) return CSA_UNKNOWN;
1330
1331 /* If we have an address literal, strip off the framing ready for turning it
1332 into a domain. The framing consists of matched square brackets possibly
1333 containing a keyword and a colon before the actual IP address. */
1334
1335 if (domain[0] == '[')
1336   {
1337   const uschar *start = Ustrchr(domain, ':');
1338   if (start == NULL) start = domain;
1339   domain = string_copyn(start + 1, Ustrlen(start) - 2);
1340   }
1341
1342 /* Turn domains that look like bare IP addresses into domains in the reverse
1343 DNS. This code also deals with address literals and $sender_host_address. It's
1344 not quite kosher to treat bare domains such as EHLO 192.0.2.57 the same as
1345 address literals, but it's probably the most friendly thing to do. This is an
1346 extension to CSA, so we allow it to be turned off for proper conformance. */
1347
1348 if (string_is_ip_address(domain, NULL) != 0)
1349   {
1350   if (!dns_csa_use_reverse) return CSA_UNKNOWN;
1351   domain = dns_build_reverse(domain);
1352   }
1353
1354 /* Find out if we've already done the CSA check for this domain. If we have,
1355 return the same result again. Otherwise build a new cached result structure
1356 for this domain. The name is filled in now, and the value is filled in when
1357 we return from this function. */
1358
1359 t = tree_search(csa_cache, domain);
1360 if (t != NULL) return t->data.val;
1361
1362 t = store_get_perm(sizeof(tree_node) + Ustrlen(domain), is_tainted(domain));
1363 Ustrcpy(t->name, domain);
1364 (void)tree_insertnode(&csa_cache, t);
1365
1366 /* Now we are ready to do the actual DNS lookup(s). */
1367
1368 found = domain;
1369 switch (dns_special_lookup(dnsa, domain, T_CSA, &found))
1370   {
1371   /* If something bad happened (most commonly DNS_AGAIN), defer. */
1372
1373   default:
1374   return t->data.val = CSA_DEFER_SRV;
1375
1376   /* If we found nothing, the client's authorization is unknown. */
1377
1378   case DNS_NOMATCH:
1379   case DNS_NODATA:
1380   return t->data.val = CSA_UNKNOWN;
1381
1382   /* We got something! Go on to look at the reply in more detail. */
1383
1384   case DNS_SUCCEED:
1385   break;
1386   }
1387
1388 /* Scan the reply for well-formed CSA SRV records. */
1389
1390 for (rr = dns_next_rr(dnsa, &dnss, RESET_ANSWERS);
1391      rr;
1392      rr = dns_next_rr(dnsa, &dnss, RESET_NEXT)) if (rr->type == T_SRV)
1393   {
1394   const uschar * p = rr->data;
1395
1396   /* Extract the numerical SRV fields (p is incremented) */
1397
1398   GETSHORT(priority, p);
1399   GETSHORT(weight, p);
1400   GETSHORT(port, p);
1401
1402   DEBUG(D_acl)
1403     debug_printf_indent("CSA priority=%d weight=%d port=%d\n", priority, weight, port);
1404
1405   /* Check the CSA version number */
1406
1407   if (priority != 1) continue;
1408
1409   /* If the domain does not have a CSA SRV record of its own (i.e. the domain
1410   found by dns_special_lookup() is a parent of the one we asked for), we check
1411   the subdomain assertions in the port field. At the moment there's only one
1412   assertion: legitimate SMTP clients are all explicitly authorized with CSA
1413   SRV records of their own. */
1414
1415   if (Ustrcmp(found, domain) != 0)
1416     return t->data.val = port & 1 ? CSA_FAIL_EXPLICIT : CSA_UNKNOWN;
1417
1418   /* This CSA SRV record refers directly to our domain, so we check the value
1419   in the weight field to work out the domain's authorization. 0 and 1 are
1420   unauthorized; 3 means the client is authorized but we can't check the IP
1421   address in order to authenticate it, so we treat it as unknown; values
1422   greater than 3 are undefined. */
1423
1424   if (weight < 2) return t->data.val = CSA_FAIL_DOMAIN;
1425
1426   if (weight > 2) continue;
1427
1428   /* Weight == 2, which means the domain is authorized. We must check that the
1429   client's IP address is listed as one of the SRV target addresses. Save the
1430   target hostname then break to scan the additional data for its addresses. */
1431
1432   (void)dn_expand(dnsa->answer, dnsa->answer + dnsa->answerlen, p,
1433     (DN_EXPAND_ARG4_TYPE)target, sizeof(target));
1434
1435   DEBUG(D_acl) debug_printf_indent("CSA target is %s\n", target);
1436
1437   break;
1438   }
1439
1440 /* If we didn't break the loop then no appropriate records were found. */
1441
1442 if (!rr) return t->data.val = CSA_UNKNOWN;
1443
1444 /* Do not check addresses if the target is ".", in accordance with RFC 2782.
1445 A target of "." indicates there are no valid addresses, so the client cannot
1446 be authorized. (This is an odd configuration because weight=2 target=. is
1447 equivalent to weight=1, but we check for it in order to keep load off the
1448 root name servers.) Note that dn_expand() turns "." into "". */
1449
1450 if (Ustrcmp(target, "") == 0) return t->data.val = CSA_FAIL_NOADDR;
1451
1452 /* Scan the additional section of the CSA SRV reply for addresses belonging
1453 to the target. If the name server didn't return any additional data (e.g.
1454 because it does not fully support SRV records), we need to do another lookup
1455 to obtain the target addresses; otherwise we have a definitive result. */
1456
1457 rc = acl_verify_csa_address(dnsa, &dnss, RESET_ADDITIONAL, target);
1458 if (rc != CSA_FAIL_NOADDR) return t->data.val = rc;
1459
1460 /* The DNS lookup type corresponds to the IP version used by the client. */
1461
1462 #if HAVE_IPV6
1463 if (Ustrchr(sender_host_address, ':') != NULL)
1464   type = T_AAAA;
1465 else
1466 #endif /* HAVE_IPV6 */
1467   type = T_A;
1468
1469
1470 lookup_dnssec_authenticated = NULL;
1471 switch (dns_lookup(dnsa, target, type, NULL))
1472   {
1473   /* If something bad happened (most commonly DNS_AGAIN), defer. */
1474
1475   default:
1476     return t->data.val = CSA_DEFER_ADDR;
1477
1478   /* If the query succeeded, scan the addresses and return the result. */
1479
1480   case DNS_SUCCEED:
1481     rc = acl_verify_csa_address(dnsa, &dnss, RESET_ANSWERS, target);
1482     if (rc != CSA_FAIL_NOADDR) return t->data.val = rc;
1483     /* else fall through */
1484
1485   /* If the target has no IP addresses, the client cannot have an authorized
1486   IP address. However, if the target site uses A6 records (not AAAA records)
1487   we have to do yet another lookup in order to check them. */
1488
1489   case DNS_NOMATCH:
1490   case DNS_NODATA:
1491     return t->data.val = CSA_FAIL_NOADDR;
1492   }
1493 }
1494
1495
1496
1497 /*************************************************
1498 *     Handle verification (address & other)      *
1499 *************************************************/
1500
1501 enum { VERIFY_REV_HOST_LKUP, VERIFY_CERT, VERIFY_HELO, VERIFY_CSA, VERIFY_HDR_SYNTAX,
1502        VERIFY_NOT_BLIND, VERIFY_HDR_SNDR, VERIFY_SNDR, VERIFY_RCPT,
1503        VERIFY_HDR_NAMES_ASCII, VERIFY_ARC
1504   };
1505 typedef struct {
1506   uschar * name;
1507   int      value;
1508   unsigned where_allowed;       /* bitmap */
1509   BOOL     no_options;          /* Never has /option(s) following */
1510   unsigned alt_opt_sep;         /* >0 Non-/ option separator (custom parser) */
1511   } verify_type_t;
1512 static verify_type_t verify_type_list[] = {
1513     /*  name                    value                   where           no-opt opt-sep */
1514     { US"reverse_host_lookup",  VERIFY_REV_HOST_LKUP,   (unsigned)~0,   FALSE, 0 },
1515     { US"certificate",          VERIFY_CERT,            (unsigned)~0,   TRUE,  0 },
1516     { US"helo",                 VERIFY_HELO,            (unsigned)~0,   TRUE,  0 },
1517     { US"csa",                  VERIFY_CSA,             (unsigned)~0,   FALSE, 0 },
1518     { US"header_syntax",        VERIFY_HDR_SYNTAX,      ACL_BITS_HAVEDATA, TRUE, 0 },
1519     { US"not_blind",            VERIFY_NOT_BLIND,       ACL_BITS_HAVEDATA, FALSE, 0 },
1520     { US"header_sender",        VERIFY_HDR_SNDR,        ACL_BITS_HAVEDATA, FALSE, 0 },
1521     { US"sender",               VERIFY_SNDR,            ACL_BIT_MAIL | ACL_BIT_RCPT
1522                         | ACL_BIT_PREDATA | ACL_BIT_DATA | ACL_BIT_NOTSMTP,
1523                                                                                 FALSE, 6 },
1524     { US"recipient",            VERIFY_RCPT,            ACL_BIT_RCPT,   FALSE, 0 },
1525     { US"header_names_ascii",   VERIFY_HDR_NAMES_ASCII, ACL_BITS_HAVEDATA, TRUE, 0 },
1526 #ifdef EXPERIMENTAL_ARC
1527     { US"arc",                  VERIFY_ARC,             ACL_BIT_DATA,   FALSE , 0 },
1528 #endif
1529   };
1530
1531
1532 enum { CALLOUT_DEFER_OK, CALLOUT_NOCACHE, CALLOUT_RANDOM, CALLOUT_USE_SENDER,
1533   CALLOUT_USE_POSTMASTER, CALLOUT_POSTMASTER, CALLOUT_FULLPOSTMASTER,
1534   CALLOUT_MAILFROM, CALLOUT_POSTMASTER_MAILFROM, CALLOUT_MAXWAIT, CALLOUT_CONNECT,
1535   CALLOUT_HOLD, CALLOUT_TIME    /* TIME must be last */
1536   };
1537 typedef struct {
1538   uschar * name;
1539   int      value;
1540   int      flag;
1541   BOOL     has_option;  /* Has =option(s) following */
1542   BOOL     timeval;     /* Has a time value */
1543   } callout_opt_t;
1544 static callout_opt_t callout_opt_list[] = {
1545     /*  name                    value                   flag            has-opt         has-time */
1546     { US"defer_ok",       CALLOUT_DEFER_OK,      0,                             FALSE, FALSE },
1547     { US"no_cache",       CALLOUT_NOCACHE,       vopt_callout_no_cache,         FALSE, FALSE },
1548     { US"random",         CALLOUT_RANDOM,        vopt_callout_random,           FALSE, FALSE },
1549     { US"use_sender",     CALLOUT_USE_SENDER,    vopt_callout_recipsender,      FALSE, FALSE },
1550     { US"use_postmaster", CALLOUT_USE_POSTMASTER,vopt_callout_recippmaster,     FALSE, FALSE },
1551     { US"postmaster_mailfrom",CALLOUT_POSTMASTER_MAILFROM,0,                    TRUE,  FALSE },
1552     { US"postmaster",     CALLOUT_POSTMASTER,    0,                             FALSE, FALSE },
1553     { US"fullpostmaster", CALLOUT_FULLPOSTMASTER,vopt_callout_fullpm,           FALSE, FALSE },
1554     { US"mailfrom",       CALLOUT_MAILFROM,      0,                             TRUE,  FALSE },
1555     { US"maxwait",        CALLOUT_MAXWAIT,       0,                             TRUE,  TRUE },
1556     { US"connect",        CALLOUT_CONNECT,       0,                             TRUE,  TRUE },
1557     { US"hold",           CALLOUT_HOLD,          vopt_callout_hold,             FALSE, FALSE },
1558     { NULL,               CALLOUT_TIME,          0,                             FALSE, TRUE }
1559   };
1560
1561
1562
1563 static int
1564 v_period(const uschar * s, const uschar * arg, uschar ** log_msgptr)
1565 {
1566 int period;
1567 if ((period = readconf_readtime(s, 0, FALSE)) < 0)
1568   {
1569   *log_msgptr = string_sprintf("bad time value in ACL condition "
1570     "\"verify %s\"", arg);
1571   }
1572 return period;
1573 }
1574
1575
1576
1577 /* This function implements the "verify" condition. It is called when
1578 encountered in any ACL, because some tests are almost always permitted. Some
1579 just don't make sense, and always fail (for example, an attempt to test a host
1580 lookup for a non-TCP/IP message). Others are restricted to certain ACLs.
1581
1582 Arguments:
1583   where        where called from
1584   addr         the recipient address that the ACL is handling, or NULL
1585   arg          the argument of "verify"
1586   user_msgptr  pointer for user message
1587   log_msgptr   pointer for log message
1588   basic_errno  where to put verify errno
1589
1590 Returns:       OK        verification condition succeeded
1591                FAIL      verification failed
1592                DEFER     there was a problem verifying
1593                ERROR     syntax error
1594 */
1595
1596 static int
1597 acl_verify(int where, address_item *addr, const uschar *arg,
1598   uschar **user_msgptr, uschar **log_msgptr, int *basic_errno)
1599 {
1600 int sep = '/';
1601 int callout = -1;
1602 int callout_overall = -1;
1603 int callout_connect = -1;
1604 int verify_options = 0;
1605 int rc;
1606 BOOL verify_header_sender = FALSE;
1607 BOOL defer_ok = FALSE;
1608 BOOL callout_defer_ok = FALSE;
1609 BOOL no_details = FALSE;
1610 BOOL success_on_redirect = FALSE;
1611 BOOL quota = FALSE;
1612 int quota_pos_cache = QUOTA_POS_DEFAULT, quota_neg_cache = QUOTA_NEG_DEFAULT;
1613 address_item *sender_vaddr = NULL;
1614 uschar *verify_sender_address = NULL;
1615 uschar *pm_mailfrom = NULL;
1616 uschar *se_mailfrom = NULL;
1617
1618 /* Some of the verify items have slash-separated options; some do not. Diagnose
1619 an error if options are given for items that don't expect them.
1620 */
1621
1622 uschar *slash = Ustrchr(arg, '/');
1623 const uschar *list = arg;
1624 uschar *ss = string_nextinlist(&list, &sep, NULL, 0);
1625 verify_type_t * vp;
1626
1627 if (!ss) goto BAD_VERIFY;
1628
1629 /* Handle name/address consistency verification in a separate function. */
1630
1631 for (vp = verify_type_list;
1632      CS vp < CS verify_type_list + sizeof(verify_type_list);
1633      vp++
1634     )
1635   if (vp->alt_opt_sep ? strncmpic(ss, vp->name, vp->alt_opt_sep) == 0
1636                       : strcmpic (ss, vp->name) == 0)
1637    break;
1638 if (CS vp >= CS verify_type_list + sizeof(verify_type_list))
1639   goto BAD_VERIFY;
1640
1641 if (vp->no_options && slash)
1642   {
1643   *log_msgptr = string_sprintf("unexpected '/' found in \"%s\" "
1644     "(this verify item has no options)", arg);
1645   return ERROR;
1646   }
1647 if (!(vp->where_allowed & BIT(where)))
1648   {
1649   *log_msgptr = string_sprintf("cannot verify %s in ACL for %s",
1650                   vp->name, acl_wherenames[where]);
1651   return ERROR;
1652   }
1653 switch(vp->value)
1654   {
1655   case VERIFY_REV_HOST_LKUP:
1656     if (!sender_host_address) return OK;
1657     if ((rc = acl_verify_reverse(user_msgptr, log_msgptr)) == DEFER)
1658       while ((ss = string_nextinlist(&list, &sep, NULL, 0)))
1659         if (strcmpic(ss, US"defer_ok") == 0)
1660           return OK;
1661     return rc;
1662
1663   case VERIFY_CERT:
1664     /* TLS certificate verification is done at STARTTLS time; here we just
1665     test whether it was successful or not. (This is for optional verification; for
1666     mandatory verification, the connection doesn't last this long.) */
1667
1668     if (tls_in.certificate_verified) return OK;
1669     *user_msgptr = US"no verified certificate";
1670     return FAIL;
1671
1672   case VERIFY_HELO:
1673     /* We can test the result of optional HELO verification that might have
1674     occurred earlier. If not, we can attempt the verification now. */
1675
1676     if (!f.helo_verified && !f.helo_verify_failed) smtp_verify_helo();
1677     return f.helo_verified ? OK : FAIL;
1678
1679   case VERIFY_CSA:
1680     /* Do Client SMTP Authorization checks in a separate function, and turn the
1681     result code into user-friendly strings. */
1682
1683     rc = acl_verify_csa(list);
1684     *log_msgptr = *user_msgptr = string_sprintf("client SMTP authorization %s",
1685                                               csa_reason_string[rc]);
1686     csa_status = csa_status_string[rc];
1687     DEBUG(D_acl) debug_printf_indent("CSA result %s\n", csa_status);
1688     return csa_return_code[rc];
1689
1690 #ifdef EXPERIMENTAL_ARC
1691   case VERIFY_ARC:
1692     {   /* Do Authenticated Received Chain checks in a separate function. */
1693     const uschar * condlist = CUS string_nextinlist(&list, &sep, NULL, 0);
1694     int csep = 0;
1695     uschar * cond;
1696
1697     if (!(arc_state = acl_verify_arc())) return DEFER;
1698     DEBUG(D_acl) debug_printf_indent("ARC verify result %s %s%s%s\n", arc_state,
1699       arc_state_reason ? "(":"", arc_state_reason, arc_state_reason ? ")":"");
1700
1701     if (!condlist) condlist = US"none:pass";
1702     while ((cond = string_nextinlist(&condlist, &csep, NULL, 0)))
1703       if (Ustrcmp(arc_state, cond) == 0) return OK;
1704     return FAIL;
1705     }
1706 #endif
1707
1708   case VERIFY_HDR_SYNTAX:
1709     /* Check that all relevant header lines have the correct 5322-syntax. If there is
1710     a syntax error, we return details of the error to the sender if configured to
1711     send out full details. (But a "message" setting on the ACL can override, as
1712     always). */
1713
1714     rc = verify_check_headers(log_msgptr);
1715     if (rc != OK && *log_msgptr)
1716       if (smtp_return_error_details)
1717         *user_msgptr = string_sprintf("Rejected after DATA: %s", *log_msgptr);
1718       else
1719         acl_verify_message = *log_msgptr;
1720     return rc;
1721
1722   case VERIFY_HDR_NAMES_ASCII:
1723     /* Check that all header names are true 7 bit strings
1724     See RFC 5322, 2.2. and RFC 6532, 3. */
1725
1726     rc = verify_check_header_names_ascii(log_msgptr);
1727     if (rc != OK && smtp_return_error_details && *log_msgptr)
1728       *user_msgptr = string_sprintf("Rejected after DATA: %s", *log_msgptr);
1729     return rc;
1730
1731   case VERIFY_NOT_BLIND:
1732     /* Check that no recipient of this message is "blind", that is, every envelope
1733     recipient must be mentioned in either To: or Cc:. */
1734     {
1735     BOOL case_sensitive = TRUE;
1736
1737     while ((ss = string_nextinlist(&list, &sep, NULL, 0)))
1738       if (strcmpic(ss, US"case_insensitive") == 0)
1739         case_sensitive = FALSE;
1740       else
1741         {
1742         *log_msgptr = string_sprintf("unknown option \"%s\" in ACL "
1743            "condition \"verify %s\"", ss, arg);
1744         return ERROR;
1745         }
1746
1747     if ((rc = verify_check_notblind(case_sensitive)) != OK)
1748       {
1749       *log_msgptr = US"bcc recipient detected";
1750       if (smtp_return_error_details)
1751         *user_msgptr = string_sprintf("Rejected after DATA: %s", *log_msgptr);
1752       }
1753     return rc;
1754     }
1755
1756   /* The remaining verification tests check recipient and sender addresses,
1757   either from the envelope or from the header. There are a number of
1758   slash-separated options that are common to all of them. */
1759
1760   case VERIFY_HDR_SNDR:
1761     verify_header_sender = TRUE;
1762     break;
1763
1764   case VERIFY_SNDR:
1765     /* In the case of a sender, this can optionally be followed by an address to use
1766     in place of the actual sender (rare special-case requirement). */
1767     {
1768     uschar *s = ss + 6;
1769     if (!*s)
1770       verify_sender_address = sender_address;
1771     else
1772       {
1773       while (isspace(*s)) s++;
1774       if (*s++ != '=') goto BAD_VERIFY;
1775       while (isspace(*s)) s++;
1776       verify_sender_address = string_copy(s);
1777       }
1778     }
1779     break;
1780
1781   case VERIFY_RCPT:
1782     break;
1783   }
1784
1785
1786
1787 /* Remaining items are optional; they apply to sender and recipient
1788 verification, including "header sender" verification. */
1789
1790 while ((ss = string_nextinlist(&list, &sep, NULL, 0)))
1791   {
1792   if (strcmpic(ss, US"defer_ok") == 0) defer_ok = TRUE;
1793   else if (strcmpic(ss, US"no_details") == 0) no_details = TRUE;
1794   else if (strcmpic(ss, US"success_on_redirect") == 0) success_on_redirect = TRUE;
1795
1796   /* These two old options are left for backwards compatibility */
1797
1798   else if (strcmpic(ss, US"callout_defer_ok") == 0)
1799     {
1800     callout_defer_ok = TRUE;
1801     if (callout == -1) callout = CALLOUT_TIMEOUT_DEFAULT;
1802     }
1803
1804   else if (strcmpic(ss, US"check_postmaster") == 0)
1805      {
1806      pm_mailfrom = US"";
1807      if (callout == -1) callout = CALLOUT_TIMEOUT_DEFAULT;
1808      }
1809
1810   /* The callout option has a number of sub-options, comma separated */
1811
1812   else if (strncmpic(ss, US"callout", 7) == 0)
1813     {
1814     callout = CALLOUT_TIMEOUT_DEFAULT;
1815     if (*(ss += 7))
1816       {
1817       while (isspace(*ss)) ss++;
1818       if (*ss++ == '=')
1819         {
1820         const uschar * sublist = ss;
1821         int optsep = ',';
1822
1823         while (isspace(*sublist)) sublist++;
1824         for (uschar * opt; opt = string_nextinlist(&sublist, &optsep, NULL, 0); )
1825           {
1826           callout_opt_t * op;
1827           double period = 1.0F;
1828
1829           for (op= callout_opt_list; op->name; op++)
1830             if (strncmpic(opt, op->name, Ustrlen(op->name)) == 0)
1831               break;
1832
1833           verify_options |= op->flag;
1834           if (op->has_option)
1835             {
1836             opt += Ustrlen(op->name);
1837             while (isspace(*opt)) opt++;
1838             if (*opt++ != '=')
1839               {
1840               *log_msgptr = string_sprintf("'=' expected after "
1841                 "\"%s\" in ACL verify condition \"%s\"", op->name, arg);
1842               return ERROR;
1843               }
1844             while (isspace(*opt)) opt++;
1845             }
1846           if (op->timeval && (period = v_period(opt, arg, log_msgptr)) < 0)
1847             return ERROR;
1848
1849           switch(op->value)
1850             {
1851             case CALLOUT_DEFER_OK:              callout_defer_ok = TRUE; break;
1852             case CALLOUT_POSTMASTER:            pm_mailfrom = US"";     break;
1853             case CALLOUT_FULLPOSTMASTER:        pm_mailfrom = US"";     break;
1854             case CALLOUT_MAILFROM:
1855               if (!verify_header_sender)
1856                 {
1857                 *log_msgptr = string_sprintf("\"mailfrom\" is allowed as a "
1858                   "callout option only for verify=header_sender (detected in ACL "
1859                   "condition \"%s\")", arg);
1860                 return ERROR;
1861                 }
1862               se_mailfrom = string_copy(opt);
1863               break;
1864             case CALLOUT_POSTMASTER_MAILFROM:   pm_mailfrom = string_copy(opt); break;
1865             case CALLOUT_MAXWAIT:               callout_overall = period;       break;
1866             case CALLOUT_CONNECT:               callout_connect = period;       break;
1867             case CALLOUT_TIME:                  callout = period;               break;
1868             }
1869           }
1870         }
1871       else
1872         {
1873         *log_msgptr = string_sprintf("'=' expected after \"callout\" in "
1874           "ACL condition \"%s\"", arg);
1875         return ERROR;
1876         }
1877       }
1878     }
1879
1880   /* The quota option has sub-options, comma-separated */
1881
1882   else if (strncmpic(ss, US"quota", 5) == 0)
1883     {
1884     quota = TRUE;
1885     if (*(ss += 5))
1886       {
1887       while (isspace(*ss)) ss++;
1888       if (*ss++ == '=')
1889         {
1890         const uschar * sublist = ss;
1891         int optsep = ',';
1892         int period;
1893
1894         while (isspace(*sublist)) sublist++;
1895         for (uschar * opt; opt = string_nextinlist(&sublist, &optsep, NULL, 0); )
1896           if (Ustrncmp(opt, "cachepos=", 9) == 0)
1897             if ((period = v_period(opt += 9, arg, log_msgptr)) < 0)
1898               return ERROR;
1899             else
1900               quota_pos_cache = period;
1901           else if (Ustrncmp(opt, "cacheneg=", 9) == 0)
1902             if ((period = v_period(opt += 9, arg, log_msgptr)) < 0)
1903               return ERROR;
1904             else
1905               quota_neg_cache = period;
1906           else if (Ustrcmp(opt, "no_cache") == 0)
1907             quota_pos_cache = quota_neg_cache = 0;
1908         }
1909       }
1910     }
1911
1912   /* Option not recognized */
1913
1914   else
1915     {
1916     *log_msgptr = string_sprintf("unknown option \"%s\" in ACL "
1917       "condition \"verify %s\"", ss, arg);
1918     return ERROR;
1919     }
1920   }
1921
1922 if ((verify_options & (vopt_callout_recipsender|vopt_callout_recippmaster)) ==
1923       (vopt_callout_recipsender|vopt_callout_recippmaster))
1924   {
1925   *log_msgptr = US"only one of use_sender and use_postmaster can be set "
1926     "for a recipient callout";
1927   return ERROR;
1928   }
1929
1930 /* Handle quota verification */
1931 if (quota)
1932   {
1933   if (vp->value != VERIFY_RCPT)
1934     {
1935     *log_msgptr = US"can only verify quota of recipient";
1936     return ERROR;
1937     }
1938
1939   if ((rc = verify_quota_call(addr->address,
1940               quota_pos_cache, quota_neg_cache, log_msgptr)) != OK)
1941     {
1942     *basic_errno = errno;
1943     if (smtp_return_error_details)
1944       {
1945       if (!*user_msgptr && *log_msgptr)
1946         *user_msgptr = string_sprintf("Rejected after %s: %s",
1947             smtp_names[smtp_connection_had[smtp_ch_index-1]], *log_msgptr);
1948       if (rc == DEFER) f.acl_temp_details = TRUE;
1949       }
1950     }
1951
1952   return rc;
1953   }
1954
1955 /* Handle sender-in-header verification. Default the user message to the log
1956 message if giving out verification details. */
1957
1958 if (verify_header_sender)
1959   {
1960   int verrno;
1961
1962   if ((rc = verify_check_header_address(user_msgptr, log_msgptr, callout,
1963     callout_overall, callout_connect, se_mailfrom, pm_mailfrom, verify_options,
1964     &verrno)) != OK)
1965     {
1966     *basic_errno = verrno;
1967     if (smtp_return_error_details)
1968       {
1969       if (!*user_msgptr && *log_msgptr)
1970         *user_msgptr = string_sprintf("Rejected after DATA: %s", *log_msgptr);
1971       if (rc == DEFER) f.acl_temp_details = TRUE;
1972       }
1973     }
1974   }
1975
1976 /* Handle a sender address. The default is to verify *the* sender address, but
1977 optionally a different address can be given, for special requirements. If the
1978 address is empty, we are dealing with a bounce message that has no sender, so
1979 we cannot do any checking. If the real sender address gets rewritten during
1980 verification (e.g. DNS widening), set the flag to stop it being rewritten again
1981 during message reception.
1982
1983 A list of verified "sender" addresses is kept to try to avoid doing to much
1984 work repetitively when there are multiple recipients in a message and they all
1985 require sender verification. However, when callouts are involved, it gets too
1986 complicated because different recipients may require different callout options.
1987 Therefore, we always do a full sender verify when any kind of callout is
1988 specified. Caching elsewhere, for instance in the DNS resolver and in the
1989 callout handling, should ensure that this is not terribly inefficient. */
1990
1991 else if (verify_sender_address)
1992   {
1993   if ((verify_options & (vopt_callout_recipsender|vopt_callout_recippmaster)))
1994     {
1995     *log_msgptr = US"use_sender or use_postmaster cannot be used for a "
1996       "sender verify callout";
1997     return ERROR;
1998     }
1999
2000   sender_vaddr = verify_checked_sender(verify_sender_address);
2001   if (   sender_vaddr                           /* Previously checked */
2002       && callout <= 0)                          /* No callout needed this time */
2003     {
2004     /* If the "routed" flag is set, it means that routing worked before, so
2005     this check can give OK (the saved return code value, if set, belongs to a
2006     callout that was done previously). If the "routed" flag is not set, routing
2007     must have failed, so we use the saved return code. */
2008
2009     if (testflag(sender_vaddr, af_verify_routed))
2010       rc = OK;
2011     else
2012       {
2013       rc = sender_vaddr->special_action;
2014       *basic_errno = sender_vaddr->basic_errno;
2015       }
2016     HDEBUG(D_acl) debug_printf_indent("using cached sender verify result\n");
2017     }
2018
2019   /* Do a new verification, and cache the result. The cache is used to avoid
2020   verifying the sender multiple times for multiple RCPTs when callouts are not
2021   specified (see comments above).
2022
2023   The cache is also used on failure to give details in response to the first
2024   RCPT that gets bounced for this reason. However, this can be suppressed by
2025   the no_details option, which sets the flag that says "this detail has already
2026   been sent". The cache normally contains just one address, but there may be
2027   more in esoteric circumstances. */
2028
2029   else
2030     {
2031     BOOL routed = TRUE;
2032     uschar *save_address_data = deliver_address_data;
2033
2034     sender_vaddr = deliver_make_addr(verify_sender_address, TRUE);
2035 #ifdef SUPPORT_I18N
2036     if ((sender_vaddr->prop.utf8_msg = message_smtputf8))
2037       {
2038       sender_vaddr->prop.utf8_downcvt =       message_utf8_downconvert == 1;
2039       sender_vaddr->prop.utf8_downcvt_maybe = message_utf8_downconvert == -1;
2040       }
2041 #endif
2042     if (no_details) setflag(sender_vaddr, af_sverify_told);
2043     if (verify_sender_address[0] != 0)
2044       {
2045       /* If this is the real sender address, save the unrewritten version
2046       for use later in receive. Otherwise, set a flag so that rewriting the
2047       sender in verify_address() does not update sender_address. */
2048
2049       if (verify_sender_address == sender_address)
2050         sender_address_unrewritten = sender_address;
2051       else
2052         verify_options |= vopt_fake_sender;
2053
2054       if (success_on_redirect)
2055         verify_options |= vopt_success_on_redirect;
2056
2057       /* The recipient, qualify, and expn options are never set in
2058       verify_options. */
2059
2060       rc = verify_address(sender_vaddr, NULL, verify_options, callout,
2061         callout_overall, callout_connect, se_mailfrom, pm_mailfrom, &routed);
2062
2063       HDEBUG(D_acl) debug_printf_indent("----------- end verify ------------\n");
2064
2065       if (rc != OK)
2066         *basic_errno = sender_vaddr->basic_errno;
2067       else
2068         DEBUG(D_acl)
2069           if (Ustrcmp(sender_vaddr->address, verify_sender_address) != 0)
2070             debug_printf_indent("sender %s verified ok as %s\n",
2071               verify_sender_address, sender_vaddr->address);
2072           else
2073             debug_printf_indent("sender %s verified ok\n",
2074               verify_sender_address);
2075       }
2076     else
2077       rc = OK;  /* Null sender */
2078
2079     /* Cache the result code */
2080
2081     if (routed) setflag(sender_vaddr, af_verify_routed);
2082     if (callout > 0) setflag(sender_vaddr, af_verify_callout);
2083     sender_vaddr->special_action = rc;
2084     sender_vaddr->next = sender_verified_list;
2085     sender_verified_list = sender_vaddr;
2086
2087     /* Restore the recipient address data, which might have been clobbered by
2088     the sender verification. */
2089
2090     deliver_address_data = save_address_data;
2091     }
2092
2093   /* Put the sender address_data value into $sender_address_data */
2094
2095   sender_address_data = sender_vaddr->prop.address_data;
2096   }
2097
2098 /* A recipient address just gets a straightforward verify; again we must handle
2099 the DEFER overrides. */
2100
2101 else
2102   {
2103   address_item addr2;
2104
2105   if (success_on_redirect)
2106     verify_options |= vopt_success_on_redirect;
2107
2108   /* We must use a copy of the address for verification, because it might
2109   get rewritten. */
2110
2111   addr2 = *addr;
2112   rc = verify_address(&addr2, NULL, verify_options|vopt_is_recipient, callout,
2113     callout_overall, callout_connect, se_mailfrom, pm_mailfrom, NULL);
2114   HDEBUG(D_acl) debug_printf_indent("----------- end verify ------------\n");
2115
2116   *basic_errno = addr2.basic_errno;
2117   *log_msgptr = addr2.message;
2118   *user_msgptr = addr2.user_message ? addr2.user_message : addr2.message;
2119
2120   /* Allow details for temporary error if the address is so flagged. */
2121   if (testflag((&addr2), af_pass_message)) f.acl_temp_details = TRUE;
2122
2123   /* Make $address_data visible */
2124   deliver_address_data = addr2.prop.address_data;
2125   }
2126
2127 /* We have a result from the relevant test. Handle defer overrides first. */
2128
2129 if (  rc == DEFER
2130    && (  defer_ok
2131       || callout_defer_ok && *basic_errno == ERRNO_CALLOUTDEFER
2132    )  )
2133   {
2134   HDEBUG(D_acl) debug_printf_indent("verify defer overridden by %s\n",
2135     defer_ok? "defer_ok" : "callout_defer_ok");
2136   rc = OK;
2137   }
2138
2139 /* If we've failed a sender, set up a recipient message, and point
2140 sender_verified_failed to the address item that actually failed. */
2141
2142 if (rc != OK && verify_sender_address)
2143   {
2144   if (rc != DEFER)
2145     *log_msgptr = *user_msgptr = US"Sender verify failed";
2146   else if (*basic_errno != ERRNO_CALLOUTDEFER)
2147     *log_msgptr = *user_msgptr = US"Could not complete sender verify";
2148   else
2149     {
2150     *log_msgptr = US"Could not complete sender verify callout";
2151     *user_msgptr = smtp_return_error_details? sender_vaddr->user_message :
2152       *log_msgptr;
2153     }
2154
2155   sender_verified_failed = sender_vaddr;
2156   }
2157
2158 /* Verifying an address messes up the values of $domain and $local_part,
2159 so reset them before returning if this is a RCPT ACL. */
2160
2161 if (addr)
2162   {
2163   deliver_domain = addr->domain;
2164   deliver_localpart = addr->local_part;
2165   }
2166 return rc;
2167
2168 /* Syntax errors in the verify argument come here. */
2169
2170 BAD_VERIFY:
2171 *log_msgptr = string_sprintf("expected \"sender[=address]\", \"recipient\", "
2172   "\"helo\", \"header_syntax\", \"header_sender\", \"header_names_ascii\" "
2173   "or \"reverse_host_lookup\" at start of ACL condition "
2174   "\"verify %s\"", arg);
2175 return ERROR;
2176 }
2177
2178
2179
2180
2181 /*************************************************
2182 *        Check argument for control= modifier    *
2183 *************************************************/
2184
2185 /* Called from acl_check_condition() below.
2186 To handle the case "queue_only" we accept an _ in the
2187 initial / option-switch position.
2188
2189 Arguments:
2190   arg         the argument string for control=
2191   pptr        set to point to the terminating character
2192   where       which ACL we are in
2193   log_msgptr  for error messages
2194
2195 Returns:      CONTROL_xxx value
2196 */
2197
2198 static int
2199 decode_control(const uschar *arg, const uschar **pptr, int where, uschar **log_msgptr)
2200 {
2201 int idx, len;
2202 control_def * d;
2203 uschar c;
2204
2205 if (  (idx = find_control(arg, controls_list, nelem(controls_list))) < 0
2206    || (  (c = arg[len = Ustrlen((d = controls_list+idx)->name)]) != 0
2207       && (!d->has_option || c != '/' && c != '_')
2208    )  )
2209   {
2210   *log_msgptr = string_sprintf("syntax error in \"control=%s\"", arg);
2211   return CONTROL_ERROR;
2212   }
2213
2214 *pptr = arg + len;
2215 return idx;
2216 }
2217
2218
2219
2220
2221 /*************************************************
2222 *        Return a ratelimit error                *
2223 *************************************************/
2224
2225 /* Called from acl_ratelimit() below
2226
2227 Arguments:
2228   log_msgptr  for error messages
2229   format      format string
2230   ...         supplementary arguments
2231
2232 Returns:      ERROR
2233 */
2234
2235 static int
2236 ratelimit_error(uschar **log_msgptr, const char *format, ...)
2237 {
2238 va_list ap;
2239 gstring * g =
2240   string_cat(NULL, US"error in arguments to \"ratelimit\" condition: ");
2241
2242 va_start(ap, format);
2243 g = string_vformat(g, SVFMT_EXTEND|SVFMT_REBUFFER, format, ap);
2244 va_end(ap);
2245
2246 gstring_release_unused(g);
2247 *log_msgptr = string_from_gstring(g);
2248 return ERROR;
2249 }
2250
2251
2252
2253
2254 /*************************************************
2255 *            Handle rate limiting                *
2256 *************************************************/
2257
2258 /* Called by acl_check_condition() below to calculate the result
2259 of the ACL ratelimit condition.
2260
2261 Note that the return value might be slightly unexpected: if the
2262 sender's rate is above the limit then the result is OK. This is
2263 similar to the dnslists condition, and is so that you can write
2264 ACL clauses like: defer ratelimit = 15 / 1h
2265
2266 Arguments:
2267   arg         the option string for ratelimit=
2268   where       ACL_WHERE_xxxx indicating which ACL this is
2269   log_msgptr  for error messages
2270
2271 Returns:       OK        - Sender's rate is above limit
2272                FAIL      - Sender's rate is below limit
2273                DEFER     - Problem opening ratelimit database
2274                ERROR     - Syntax error in options.
2275 */
2276
2277 static int
2278 acl_ratelimit(const uschar *arg, int where, uschar **log_msgptr)
2279 {
2280 double limit, period, count;
2281 uschar *ss;
2282 uschar *key = NULL;
2283 uschar *unique = NULL;
2284 int sep = '/';
2285 BOOL leaky = FALSE, strict = FALSE, readonly = FALSE;
2286 BOOL noupdate = FALSE, badacl = FALSE;
2287 int mode = RATE_PER_WHAT;
2288 int old_pool, rc;
2289 tree_node **anchor, *t;
2290 open_db dbblock, *dbm;
2291 int dbdb_size;
2292 dbdata_ratelimit *dbd;
2293 dbdata_ratelimit_unique *dbdb;
2294 struct timeval tv;
2295
2296 /* Parse the first two options and record their values in expansion
2297 variables. These variables allow the configuration to have informative
2298 error messages based on rate limits obtained from a table lookup. */
2299
2300 /* First is the maximum number of messages per period / maximum burst
2301 size, which must be greater than or equal to zero. Zero is useful for
2302 rate measurement as opposed to rate limiting. */
2303
2304 if (!(sender_rate_limit = string_nextinlist(&arg, &sep, NULL, 0)))
2305   return ratelimit_error(log_msgptr, "sender rate limit not set");
2306
2307 limit = Ustrtod(sender_rate_limit, &ss);
2308 if      (tolower(*ss) == 'k') { limit *= 1024.0; ss++; }
2309 else if (tolower(*ss) == 'm') { limit *= 1024.0*1024.0; ss++; }
2310 else if (tolower(*ss) == 'g') { limit *= 1024.0*1024.0*1024.0; ss++; }
2311
2312 if (limit < 0.0 || *ss != '\0')
2313   return ratelimit_error(log_msgptr,
2314     "\"%s\" is not a positive number", sender_rate_limit);
2315
2316 /* Second is the rate measurement period / exponential smoothing time
2317 constant. This must be strictly greater than zero, because zero leads to
2318 run-time division errors. */
2319
2320 period = !(sender_rate_period = string_nextinlist(&arg, &sep, NULL, 0))
2321   ? -1.0 : readconf_readtime(sender_rate_period, 0, FALSE);
2322 if (period <= 0.0)
2323   return ratelimit_error(log_msgptr,
2324     "\"%s\" is not a time value", sender_rate_period);
2325
2326 /* By default we are counting one of something, but the per_rcpt,
2327 per_byte, and count options can change this. */
2328
2329 count = 1.0;
2330
2331 /* Parse the other options. */
2332
2333 while ((ss = string_nextinlist(&arg, &sep, NULL, 0)))
2334   {
2335   if (strcmpic(ss, US"leaky") == 0) leaky = TRUE;
2336   else if (strcmpic(ss, US"strict") == 0) strict = TRUE;
2337   else if (strcmpic(ss, US"noupdate") == 0) noupdate = TRUE;
2338   else if (strcmpic(ss, US"readonly") == 0) readonly = TRUE;
2339   else if (strcmpic(ss, US"per_cmd") == 0) RATE_SET(mode, PER_CMD);
2340   else if (strcmpic(ss, US"per_conn") == 0)
2341     {
2342     RATE_SET(mode, PER_CONN);
2343     if (where == ACL_WHERE_NOTSMTP || where == ACL_WHERE_NOTSMTP_START)
2344       badacl = TRUE;
2345     }
2346   else if (strcmpic(ss, US"per_mail") == 0)
2347     {
2348     RATE_SET(mode, PER_MAIL);
2349     if (where > ACL_WHERE_NOTSMTP) badacl = TRUE;
2350     }
2351   else if (strcmpic(ss, US"per_rcpt") == 0)
2352     {
2353     /* If we are running in the RCPT ACL, then we'll count the recipients
2354     one by one, but if we are running when we have accumulated the whole
2355     list then we'll add them all in one batch. */
2356     if (where == ACL_WHERE_RCPT)
2357       RATE_SET(mode, PER_RCPT);
2358     else if (where >= ACL_WHERE_PREDATA && where <= ACL_WHERE_NOTSMTP)
2359       RATE_SET(mode, PER_ALLRCPTS), count = (double)recipients_count;
2360     else if (where == ACL_WHERE_MAIL || where > ACL_WHERE_NOTSMTP)
2361       RATE_SET(mode, PER_RCPT), badacl = TRUE;
2362     }
2363   else if (strcmpic(ss, US"per_byte") == 0)
2364     {
2365     /* If we have not yet received the message data and there was no SIZE
2366     declaration on the MAIL command, then it's safe to just use a value of
2367     zero and let the recorded rate decay as if nothing happened. */
2368     RATE_SET(mode, PER_MAIL);
2369     if (where > ACL_WHERE_NOTSMTP) badacl = TRUE;
2370     else count = message_size < 0 ? 0.0 : (double)message_size;
2371     }
2372   else if (strcmpic(ss, US"per_addr") == 0)
2373     {
2374     RATE_SET(mode, PER_RCPT);
2375     if (where != ACL_WHERE_RCPT) badacl = TRUE, unique = US"*";
2376     else unique = string_sprintf("%s@%s", deliver_localpart, deliver_domain);
2377     }
2378   else if (strncmpic(ss, US"count=", 6) == 0)
2379     {
2380     uschar *e;
2381     count = Ustrtod(ss+6, &e);
2382     if (count < 0.0 || *e != '\0')
2383       return ratelimit_error(log_msgptr, "\"%s\" is not a positive number", ss);
2384     }
2385   else if (strncmpic(ss, US"unique=", 7) == 0)
2386     unique = string_copy(ss + 7);
2387   else if (!key)
2388     key = string_copy(ss);
2389   else
2390     key = string_sprintf("%s/%s", key, ss);
2391   }
2392
2393 /* Sanity check. When the badacl flag is set the update mode must either
2394 be readonly (which is the default if it is omitted) or, for backwards
2395 compatibility, a combination of noupdate and strict or leaky. */
2396
2397 if (mode == RATE_PER_CLASH)
2398   return ratelimit_error(log_msgptr, "conflicting per_* options");
2399 if (leaky + strict + readonly > 1)
2400   return ratelimit_error(log_msgptr, "conflicting update modes");
2401 if (badacl && (leaky || strict) && !noupdate)
2402   return ratelimit_error(log_msgptr,
2403     "\"%s\" must not have /leaky or /strict option, or cannot be used in %s ACL",
2404     ratelimit_option_string[mode], acl_wherenames[where]);
2405
2406 /* Set the default values of any unset options. In readonly mode we
2407 perform the rate computation without any increment so that its value
2408 decays to eventually allow over-limit senders through. */
2409
2410 if (noupdate) readonly = TRUE, leaky = strict = FALSE;
2411 if (badacl) readonly = TRUE;
2412 if (readonly) count = 0.0;
2413 if (!strict && !readonly) leaky = TRUE;
2414 if (mode == RATE_PER_WHAT) mode = RATE_PER_MAIL;
2415
2416 /* Create the lookup key. If there is no explicit key, use sender_host_address.
2417 If there is no sender_host_address (e.g. -bs or acl_not_smtp) then we simply
2418 omit it. The smoothing constant (sender_rate_period) and the per_xxx options
2419 are added to the key because they alter the meaning of the stored data. */
2420
2421 if (!key)
2422   key = !sender_host_address ? US"" : sender_host_address;
2423
2424 key = string_sprintf("%s/%s/%s%s",
2425   sender_rate_period,
2426   ratelimit_option_string[mode],
2427   unique == NULL ? "" : "unique/",
2428   key);
2429
2430 HDEBUG(D_acl)
2431   debug_printf_indent("ratelimit condition count=%.0f %.1f/%s\n", count, limit, key);
2432
2433 /* See if we have already computed the rate by looking in the relevant tree.
2434 For per-connection rate limiting, store tree nodes and dbdata in the permanent
2435 pool so that they survive across resets. In readonly mode we only remember the
2436 result for the rest of this command in case a later command changes it. After
2437 this bit of logic the code is independent of the per_* mode. */
2438
2439 old_pool = store_pool;
2440
2441 if (readonly)
2442   anchor = &ratelimiters_cmd;
2443 else switch(mode)
2444   {
2445   case RATE_PER_CONN:
2446     anchor = &ratelimiters_conn;
2447     store_pool = POOL_PERM;
2448     break;
2449   case RATE_PER_BYTE:
2450   case RATE_PER_MAIL:
2451   case RATE_PER_ALLRCPTS:
2452     anchor = &ratelimiters_mail;
2453     break;
2454   case RATE_PER_ADDR:
2455   case RATE_PER_CMD:
2456   case RATE_PER_RCPT:
2457     anchor = &ratelimiters_cmd;
2458     break;
2459   default:
2460     anchor = NULL; /* silence an "unused" complaint */
2461     log_write(0, LOG_MAIN|LOG_PANIC_DIE,
2462       "internal ACL error: unknown ratelimit mode %d", mode);
2463     break;
2464   }
2465
2466 if ((t = tree_search(*anchor, key)))
2467   {
2468   dbd = t->data.ptr;
2469   /* The following few lines duplicate some of the code below. */
2470   rc = (dbd->rate < limit)? FAIL : OK;
2471   store_pool = old_pool;
2472   sender_rate = string_sprintf("%.1f", dbd->rate);
2473   HDEBUG(D_acl)
2474     debug_printf_indent("ratelimit found pre-computed rate %s\n", sender_rate);
2475   return rc;
2476   }
2477
2478 /* We aren't using a pre-computed rate, so get a previously recorded rate
2479 from the database, which will be updated and written back if required. */
2480
2481 if (!(dbm = dbfn_open(US"ratelimit", O_RDWR, &dbblock, TRUE, TRUE)))
2482   {
2483   store_pool = old_pool;
2484   sender_rate = NULL;
2485   HDEBUG(D_acl) debug_printf_indent("ratelimit database not available\n");
2486   *log_msgptr = US"ratelimit database not available";
2487   return DEFER;
2488   }
2489 dbdb = dbfn_read_with_length(dbm, key, &dbdb_size);
2490 dbd = NULL;
2491
2492 gettimeofday(&tv, NULL);
2493
2494 if (dbdb)
2495   {
2496   /* Locate the basic ratelimit block inside the DB data. */
2497   HDEBUG(D_acl) debug_printf_indent("ratelimit found key in database\n");
2498   dbd = &dbdb->dbd;
2499
2500   /* Forget the old Bloom filter if it is too old, so that we count each
2501   repeating event once per period. We don't simply clear and re-use the old
2502   filter because we want its size to change if the limit changes. Note that
2503   we keep the dbd pointer for copying the rate into the new data block. */
2504
2505   if(unique && tv.tv_sec > dbdb->bloom_epoch + period)
2506     {
2507     HDEBUG(D_acl) debug_printf_indent("ratelimit discarding old Bloom filter\n");
2508     dbdb = NULL;
2509     }
2510
2511   /* Sanity check. */
2512
2513   if(unique && dbdb_size < sizeof(*dbdb))
2514     {
2515     HDEBUG(D_acl) debug_printf_indent("ratelimit discarding undersize Bloom filter\n");
2516     dbdb = NULL;
2517     }
2518   }
2519
2520 /* Allocate a new data block if the database lookup failed
2521 or the Bloom filter passed its age limit. */
2522
2523 if (!dbdb)
2524   {
2525   if (!unique)
2526     {
2527     /* No Bloom filter. This basic ratelimit block is initialized below. */
2528     HDEBUG(D_acl) debug_printf_indent("ratelimit creating new rate data block\n");
2529     dbdb_size = sizeof(*dbd);
2530     dbdb = store_get(dbdb_size, FALSE);         /* not tainted */
2531     }
2532   else
2533     {
2534     int extra;
2535     HDEBUG(D_acl) debug_printf_indent("ratelimit creating new Bloom filter\n");
2536
2537     /* See the long comment below for an explanation of the magic number 2.
2538     The filter has a minimum size in case the rate limit is very small;
2539     this is determined by the definition of dbdata_ratelimit_unique. */
2540
2541     extra = (int)limit * 2 - sizeof(dbdb->bloom);
2542     if (extra < 0) extra = 0;
2543     dbdb_size = sizeof(*dbdb) + extra;
2544     dbdb = store_get(dbdb_size, FALSE);         /* not tainted */
2545     dbdb->bloom_epoch = tv.tv_sec;
2546     dbdb->bloom_size = sizeof(dbdb->bloom) + extra;
2547     memset(dbdb->bloom, 0, dbdb->bloom_size);
2548
2549     /* Preserve any basic ratelimit data (which is our longer-term memory)
2550     by copying it from the discarded block. */
2551
2552     if (dbd)
2553       {
2554       dbdb->dbd = *dbd;
2555       dbd = &dbdb->dbd;
2556       }
2557     }
2558   }
2559
2560 /* If we are counting unique events, find out if this event is new or not.
2561 If the client repeats the event during the current period then it should be
2562 counted. We skip this code in readonly mode for efficiency, because any
2563 changes to the filter will be discarded and because count is already set to
2564 zero. */
2565
2566 if (unique && !readonly)
2567   {
2568   /* We identify unique events using a Bloom filter. (You can find my
2569   notes on Bloom filters at http://fanf.livejournal.com/81696.html)
2570   With the per_addr option, an "event" is a recipient address, though the
2571   user can use the unique option to define their own events. We only count
2572   an event if we have not seen it before.
2573
2574   We size the filter according to the rate limit, which (in leaky mode)
2575   is the limit on the population of the filter. We allow 16 bits of space
2576   per entry (see the construction code above) and we set (up to) 8 of them
2577   when inserting an element (see the loop below). The probability of a false
2578   positive (an event we have not seen before but which we fail to count) is
2579
2580     size    = limit * 16
2581     numhash = 8
2582     allzero = exp(-numhash * pop / size)
2583             = exp(-0.5 * pop / limit)
2584     fpr     = pow(1 - allzero, numhash)
2585
2586   For senders at the limit the fpr is      0.06%    or  1 in 1700
2587   and for senders at half the limit it is  0.0006%  or  1 in 170000
2588
2589   In strict mode the Bloom filter can fill up beyond the normal limit, in
2590   which case the false positive rate will rise. This means that the
2591   measured rate for very fast senders can bogusly drop off after a while.
2592
2593   At twice the limit, the fpr is  2.5%  or  1 in 40
2594   At four times the limit, it is  31%   or  1 in 3.2
2595
2596   It takes ln(pop/limit) periods for an over-limit burst of pop events to
2597   decay below the limit, and if this is more than one then the Bloom filter
2598   will be discarded before the decay gets that far. The false positive rate
2599   at this threshold is 9.3% or 1 in 10.7. */
2600
2601   BOOL seen;
2602   unsigned n, hash, hinc;
2603   uschar md5sum[16];
2604   md5 md5info;
2605
2606   /* Instead of using eight independent hash values, we combine two values
2607   using the formula h1 + n * h2. This does not harm the Bloom filter's
2608   performance, and means the amount of hash we need is independent of the
2609   number of bits we set in the filter. */
2610
2611   md5_start(&md5info);
2612   md5_end(&md5info, unique, Ustrlen(unique), md5sum);
2613   hash = md5sum[0] | md5sum[1] << 8 | md5sum[2] << 16 | md5sum[3] << 24;
2614   hinc = md5sum[4] | md5sum[5] << 8 | md5sum[6] << 16 | md5sum[7] << 24;
2615
2616   /* Scan the bits corresponding to this event. A zero bit means we have
2617   not seen it before. Ensure all bits are set to record this event. */
2618
2619   HDEBUG(D_acl) debug_printf_indent("ratelimit checking uniqueness of %s\n", unique);
2620
2621   seen = TRUE;
2622   for (n = 0; n < 8; n++, hash += hinc)
2623     {
2624     int bit = 1 << (hash % 8);
2625     int byte = (hash / 8) % dbdb->bloom_size;
2626     if ((dbdb->bloom[byte] & bit) == 0)
2627       {
2628       dbdb->bloom[byte] |= bit;
2629       seen = FALSE;
2630       }
2631     }
2632
2633   /* If this event has occurred before, do not count it. */
2634
2635   if (seen)
2636     {
2637     HDEBUG(D_acl) debug_printf_indent("ratelimit event found in Bloom filter\n");
2638     count = 0.0;
2639     }
2640   else
2641     HDEBUG(D_acl) debug_printf_indent("ratelimit event added to Bloom filter\n");
2642   }
2643
2644 /* If there was no previous ratelimit data block for this key, initialize
2645 the new one, otherwise update the block from the database. The initial rate
2646 is what would be computed by the code below for an infinite interval. */
2647
2648 if (!dbd)
2649   {
2650   HDEBUG(D_acl) debug_printf_indent("ratelimit initializing new key's rate data\n");
2651   dbd = &dbdb->dbd;
2652   dbd->time_stamp = tv.tv_sec;
2653   dbd->time_usec = tv.tv_usec;
2654   dbd->rate = count;
2655   }
2656 else
2657   {
2658   /* The smoothed rate is computed using an exponentially weighted moving
2659   average adjusted for variable sampling intervals. The standard EWMA for
2660   a fixed sampling interval is:  f'(t) = (1 - a) * f(t) + a * f'(t - 1)
2661   where f() is the measured value and f'() is the smoothed value.
2662
2663   Old data decays out of the smoothed value exponentially, such that data n
2664   samples old is multiplied by a^n. The exponential decay time constant p
2665   is defined such that data p samples old is multiplied by 1/e, which means
2666   that a = exp(-1/p). We can maintain the same time constant for a variable
2667   sampling interval i by using a = exp(-i/p).
2668
2669   The rate we are measuring is messages per period, suitable for directly
2670   comparing with the limit. The average rate between now and the previous
2671   message is period / interval, which we feed into the EWMA as the sample.
2672
2673   It turns out that the number of messages required for the smoothed rate
2674   to reach the limit when they are sent in a burst is equal to the limit.
2675   This can be seen by analysing the value of the smoothed rate after N
2676   messages sent at even intervals. Let k = (1 - a) * p/i
2677
2678     rate_1 = (1 - a) * p/i + a * rate_0
2679            = k + a * rate_0
2680     rate_2 = k + a * rate_1
2681            = k + a * k + a^2 * rate_0
2682     rate_3 = k + a * k + a^2 * k + a^3 * rate_0
2683     rate_N = rate_0 * a^N + k * SUM(x=0..N-1)(a^x)
2684            = rate_0 * a^N + k * (1 - a^N) / (1 - a)
2685            = rate_0 * a^N + p/i * (1 - a^N)
2686
2687   When N is large, a^N -> 0 so rate_N -> p/i as desired.
2688
2689     rate_N = p/i + (rate_0 - p/i) * a^N
2690     a^N = (rate_N - p/i) / (rate_0 - p/i)
2691     N * -i/p = log((rate_N - p/i) / (rate_0 - p/i))
2692     N = p/i * log((rate_0 - p/i) / (rate_N - p/i))
2693
2694   Numerical analysis of the above equation, setting the computed rate to
2695   increase from rate_0 = 0 to rate_N = limit, shows that for large sending
2696   rates, p/i, the number of messages N = limit. So limit serves as both the
2697   maximum rate measured in messages per period, and the maximum number of
2698   messages that can be sent in a fast burst. */
2699
2700   double this_time = (double)tv.tv_sec
2701                    + (double)tv.tv_usec / 1000000.0;
2702   double prev_time = (double)dbd->time_stamp
2703                    + (double)dbd->time_usec / 1000000.0;
2704
2705   /* We must avoid division by zero, and deal gracefully with the clock going
2706   backwards. If we blunder ahead when time is in reverse then the computed
2707   rate will be bogus. To be safe we clamp interval to a very small number. */
2708
2709   double interval = this_time - prev_time <= 0.0 ? 1e-9
2710                   : this_time - prev_time;
2711
2712   double i_over_p = interval / period;
2713   double a = exp(-i_over_p);
2714
2715   /* Combine the instantaneous rate (period / interval) with the previous rate
2716   using the smoothing factor a. In order to measure sized events, multiply the
2717   instantaneous rate by the count of bytes or recipients etc. */
2718
2719   dbd->time_stamp = tv.tv_sec;
2720   dbd->time_usec = tv.tv_usec;
2721   dbd->rate = (1 - a) * count / i_over_p + a * dbd->rate;
2722
2723   /* When events are very widely spaced the computed rate tends towards zero.
2724   Although this is accurate it turns out not to be useful for our purposes,
2725   especially when the first event after a long silence is the start of a spam
2726   run. A more useful model is that the rate for an isolated event should be the
2727   size of the event per the period size, ignoring the lack of events outside
2728   the current period and regardless of where the event falls in the period. So,
2729   if the interval was so long that the calculated rate is unhelpfully small, we
2730   re-initialize the rate. In the absence of higher-rate bursts, the condition
2731   below is true if the interval is greater than the period. */
2732
2733   if (dbd->rate < count) dbd->rate = count;
2734   }
2735
2736 /* Clients sending at the limit are considered to be over the limit.
2737 This matters for edge cases such as a limit of zero, when the client
2738 should be completely blocked. */
2739
2740 rc = dbd->rate < limit ? FAIL : OK;
2741
2742 /* Update the state if the rate is low or if we are being strict. If we
2743 are in leaky mode and the sender's rate is too high, we do not update
2744 the recorded rate in order to avoid an over-aggressive sender's retry
2745 rate preventing them from getting any email through. If readonly is set,
2746 neither leaky nor strict are set, so we do not do any updates. */
2747
2748 if ((rc == FAIL && leaky) || strict)
2749   {
2750   dbfn_write(dbm, key, dbdb, dbdb_size);
2751   HDEBUG(D_acl) debug_printf_indent("ratelimit db updated\n");
2752   }
2753 else
2754   {
2755   HDEBUG(D_acl) debug_printf_indent("ratelimit db not updated: %s\n",
2756     readonly? "readonly mode" : "over the limit, but leaky");
2757   }
2758
2759 dbfn_close(dbm);
2760
2761 /* Store the result in the tree for future reference.  Take the taint status
2762 from the key for consistency even though it's unlikely we'll ever expand this. */
2763
2764 t = store_get(sizeof(tree_node) + Ustrlen(key), is_tainted(key));
2765 t->data.ptr = dbd;
2766 Ustrcpy(t->name, key);
2767 (void)tree_insertnode(anchor, t);
2768
2769 /* We create the formatted version of the sender's rate very late in
2770 order to ensure that it is done using the correct storage pool. */
2771
2772 store_pool = old_pool;
2773 sender_rate = string_sprintf("%.1f", dbd->rate);
2774
2775 HDEBUG(D_acl)
2776   debug_printf_indent("ratelimit computed rate %s\n", sender_rate);
2777
2778 return rc;
2779 }
2780
2781
2782
2783 /*************************************************
2784 *            The udpsend ACL modifier            *
2785 *************************************************/
2786
2787 /* Called by acl_check_condition() below.
2788
2789 Arguments:
2790   arg          the option string for udpsend=
2791   log_msgptr   for error messages
2792
2793 Returns:       OK        - Completed.
2794                DEFER     - Problem with DNS lookup.
2795                ERROR     - Syntax error in options.
2796 */
2797
2798 static int
2799 acl_udpsend(const uschar *arg, uschar **log_msgptr)
2800 {
2801 int sep = 0;
2802 uschar *hostname;
2803 uschar *portstr;
2804 uschar *portend;
2805 host_item *h;
2806 int portnum;
2807 int len;
2808 int r, s;
2809 uschar * errstr;
2810
2811 hostname = string_nextinlist(&arg, &sep, NULL, 0);
2812 portstr = string_nextinlist(&arg, &sep, NULL, 0);
2813
2814 if (!hostname)
2815   {
2816   *log_msgptr = US"missing destination host in \"udpsend\" modifier";
2817   return ERROR;
2818   }
2819 if (!portstr)
2820   {
2821   *log_msgptr = US"missing destination port in \"udpsend\" modifier";
2822   return ERROR;
2823   }
2824 if (!arg)
2825   {
2826   *log_msgptr = US"missing datagram payload in \"udpsend\" modifier";
2827   return ERROR;
2828   }
2829 portnum = Ustrtol(portstr, &portend, 10);
2830 if (*portend != '\0')
2831   {
2832   *log_msgptr = US"bad destination port in \"udpsend\" modifier";
2833   return ERROR;
2834   }
2835
2836 /* Make a single-item host list. */
2837 h = store_get(sizeof(host_item), FALSE);
2838 memset(h, 0, sizeof(host_item));
2839 h->name = hostname;
2840 h->port = portnum;
2841 h->mx = MX_NONE;
2842
2843 if (string_is_ip_address(hostname, NULL))
2844   h->address = hostname, r = HOST_FOUND;
2845 else
2846   r = host_find_byname(h, NULL, 0, NULL, FALSE);
2847 if (r == HOST_FIND_FAILED || r == HOST_FIND_AGAIN)
2848   {
2849   *log_msgptr = US"DNS lookup failed in \"udpsend\" modifier";
2850   return DEFER;
2851   }
2852
2853 HDEBUG(D_acl)
2854   debug_printf_indent("udpsend [%s]:%d %s\n", h->address, portnum, arg);
2855
2856 /*XXX this could better use sendto */
2857 r = s = ip_connectedsocket(SOCK_DGRAM, h->address, portnum, portnum,
2858                 1, NULL, &errstr, NULL);
2859 if (r < 0) goto defer;
2860 len = Ustrlen(arg);
2861 r = send(s, arg, len, 0);
2862 if (r < 0)
2863   {
2864   errstr = US strerror(errno);
2865   close(s);
2866   goto defer;
2867   }
2868 close(s);
2869 if (r < len)
2870   {
2871   *log_msgptr =
2872     string_sprintf("\"udpsend\" truncated from %d to %d octets", len, r);
2873   return DEFER;
2874   }
2875
2876 HDEBUG(D_acl)
2877   debug_printf_indent("udpsend %d bytes\n", r);
2878
2879 return OK;
2880
2881 defer:
2882 *log_msgptr = string_sprintf("\"udpsend\" failed: %s", errstr);
2883 return DEFER;
2884 }
2885
2886
2887
2888 /*************************************************
2889 *   Handle conditions/modifiers on an ACL item   *
2890 *************************************************/
2891
2892 /* Called from acl_check() below.
2893
2894 Arguments:
2895   verb         ACL verb
2896   cb           ACL condition block - if NULL, result is OK
2897   where        where called from
2898   addr         the address being checked for RCPT, or NULL
2899   level        the nesting level
2900   epp          pointer to pass back TRUE if "endpass" encountered
2901                  (applies only to "accept" and "discard")
2902   user_msgptr  user message pointer
2903   log_msgptr   log message pointer
2904   basic_errno  pointer to where to put verify error
2905
2906 Returns:       OK        - all conditions are met
2907                DISCARD   - an "acl" condition returned DISCARD - only allowed
2908                              for "accept" or "discard" verbs
2909                FAIL      - at least one condition fails
2910                FAIL_DROP - an "acl" condition returned FAIL_DROP
2911                DEFER     - can't tell at the moment (typically, lookup defer,
2912                              but can be temporary callout problem)
2913                ERROR     - ERROR from nested ACL or expansion failure or other
2914                              error
2915 */
2916
2917 static int
2918 acl_check_condition(int verb, acl_condition_block *cb, int where,
2919   address_item *addr, int level, BOOL *epp, uschar **user_msgptr,
2920   uschar **log_msgptr, int *basic_errno)
2921 {
2922 uschar *user_message = NULL;
2923 uschar *log_message = NULL;
2924 int rc = OK;
2925 #ifdef WITH_CONTENT_SCAN
2926 int sep = -'/';
2927 #endif
2928
2929 for (; cb; cb = cb->next)
2930   {
2931   const uschar *arg;
2932   int control_type;
2933
2934   /* The message and log_message items set up messages to be used in
2935   case of rejection. They are expanded later. */
2936
2937   if (cb->type == ACLC_MESSAGE)
2938     {
2939     HDEBUG(D_acl) debug_printf_indent("  message: %s\n", cb->arg);
2940     user_message = cb->arg;
2941     continue;
2942     }
2943
2944   if (cb->type == ACLC_LOG_MESSAGE)
2945     {
2946     HDEBUG(D_acl) debug_printf_indent("l_message: %s\n", cb->arg);
2947     log_message = cb->arg;
2948     continue;
2949     }
2950
2951   /* The endpass "condition" just sets a flag to show it occurred. This is
2952   checked at compile time to be on an "accept" or "discard" item. */
2953
2954   if (cb->type == ACLC_ENDPASS)
2955     {
2956     *epp = TRUE;
2957     continue;
2958     }
2959
2960   /* For other conditions and modifiers, the argument is expanded now for some
2961   of them, but not for all, because expansion happens down in some lower level
2962   checking functions in some cases. */
2963
2964   if (!conditions[cb->type].expand_at_top)
2965     arg = cb->arg;
2966   else if (!(arg = expand_string(cb->arg)))
2967     {
2968     if (f.expand_string_forcedfail) continue;
2969     *log_msgptr = string_sprintf("failed to expand ACL string \"%s\": %s",
2970       cb->arg, expand_string_message);
2971     return f.search_find_defer ? DEFER : ERROR;
2972     }
2973
2974   /* Show condition, and expanded condition if it's different */
2975
2976   HDEBUG(D_acl)
2977     {
2978     int lhswidth = 0;
2979     debug_printf_indent("check %s%s %n",
2980       (!conditions[cb->type].is_modifier && cb->u.negated)? "!":"",
2981       conditions[cb->type].name, &lhswidth);
2982
2983     if (cb->type == ACLC_SET)
2984       {
2985 #ifndef DISABLE_DKIM
2986       if (  Ustrcmp(cb->u.varname, "dkim_verify_status") == 0
2987          || Ustrcmp(cb->u.varname, "dkim_verify_reason") == 0)
2988         {
2989         debug_printf("%s ", cb->u.varname);
2990         lhswidth += 19;
2991         }
2992       else
2993 #endif
2994         {
2995         debug_printf("acl_%s ", cb->u.varname);
2996         lhswidth += 5 + Ustrlen(cb->u.varname);
2997         }
2998       }
2999
3000     debug_printf("= %s\n", cb->arg);
3001
3002     if (arg != cb->arg)
3003       debug_printf("%.*s= %s\n", lhswidth,
3004       US"                             ", CS arg);
3005     }
3006
3007   /* Check that this condition makes sense at this time */
3008
3009   if ((conditions[cb->type].forbids & (1 << where)) != 0)
3010     {
3011     *log_msgptr = string_sprintf("cannot %s %s condition in %s ACL",
3012       conditions[cb->type].is_modifier ? "use" : "test",
3013       conditions[cb->type].name, acl_wherenames[where]);
3014     return ERROR;
3015     }
3016
3017   /* Run the appropriate test for each condition, or take the appropriate
3018   action for the remaining modifiers. */
3019
3020   switch(cb->type)
3021     {
3022     case ACLC_ADD_HEADER:
3023     setup_header(arg);
3024     break;
3025
3026     /* A nested ACL that returns "discard" makes sense only for an "accept" or
3027     "discard" verb. */
3028
3029     case ACLC_ACL:
3030       rc = acl_check_wargs(where, addr, arg, user_msgptr, log_msgptr);
3031       if (rc == DISCARD && verb != ACL_ACCEPT && verb != ACL_DISCARD)
3032         {
3033         *log_msgptr = string_sprintf("nested ACL returned \"discard\" for "
3034           "\"%s\" command (only allowed with \"accept\" or \"discard\")",
3035           verbs[verb]);
3036         return ERROR;
3037         }
3038     break;
3039
3040     case ACLC_AUTHENTICATED:
3041       rc = sender_host_authenticated ? match_isinlist(sender_host_authenticated,
3042               &arg, 0, NULL, NULL, MCL_STRING, TRUE, NULL) : FAIL;
3043     break;
3044
3045     #ifdef EXPERIMENTAL_BRIGHTMAIL
3046     case ACLC_BMI_OPTIN:
3047       {
3048       int old_pool = store_pool;
3049       store_pool = POOL_PERM;
3050       bmi_current_optin = string_copy(arg);
3051       store_pool = old_pool;
3052       }
3053     break;
3054     #endif
3055
3056     case ACLC_CONDITION:
3057     /* The true/false parsing here should be kept in sync with that used in
3058     expand.c when dealing with ECOND_BOOL so that we don't have too many
3059     different definitions of what can be a boolean. */
3060     if (*arg == '-'
3061         ? Ustrspn(arg+1, "0123456789") == Ustrlen(arg+1)    /* Negative number */
3062         : Ustrspn(arg,   "0123456789") == Ustrlen(arg))     /* Digits, or empty */
3063       rc = (Uatoi(arg) == 0)? FAIL : OK;
3064     else
3065       rc = (strcmpic(arg, US"no") == 0 ||
3066             strcmpic(arg, US"false") == 0)? FAIL :
3067            (strcmpic(arg, US"yes") == 0 ||
3068             strcmpic(arg, US"true") == 0)? OK : DEFER;
3069     if (rc == DEFER)
3070       *log_msgptr = string_sprintf("invalid \"condition\" value \"%s\"", arg);
3071     break;
3072
3073     case ACLC_CONTINUE:    /* Always succeeds */
3074     break;
3075
3076     case ACLC_CONTROL:
3077       {
3078       const uschar *p = NULL;
3079       control_type = decode_control(arg, &p, where, log_msgptr);
3080
3081       /* Check if this control makes sense at this time */
3082
3083       if (controls_list[control_type].forbids & (1 << where))
3084         {
3085         *log_msgptr = string_sprintf("cannot use \"control=%s\" in %s ACL",
3086           controls_list[control_type].name, acl_wherenames[where]);
3087         return ERROR;
3088         }
3089
3090       switch(control_type)
3091         {
3092         case CONTROL_AUTH_UNADVERTISED:
3093           f.allow_auth_unadvertised = TRUE;
3094           break;
3095
3096 #ifdef EXPERIMENTAL_BRIGHTMAIL
3097         case CONTROL_BMI_RUN:
3098           bmi_run = 1;
3099           break;
3100 #endif
3101
3102 #ifndef DISABLE_DKIM
3103         case CONTROL_DKIM_VERIFY:
3104           f.dkim_disable_verify = TRUE;
3105 # ifdef SUPPORT_DMARC
3106           /* Since DKIM was blocked, skip DMARC too */
3107           f.dmarc_disable_verify = TRUE;
3108           f.dmarc_enable_forensic = FALSE;
3109 # endif
3110         break;
3111 #endif
3112
3113 #ifdef SUPPORT_DMARC
3114         case CONTROL_DMARC_VERIFY:
3115           f.dmarc_disable_verify = TRUE;
3116           break;
3117
3118         case CONTROL_DMARC_FORENSIC:
3119           f.dmarc_enable_forensic = TRUE;
3120           break;
3121 #endif
3122
3123         case CONTROL_DSCP:
3124           if (*p == '/')
3125             {
3126             int fd, af, level, optname, value;
3127             /* If we are acting on stdin, the setsockopt may fail if stdin is not
3128             a socket; we can accept that, we'll just debug-log failures anyway. */
3129             fd = fileno(smtp_in);
3130             if ((af = ip_get_address_family(fd)) < 0)
3131               {
3132               HDEBUG(D_acl)
3133                 debug_printf_indent("smtp input is probably not a socket [%s], not setting DSCP\n",
3134                     strerror(errno));
3135               break;
3136               }
3137             if (dscp_lookup(p+1, af, &level, &optname, &value))
3138               if (setsockopt(fd, level, optname, &value, sizeof(value)) < 0)
3139                 {
3140                 HDEBUG(D_acl) debug_printf_indent("failed to set input DSCP[%s]: %s\n",
3141                     p+1, strerror(errno));
3142                 }
3143               else
3144                 {
3145                 HDEBUG(D_acl) debug_printf_indent("set input DSCP to \"%s\"\n", p+1);
3146                 }
3147             else
3148               {
3149               *log_msgptr = string_sprintf("unrecognised DSCP value in \"control=%s\"", arg);
3150               return ERROR;
3151               }
3152             }
3153           else
3154             {
3155             *log_msgptr = string_sprintf("syntax error in \"control=%s\"", arg);
3156             return ERROR;
3157             }
3158           break;
3159
3160         case CONTROL_ERROR:
3161           return ERROR;
3162
3163         case CONTROL_CASEFUL_LOCAL_PART:
3164           deliver_localpart = addr->cc_local_part;
3165           break;
3166
3167         case CONTROL_CASELOWER_LOCAL_PART:
3168           deliver_localpart = addr->lc_local_part;
3169           break;
3170
3171         case CONTROL_ENFORCE_SYNC:
3172           smtp_enforce_sync = TRUE;
3173           break;
3174
3175         case CONTROL_NO_ENFORCE_SYNC:
3176           smtp_enforce_sync = FALSE;
3177           break;
3178
3179 #ifdef WITH_CONTENT_SCAN
3180         case CONTROL_NO_MBOX_UNSPOOL:
3181           f.no_mbox_unspool = TRUE;
3182           break;
3183 #endif
3184
3185         case CONTROL_NO_MULTILINE:
3186           f.no_multiline_responses = TRUE;
3187           break;
3188
3189         case CONTROL_NO_PIPELINING:
3190           f.pipelining_enable = FALSE;
3191           break;
3192
3193         case CONTROL_NO_DELAY_FLUSH:
3194           f.disable_delay_flush = TRUE;
3195           break;
3196
3197         case CONTROL_NO_CALLOUT_FLUSH:
3198           f.disable_callout_flush = TRUE;
3199           break;
3200
3201         case CONTROL_FAKEREJECT:
3202           cancel_cutthrough_connection(TRUE, US"fakereject");
3203           case CONTROL_FAKEDEFER:
3204           fake_response = (control_type == CONTROL_FAKEDEFER) ? DEFER : FAIL;
3205           if (*p == '/')
3206             {
3207             const uschar *pp = p + 1;
3208             while (*pp) pp++;
3209             fake_response_text = expand_string(string_copyn(p+1, pp-p-1));
3210             p = pp;
3211             }
3212            else /* Explicitly reset to default string */
3213             fake_response_text = US"Your message has been rejected but is being kept for evaluation.\nIf it was a legitimate message, it may still be delivered to the target recipient(s).";
3214           break;
3215
3216         case CONTROL_FREEZE:
3217           f.deliver_freeze = TRUE;
3218           deliver_frozen_at = time(NULL);
3219           freeze_tell = freeze_tell_config;       /* Reset to configured value */
3220           if (Ustrncmp(p, "/no_tell", 8) == 0)
3221             {
3222             p += 8;
3223             freeze_tell = NULL;
3224             }
3225           if (*p)
3226             {
3227             *log_msgptr = string_sprintf("syntax error in \"control=%s\"", arg);
3228             return ERROR;
3229             }
3230           cancel_cutthrough_connection(TRUE, US"item frozen");
3231           break;
3232
3233         case CONTROL_QUEUE:
3234           f.queue_only_policy = TRUE;
3235           if (Ustrcmp(p, "_only") == 0)
3236             p += 5;
3237           else while (*p == '/')
3238             if (Ustrncmp(p, "/only", 5) == 0)
3239               { p += 5; f.queue_smtp = FALSE; }
3240             else if (Ustrncmp(p, "/first_pass_route", 17) == 0)
3241               { p += 17; f.queue_smtp = TRUE; }
3242             else
3243               break;
3244           cancel_cutthrough_connection(TRUE, US"queueing forced");
3245           break;
3246
3247         case CONTROL_SUBMISSION:
3248           originator_name = US"";
3249           f.submission_mode = TRUE;
3250           while (*p == '/')
3251             {
3252             if (Ustrncmp(p, "/sender_retain", 14) == 0)
3253               {
3254               p += 14;
3255               f.active_local_sender_retain = TRUE;
3256               f.active_local_from_check = FALSE;
3257               }
3258             else if (Ustrncmp(p, "/domain=", 8) == 0)
3259               {
3260               const uschar *pp = p + 8;
3261               while (*pp && *pp != '/') pp++;
3262               submission_domain = string_copyn(p+8, pp-p-8);
3263               p = pp;
3264               }
3265             /* The name= option must be last, because it swallows the rest of
3266             the string. */
3267             else if (Ustrncmp(p, "/name=", 6) == 0)
3268               {
3269               const uschar *pp = p + 6;
3270               while (*pp) pp++;
3271               submission_name = parse_fix_phrase(p+6, pp-p-6);
3272               p = pp;
3273               }
3274             else break;
3275             }
3276           if (*p)
3277             {
3278             *log_msgptr = string_sprintf("syntax error in \"control=%s\"", arg);
3279             return ERROR;
3280             }
3281           break;
3282
3283         case CONTROL_DEBUG:
3284           {
3285           uschar * debug_tag = NULL;
3286           uschar * debug_opts = NULL;
3287           BOOL kill = FALSE;
3288
3289           while (*p == '/')
3290             {
3291             const uschar * pp = p+1;
3292             if (Ustrncmp(pp, "tag=", 4) == 0)
3293               {
3294               for (pp += 4; *pp && *pp != '/';) pp++;
3295               debug_tag = string_copyn(p+5, pp-p-5);
3296               }
3297             else if (Ustrncmp(pp, "opts=", 5) == 0)
3298               {
3299               for (pp += 5; *pp && *pp != '/';) pp++;
3300               debug_opts = string_copyn(p+6, pp-p-6);
3301               }
3302             else if (Ustrncmp(pp, "kill", 4) == 0)
3303               {
3304               for (pp += 4; *pp && *pp != '/';) pp++;
3305               kill = TRUE;
3306               }
3307             else
3308               while (*pp && *pp != '/') pp++;
3309             p = pp;
3310             }
3311
3312             if (kill)
3313               debug_logging_stop();
3314             else
3315               debug_logging_activate(debug_tag, debug_opts);
3316           break;
3317           }
3318
3319         case CONTROL_SUPPRESS_LOCAL_FIXUPS:
3320           f.suppress_local_fixups = TRUE;
3321           break;
3322
3323         case CONTROL_CUTTHROUGH_DELIVERY:
3324           {
3325           uschar * ignored = NULL;
3326 #ifndef DISABLE_PRDR
3327           if (prdr_requested)
3328 #else
3329           if (0)
3330 #endif
3331             /* Too hard to think about for now.  We might in future cutthrough
3332             the case where both sides handle prdr and this-node prdr acl
3333             is "accept" */
3334             ignored = US"PRDR active";
3335           else if (f.deliver_freeze)
3336             ignored = US"frozen";
3337           else if (f.queue_only_policy)
3338             ignored = US"queue-only";
3339           else if (fake_response == FAIL)
3340             ignored = US"fakereject";
3341           else if (rcpt_count != 1)
3342             ignored = US"nonfirst rcpt";
3343           else if (cutthrough.delivery)
3344             ignored = US"repeated";
3345           else if (cutthrough.callout_hold_only)
3346             {
3347             DEBUG(D_acl)
3348               debug_printf_indent(" cutthrough request upgrades callout hold\n");
3349             cutthrough.callout_hold_only = FALSE;
3350             cutthrough.delivery = TRUE; /* control accepted */
3351             }
3352           else
3353             {
3354             cutthrough.delivery = TRUE; /* control accepted */
3355             while (*p == '/')
3356               {
3357               const uschar * pp = p+1;
3358               if (Ustrncmp(pp, "defer=", 6) == 0)
3359                 {
3360                 pp += 6;
3361                 if (Ustrncmp(pp, "pass", 4) == 0) cutthrough.defer_pass = TRUE;
3362                 /* else if (Ustrncmp(pp, "spool") == 0) ;       default */
3363                 }
3364               else
3365                 while (*pp && *pp != '/') pp++;
3366               p = pp;
3367               }
3368             }
3369
3370           DEBUG(D_acl) if (ignored)
3371             debug_printf(" cutthrough request ignored on %s item\n", ignored);
3372           }
3373         break;
3374
3375 #ifdef SUPPORT_I18N
3376         case CONTROL_UTF8_DOWNCONVERT:
3377           if (*p == '/')
3378             {
3379             if (p[1] == '1')
3380               {
3381               message_utf8_downconvert = 1;
3382               addr->prop.utf8_downcvt = TRUE;
3383               addr->prop.utf8_downcvt_maybe = FALSE;
3384               p += 2;
3385               break;
3386               }
3387             if (p[1] == '0')
3388               {
3389               message_utf8_downconvert = 0;
3390               addr->prop.utf8_downcvt = FALSE;
3391               addr->prop.utf8_downcvt_maybe = FALSE;
3392               p += 2;
3393               break;
3394               }
3395             if (p[1] == '-' && p[2] == '1')
3396               {
3397               message_utf8_downconvert = -1;
3398               addr->prop.utf8_downcvt = FALSE;
3399               addr->prop.utf8_downcvt_maybe = TRUE;
3400               p += 3;
3401               break;
3402               }
3403             *log_msgptr = US"bad option value for control=utf8_downconvert";
3404             }
3405           else
3406             {
3407             message_utf8_downconvert = 1;
3408             addr->prop.utf8_downcvt = TRUE;
3409             addr->prop.utf8_downcvt_maybe = FALSE;
3410             break;
3411             }
3412           return ERROR;
3413 #endif
3414
3415         }
3416       break;
3417       }
3418
3419     #ifdef EXPERIMENTAL_DCC
3420     case ACLC_DCC:
3421       {
3422       /* Separate the regular expression and any optional parameters. */
3423       const uschar * list = arg;
3424       uschar *ss = string_nextinlist(&list, &sep, NULL, 0);
3425       /* Run the dcc backend. */
3426       rc = dcc_process(&ss);
3427       /* Modify return code based upon the existence of options. */
3428       while ((ss = string_nextinlist(&list, &sep, NULL, 0)))
3429         if (strcmpic(ss, US"defer_ok") == 0 && rc == DEFER)
3430           rc = FAIL;   /* FAIL so that the message is passed to the next ACL */
3431       }
3432     break;
3433     #endif
3434
3435     #ifdef WITH_CONTENT_SCAN
3436     case ACLC_DECODE:
3437     rc = mime_decode(&arg);
3438     break;
3439     #endif
3440
3441     case ACLC_DELAY:
3442       {
3443       int delay = readconf_readtime(arg, 0, FALSE);
3444       if (delay < 0)
3445         {
3446         *log_msgptr = string_sprintf("syntax error in argument for \"delay\" "
3447           "modifier: \"%s\" is not a time value", arg);
3448         return ERROR;
3449         }
3450       else
3451         {
3452         HDEBUG(D_acl) debug_printf_indent("delay modifier requests %d-second delay\n",
3453           delay);
3454         if (host_checking)
3455           {
3456           HDEBUG(D_acl)
3457             debug_printf_indent("delay skipped in -bh checking mode\n");
3458           }
3459
3460         /* NOTE 1: Remember that we may be
3461         dealing with stdin/stdout here, in addition to TCP/IP connections.
3462         Also, delays may be specified for non-SMTP input, where smtp_out and
3463         smtp_in will be NULL. Whatever is done must work in all cases.
3464
3465         NOTE 2: The added feature of flushing the output before a delay must
3466         apply only to SMTP input. Hence the test for smtp_out being non-NULL.
3467         */
3468
3469         else
3470           {
3471           if (smtp_out && !f.disable_delay_flush)
3472             mac_smtp_fflush();
3473
3474 #if !defined(NO_POLL_H) && defined (POLLRDHUP)
3475             {
3476             struct pollfd p;
3477             nfds_t n = 0;
3478             if (smtp_out)
3479               {
3480               p.fd = fileno(smtp_out);
3481               p.events = POLLRDHUP;
3482               n = 1;
3483               }
3484             if (poll(&p, n, delay*1000) > 0)
3485               HDEBUG(D_acl) debug_printf_indent("delay cancelled by peer close\n");
3486             }
3487 #else
3488           /* Lacking POLLRDHUP it appears to be impossible to detect that a
3489           TCP/IP connection has gone away without reading from it. This means
3490           that we cannot shorten the delay below if the client goes away,
3491           because we cannot discover that the client has closed its end of the
3492           connection. (The connection is actually in a half-closed state,
3493           waiting for the server to close its end.) It would be nice to be able
3494           to detect this state, so that the Exim process is not held up
3495           unnecessarily. However, it seems that we can't. The poll() function
3496           does not do the right thing, and in any case it is not always
3497           available.  */
3498
3499           while (delay > 0) delay = sleep(delay);
3500 #endif
3501           }
3502         }
3503       }
3504     break;
3505
3506     #ifndef DISABLE_DKIM
3507     case ACLC_DKIM_SIGNER:
3508     if (dkim_cur_signer)
3509       rc = match_isinlist(dkim_cur_signer,
3510                           &arg,0,NULL,NULL,MCL_STRING,TRUE,NULL);
3511     else
3512       rc = FAIL;
3513     break;
3514
3515     case ACLC_DKIM_STATUS:
3516     rc = match_isinlist(dkim_verify_status,
3517                         &arg,0,NULL,NULL,MCL_STRING,TRUE,NULL);
3518     break;
3519     #endif
3520
3521 #ifdef SUPPORT_DMARC
3522     case ACLC_DMARC_STATUS:
3523     if (!f.dmarc_has_been_checked)
3524       dmarc_process();
3525     f.dmarc_has_been_checked = TRUE;
3526     /* used long way of dmarc_exim_expand_query() in case we need more
3527      * view into the process in the future. */
3528     rc = match_isinlist(dmarc_exim_expand_query(DMARC_VERIFY_STATUS),
3529                         &arg,0,NULL,NULL,MCL_STRING,TRUE,NULL);
3530     break;
3531 #endif
3532
3533     case ACLC_DNSLISTS:
3534     rc = verify_check_dnsbl(where, &arg, log_msgptr);
3535     break;
3536
3537     case ACLC_DOMAINS:
3538     rc = match_isinlist(addr->domain, &arg, 0, &domainlist_anchor,
3539       addr->domain_cache, MCL_DOMAIN, TRUE, CUSS &deliver_domain_data);
3540     break;
3541
3542     /* The value in tls_cipher is the full cipher name, for example,
3543     TLSv1:DES-CBC3-SHA:168, whereas the values to test for are just the
3544     cipher names such as DES-CBC3-SHA. But program defensively. We don't know
3545     what may in practice come out of the SSL library - which at the time of
3546     writing is poorly documented. */
3547
3548     case ACLC_ENCRYPTED:
3549     if (tls_in.cipher == NULL) rc = FAIL; else
3550       {
3551       uschar *endcipher = NULL;
3552       uschar *cipher = Ustrchr(tls_in.cipher, ':');
3553       if (!cipher) cipher = tls_in.cipher; else
3554         {
3555         endcipher = Ustrchr(++cipher, ':');
3556         if (endcipher) *endcipher = 0;
3557         }
3558       rc = match_isinlist(cipher, &arg, 0, NULL, NULL, MCL_STRING, TRUE, NULL);
3559       if (endcipher) *endcipher = ':';
3560       }
3561     break;
3562
3563     /* Use verify_check_this_host() instead of verify_check_host() so that
3564     we can pass over &host_data to catch any looked up data. Once it has been
3565     set, it retains its value so that it's still there if another ACL verb
3566     comes through here and uses the cache. However, we must put it into
3567     permanent store in case it is also expected to be used in a subsequent
3568     message in the same SMTP connection. */
3569
3570     case ACLC_HOSTS:
3571     rc = verify_check_this_host(&arg, sender_host_cache, NULL,
3572       sender_host_address ? sender_host_address : US"", CUSS &host_data);
3573     if (rc == DEFER) *log_msgptr = search_error_message;
3574     if (host_data) host_data = string_copy_perm(host_data, TRUE);
3575     break;
3576
3577     case ACLC_LOCAL_PARTS:
3578     rc = match_isinlist(addr->cc_local_part, &arg, 0,
3579       &localpartlist_anchor, addr->localpart_cache, MCL_LOCALPART, TRUE,
3580       CUSS &deliver_localpart_data);
3581     break;
3582
3583     case ACLC_LOG_REJECT_TARGET:
3584       {
3585       int logbits = 0;
3586       int sep = 0;
3587       const uschar *s = arg;
3588       uschar * ss;
3589       while ((ss = string_nextinlist(&s, &sep, NULL, 0)))
3590         {
3591         if (Ustrcmp(ss, "main") == 0) logbits |= LOG_MAIN;
3592         else if (Ustrcmp(ss, "panic") == 0) logbits |= LOG_PANIC;
3593         else if (Ustrcmp(ss, "reject") == 0) logbits |= LOG_REJECT;
3594         else
3595           {
3596           logbits |= LOG_MAIN|LOG_REJECT;
3597           log_write(0, LOG_MAIN|LOG_PANIC, "unknown log name \"%s\" in "
3598             "\"log_reject_target\" in %s ACL", ss, acl_wherenames[where]);
3599           }
3600         }
3601       log_reject_target = logbits;
3602       }
3603     break;
3604
3605     case ACLC_LOGWRITE:
3606       {
3607       int logbits = 0;
3608       const uschar *s = arg;
3609       if (*s == ':')
3610         {
3611         s++;
3612         while (*s != ':')
3613           {
3614           if (Ustrncmp(s, "main", 4) == 0)
3615             { logbits |= LOG_MAIN; s += 4; }
3616           else if (Ustrncmp(s, "panic", 5) == 0)
3617             { logbits |= LOG_PANIC; s += 5; }
3618           else if (Ustrncmp(s, "reject", 6) == 0)
3619             { logbits |= LOG_REJECT; s += 6; }
3620           else
3621             {
3622             logbits = LOG_MAIN|LOG_PANIC;
3623             s = string_sprintf(":unknown log name in \"%s\" in "
3624               "\"logwrite\" in %s ACL", arg, acl_wherenames[where]);
3625             }
3626           if (*s == ',') s++;
3627           }
3628         s++;
3629         }
3630       while (isspace(*s)) s++;
3631
3632       if (logbits == 0) logbits = LOG_MAIN;
3633       log_write(0, logbits, "%s", string_printing(s));
3634       }
3635     break;
3636
3637     #ifdef WITH_CONTENT_SCAN
3638     case ACLC_MALWARE:                  /* Run the malware backend. */
3639       {
3640       /* Separate the regular expression and any optional parameters. */
3641       const uschar * list = arg;
3642       uschar * ss = string_nextinlist(&list, &sep, NULL, 0);
3643       uschar * opt;
3644       BOOL defer_ok = FALSE;
3645       int timeout = 0;
3646
3647       while ((opt = string_nextinlist(&list, &sep, NULL, 0)))
3648         if (strcmpic(opt, US"defer_ok") == 0)
3649           defer_ok = TRUE;
3650         else if (  strncmpic(opt, US"tmo=", 4) == 0
3651                 && (timeout = readconf_readtime(opt+4, '\0', FALSE)) < 0
3652                 )
3653           {
3654           *log_msgptr = string_sprintf("bad timeout value in '%s'", opt);
3655           return ERROR;
3656           }
3657
3658       rc = malware(ss, timeout);
3659       if (rc == DEFER && defer_ok)
3660         rc = FAIL;      /* FAIL so that the message is passed to the next ACL */
3661       }
3662     break;
3663
3664     case ACLC_MIME_REGEX:
3665     rc = mime_regex(&arg);
3666     break;
3667     #endif
3668
3669     case ACLC_QUEUE:
3670     if (is_tainted(arg))
3671       {
3672       *log_msgptr = string_sprintf("Tainted name '%s' for queue not permitted",
3673                                     arg);
3674       return ERROR;
3675       }
3676     if (Ustrchr(arg, '/'))
3677       {
3678       *log_msgptr = string_sprintf(
3679               "Directory separator not permitted in queue name: '%s'", arg);
3680       return ERROR;
3681       }
3682     queue_name = string_copy_perm(arg, FALSE);
3683     break;
3684
3685     case ACLC_RATELIMIT:
3686     rc = acl_ratelimit(arg, where, log_msgptr);
3687     break;
3688
3689     case ACLC_RECIPIENTS:
3690     rc = match_address_list(CUS addr->address, TRUE, TRUE, &arg, NULL, -1, 0,
3691       CUSS &recipient_data);
3692     break;
3693
3694     #ifdef WITH_CONTENT_SCAN
3695     case ACLC_REGEX:
3696     rc = regex(&arg);
3697     break;
3698     #endif
3699
3700     case ACLC_REMOVE_HEADER:
3701     setup_remove_header(arg);
3702     break;
3703
3704     case ACLC_SENDER_DOMAINS:
3705       {
3706       uschar *sdomain;
3707       sdomain = Ustrrchr(sender_address, '@');
3708       sdomain = sdomain ? sdomain + 1 : US"";
3709       rc = match_isinlist(sdomain, &arg, 0, &domainlist_anchor,
3710         sender_domain_cache, MCL_DOMAIN, TRUE, NULL);
3711       }
3712     break;
3713
3714     case ACLC_SENDERS:
3715     rc = match_address_list(CUS sender_address, TRUE, TRUE, &arg,
3716       sender_address_cache, -1, 0, CUSS &sender_data);
3717     break;
3718
3719     /* Connection variables must persist forever; message variables not */
3720
3721     case ACLC_SET:
3722       {
3723       int old_pool = store_pool;
3724       if (  cb->u.varname[0] != 'm'
3725 #ifndef DISABLE_EVENT
3726          || event_name          /* An event is being delivered */
3727 #endif
3728          )
3729         store_pool = POOL_PERM;
3730 #ifndef DISABLE_DKIM    /* Overwriteable dkim result variables */
3731       if (Ustrcmp(cb->u.varname, "dkim_verify_status") == 0)
3732         dkim_verify_status = string_copy(arg);
3733       else if (Ustrcmp(cb->u.varname, "dkim_verify_reason") == 0)
3734         dkim_verify_reason = string_copy(arg);
3735       else
3736 #endif
3737         acl_var_create(cb->u.varname)->data.ptr = string_copy(arg);
3738       store_pool = old_pool;
3739       }
3740     break;
3741
3742 #ifdef WITH_CONTENT_SCAN
3743     case ACLC_SPAM:
3744       {
3745       /* Separate the regular expression and any optional parameters. */
3746       const uschar * list = arg;
3747       uschar *ss = string_nextinlist(&list, &sep, NULL, 0);
3748
3749       rc = spam(CUSS &ss);
3750       /* Modify return code based upon the existence of options. */
3751       while ((ss = string_nextinlist(&list, &sep, NULL, 0)))
3752         if (strcmpic(ss, US"defer_ok") == 0 && rc == DEFER)
3753           rc = FAIL;    /* FAIL so that the message is passed to the next ACL */
3754       }
3755     break;
3756 #endif
3757
3758 #ifdef SUPPORT_SPF
3759     case ACLC_SPF:
3760       rc = spf_process(&arg, sender_address, SPF_PROCESS_NORMAL);
3761     break;
3762     case ACLC_SPF_GUESS:
3763       rc = spf_process(&arg, sender_address, SPF_PROCESS_GUESS);
3764     break;
3765 #endif
3766
3767     case ACLC_UDPSEND:
3768     rc = acl_udpsend(arg, log_msgptr);
3769     break;
3770
3771     /* If the verb is WARN, discard any user message from verification, because
3772     such messages are SMTP responses, not header additions. The latter come
3773     only from explicit "message" modifiers. However, put the user message into
3774     $acl_verify_message so it can be used in subsequent conditions or modifiers
3775     (until something changes it). */
3776
3777     case ACLC_VERIFY:
3778     rc = acl_verify(where, addr, arg, user_msgptr, log_msgptr, basic_errno);
3779     if (*user_msgptr)
3780       acl_verify_message = *user_msgptr;
3781     if (verb == ACL_WARN) *user_msgptr = NULL;
3782     break;
3783
3784     default:
3785     log_write(0, LOG_MAIN|LOG_PANIC_DIE, "internal ACL error: unknown "
3786       "condition %d", cb->type);
3787     break;
3788     }
3789
3790   /* If a condition was negated, invert OK/FAIL. */
3791
3792   if (!conditions[cb->type].is_modifier && cb->u.negated)
3793     if (rc == OK) rc = FAIL;
3794     else if (rc == FAIL || rc == FAIL_DROP) rc = OK;
3795
3796   if (rc != OK) break;   /* Conditions loop */
3797   }
3798
3799
3800 /* If the result is the one for which "message" and/or "log_message" are used,
3801 handle the values of these modifiers. If there isn't a log message set, we make
3802 it the same as the user message.
3803
3804 "message" is a user message that will be included in an SMTP response. Unless
3805 it is empty, it overrides any previously set user message.
3806
3807 "log_message" is a non-user message, and it adds to any existing non-user
3808 message that is already set.
3809
3810 Most verbs have but a single return for which the messages are relevant, but
3811 for "discard", it's useful to have the log message both when it succeeds and
3812 when it fails. For "accept", the message is used in the OK case if there is no
3813 "endpass", but (for backwards compatibility) in the FAIL case if "endpass" is
3814 present. */
3815
3816 if (*epp && rc == OK) user_message = NULL;
3817
3818 if ((BIT(rc) & msgcond[verb]) != 0)
3819   {
3820   uschar *expmessage;
3821   uschar *old_user_msgptr = *user_msgptr;
3822   uschar *old_log_msgptr = (*log_msgptr != NULL)? *log_msgptr : old_user_msgptr;
3823
3824   /* If the verb is "warn", messages generated by conditions (verification or
3825   nested ACLs) are always discarded. This also happens for acceptance verbs
3826   when they actually do accept. Only messages specified at this level are used.
3827   However, the value of an existing message is available in $acl_verify_message
3828   during expansions. */
3829
3830   if (verb == ACL_WARN ||
3831       (rc == OK && (verb == ACL_ACCEPT || verb == ACL_DISCARD)))
3832     *log_msgptr = *user_msgptr = NULL;
3833
3834   if (user_message)
3835     {
3836     acl_verify_message = old_user_msgptr;
3837     expmessage = expand_string(user_message);
3838     if (!expmessage)
3839       {
3840       if (!f.expand_string_forcedfail)
3841         log_write(0, LOG_MAIN|LOG_PANIC, "failed to expand ACL message \"%s\": %s",
3842           user_message, expand_string_message);
3843       }
3844     else if (expmessage[0] != 0) *user_msgptr = expmessage;
3845     }
3846
3847   if (log_message)
3848     {
3849     acl_verify_message = old_log_msgptr;
3850     expmessage = expand_string(log_message);
3851     if (!expmessage)
3852       {
3853       if (!f.expand_string_forcedfail)
3854         log_write(0, LOG_MAIN|LOG_PANIC, "failed to expand ACL message \"%s\": %s",
3855           log_message, expand_string_message);
3856       }
3857     else if (expmessage[0] != 0)
3858       {
3859       *log_msgptr = (*log_msgptr == NULL)? expmessage :
3860         string_sprintf("%s: %s", expmessage, *log_msgptr);
3861       }
3862     }
3863
3864   /* If no log message, default it to the user message */
3865
3866   if (!*log_msgptr) *log_msgptr = *user_msgptr;
3867   }
3868
3869 acl_verify_message = NULL;
3870 return rc;
3871 }
3872
3873
3874
3875
3876
3877 /*************************************************
3878 *        Get line from a literal ACL             *
3879 *************************************************/
3880
3881 /* This function is passed to acl_read() in order to extract individual lines
3882 of a literal ACL, which we access via static pointers. We can destroy the
3883 contents because this is called only once (the compiled ACL is remembered).
3884
3885 This code is intended to treat the data in the same way as lines in the main
3886 Exim configuration file. That is:
3887
3888   . Leading spaces are ignored.
3889
3890   . A \ at the end of a line is a continuation - trailing spaces after the \
3891     are permitted (this is because I don't believe in making invisible things
3892     significant). Leading spaces on the continued part of a line are ignored.
3893
3894   . Physical lines starting (significantly) with # are totally ignored, and
3895     may appear within a sequence of backslash-continued lines.
3896
3897   . Blank lines are ignored, but will end a sequence of continuations.
3898
3899 Arguments: none
3900 Returns:   a pointer to the next line
3901 */
3902
3903
3904 static uschar *acl_text;          /* Current pointer in the text */
3905 static uschar *acl_text_end;      /* Points one past the terminating '0' */
3906
3907
3908 static uschar *
3909 acl_getline(void)
3910 {
3911 uschar *yield;
3912
3913 /* This loop handles leading blank lines and comments. */
3914
3915 for(;;)
3916   {
3917   Uskip_whitespace(&acl_text);          /* Leading spaces/empty lines */
3918   if (!*acl_text) return NULL;          /* No more data */
3919   yield = acl_text;                     /* Potential data line */
3920
3921   while (*acl_text && *acl_text != '\n') acl_text++;
3922
3923   /* If we hit the end before a newline, we have the whole logical line. If
3924   it's a comment, there's no more data to be given. Otherwise, yield it. */
3925
3926   if (!*acl_text) return *yield == '#' ? NULL : yield;
3927
3928   /* After reaching a newline, end this loop if the physical line does not
3929   start with '#'. If it does, it's a comment, and the loop continues. */
3930
3931   if (*yield != '#') break;
3932   }
3933
3934 /* This loop handles continuations. We know we have some real data, ending in
3935 newline. See if there is a continuation marker at the end (ignoring trailing
3936 white space). We know that *yield is not white space, so no need to test for
3937 cont > yield in the backwards scanning loop. */
3938
3939 for(;;)
3940   {
3941   uschar *cont;
3942   for (cont = acl_text - 1; isspace(*cont); cont--);
3943
3944   /* If no continuation follows, we are done. Mark the end of the line and
3945   return it. */
3946
3947   if (*cont != '\\')
3948     {
3949     *acl_text++ = 0;
3950     return yield;
3951     }
3952
3953   /* We have encountered a continuation. Skip over whitespace at the start of
3954   the next line, and indeed the whole of the next line or lines if they are
3955   comment lines. */
3956
3957   for (;;)
3958     {
3959     while (*(++acl_text) == ' ' || *acl_text == '\t');
3960     if (*acl_text != '#') break;
3961     while (*(++acl_text) != 0 && *acl_text != '\n');
3962     }
3963
3964   /* We have the start of a continuation line. Move all the rest of the data
3965   to join onto the previous line, and then find its end. If the end is not a
3966   newline, we are done. Otherwise loop to look for another continuation. */
3967
3968   memmove(cont, acl_text, acl_text_end - acl_text);
3969   acl_text_end -= acl_text - cont;
3970   acl_text = cont;
3971   while (*acl_text != 0 && *acl_text != '\n') acl_text++;
3972   if (*acl_text == 0) return yield;
3973   }
3974
3975 /* Control does not reach here */
3976 }
3977
3978
3979
3980
3981
3982 /*************************************************
3983 *        Check access using an ACL               *
3984 *************************************************/
3985
3986 /* This function is called from address_check. It may recurse via
3987 acl_check_condition() - hence the use of a level to stop looping. The ACL is
3988 passed as a string which is expanded. A forced failure implies no access check
3989 is required. If the result is a single word, it is taken as the name of an ACL
3990 which is sought in the global ACL tree. Otherwise, it is taken as literal ACL
3991 text, complete with newlines, and parsed as such. In both cases, the ACL check
3992 is then run. This function uses an auxiliary function for acl_read() to call
3993 for reading individual lines of a literal ACL. This is acl_getline(), which
3994 appears immediately above.
3995
3996 Arguments:
3997   where        where called from
3998   addr         address item when called from RCPT; otherwise NULL
3999   s            the input string; NULL is the same as an empty ACL => DENY
4000   user_msgptr  where to put a user error (for SMTP response)
4001   log_msgptr   where to put a logging message (not for SMTP response)
4002
4003 Returns:       OK         access is granted
4004                DISCARD    access is apparently granted...
4005                FAIL       access is denied
4006                FAIL_DROP  access is denied; drop the connection
4007                DEFER      can't tell at the moment
4008                ERROR      disaster
4009 */
4010
4011 static int
4012 acl_check_internal(int where, address_item *addr, uschar *s,
4013   uschar **user_msgptr, uschar **log_msgptr)
4014 {
4015 int fd = -1;
4016 acl_block *acl = NULL;
4017 uschar *acl_name = US"inline ACL";
4018 uschar *ss;
4019
4020 /* Catch configuration loops */
4021
4022 if (acl_level > 20)
4023   {
4024   *log_msgptr = US"ACL nested too deep: possible loop";
4025   return ERROR;
4026   }
4027
4028 if (!s)
4029   {
4030   HDEBUG(D_acl) debug_printf_indent("ACL is NULL: implicit DENY\n");
4031   return FAIL;
4032   }
4033
4034 /* At top level, we expand the incoming string. At lower levels, it has already
4035 been expanded as part of condition processing. */
4036
4037 if (acl_level == 0)
4038   {
4039   if (!(ss = expand_string(s)))
4040     {
4041     if (f.expand_string_forcedfail) return OK;
4042     *log_msgptr = string_sprintf("failed to expand ACL string \"%s\": %s", s,
4043       expand_string_message);
4044     return ERROR;
4045     }
4046   }
4047 else ss = s;
4048
4049 while (isspace(*ss)) ss++;
4050
4051 /* If we can't find a named ACL, the default is to parse it as an inline one.
4052 (Unless it begins with a slash; non-existent files give rise to an error.) */
4053
4054 acl_text = ss;
4055
4056 /* Handle the case of a string that does not contain any spaces. Look for a
4057 named ACL among those read from the configuration, or a previously read file.
4058 It is possible that the pointer to the ACL is NULL if the configuration
4059 contains a name with no data. If not found, and the text begins with '/',
4060 read an ACL from a file, and save it so it can be re-used. */
4061
4062 if (Ustrchr(ss, ' ') == NULL)
4063   {
4064   tree_node * t = tree_search(acl_anchor, ss);
4065   if (t)
4066     {
4067     if (!(acl = (acl_block *)(t->data.ptr)))
4068       {
4069       HDEBUG(D_acl) debug_printf_indent("ACL \"%s\" is empty: implicit DENY\n", ss);
4070       return FAIL;
4071       }
4072     acl_name = string_sprintf("ACL \"%s\"", ss);
4073     HDEBUG(D_acl) debug_printf_indent("using ACL \"%s\"\n", ss);
4074     }
4075
4076   else if (*ss == '/')
4077     {
4078     struct stat statbuf;
4079     if (is_tainted(ss))
4080       {
4081       log_write(0, LOG_MAIN|LOG_PANIC,
4082         "attempt to open tainted ACL file name \"%s\"", ss);
4083       /* Avoid leaking info to an attacker */
4084       *log_msgptr = US"internal configuration error";
4085       return ERROR;
4086       }
4087     if ((fd = Uopen(ss, O_RDONLY, 0)) < 0)
4088       {
4089       *log_msgptr = string_sprintf("failed to open ACL file \"%s\": %s", ss,
4090         strerror(errno));
4091       return ERROR;
4092       }
4093     if (fstat(fd, &statbuf) != 0)
4094       {
4095       *log_msgptr = string_sprintf("failed to fstat ACL file \"%s\": %s", ss,
4096         strerror(errno));
4097       return ERROR;
4098       }
4099
4100     /* If the string being used as a filename is tainted, so is the file content */
4101     acl_text = store_get(statbuf.st_size + 1, is_tainted(ss));
4102     acl_text_end = acl_text + statbuf.st_size + 1;
4103
4104     if (read(fd, acl_text, statbuf.st_size) != statbuf.st_size)
4105       {
4106       *log_msgptr = string_sprintf("failed to read ACL file \"%s\": %s",
4107         ss, strerror(errno));
4108       return ERROR;
4109       }
4110     acl_text[statbuf.st_size] = 0;
4111     (void)close(fd);
4112
4113     acl_name = string_sprintf("ACL \"%s\"", ss);
4114     HDEBUG(D_acl) debug_printf_indent("read ACL from file %s\n", ss);
4115     }
4116   }
4117
4118 /* Parse an ACL that is still in text form. If it came from a file, remember it
4119 in the ACL tree, having read it into the POOL_PERM store pool so that it
4120 persists between multiple messages. */
4121
4122 if (!acl)
4123   {
4124   int old_pool = store_pool;
4125   if (fd >= 0) store_pool = POOL_PERM;
4126   acl = acl_read(acl_getline, log_msgptr);
4127   store_pool = old_pool;
4128   if (!acl && *log_msgptr) return ERROR;
4129   if (fd >= 0)
4130     {
4131     tree_node *t = store_get_perm(sizeof(tree_node) + Ustrlen(ss), is_tainted(ss));
4132     Ustrcpy(t->name, ss);
4133     t->data.ptr = acl;
4134     (void)tree_insertnode(&acl_anchor, t);
4135     }
4136   }
4137
4138 /* Now we have an ACL to use. It's possible it may be NULL. */
4139
4140 while (acl)
4141   {
4142   int cond;
4143   int basic_errno = 0;
4144   BOOL endpass_seen = FALSE;
4145   BOOL acl_quit_check = acl_level == 0
4146     && (where == ACL_WHERE_QUIT || where == ACL_WHERE_NOTQUIT);
4147
4148   *log_msgptr = *user_msgptr = NULL;
4149   f.acl_temp_details = FALSE;
4150
4151   HDEBUG(D_acl) debug_printf_indent("processing \"%s\" (%s %d)\n",
4152     verbs[acl->verb], acl->srcfile, acl->srcline);
4153
4154   /* Clear out any search error message from a previous check before testing
4155   this condition. */
4156
4157   search_error_message = NULL;
4158   cond = acl_check_condition(acl->verb, acl->condition, where, addr, acl_level,
4159     &endpass_seen, user_msgptr, log_msgptr, &basic_errno);
4160
4161   /* Handle special returns: DEFER causes a return except on a WARN verb;
4162   ERROR always causes a return. */
4163
4164   switch (cond)
4165     {
4166     case DEFER:
4167       HDEBUG(D_acl) debug_printf_indent("%s: condition test deferred in %s\n",
4168         verbs[acl->verb], acl_name);
4169       if (basic_errno != ERRNO_CALLOUTDEFER)
4170         {
4171         if (search_error_message != NULL && *search_error_message != 0)
4172           *log_msgptr = search_error_message;
4173         if (smtp_return_error_details) f.acl_temp_details = TRUE;
4174         }
4175       else
4176         f.acl_temp_details = TRUE;
4177       if (acl->verb != ACL_WARN) return DEFER;
4178       break;
4179
4180     default:      /* Paranoia */
4181     case ERROR:
4182       HDEBUG(D_acl) debug_printf_indent("%s: condition test error in %s\n",
4183         verbs[acl->verb], acl_name);
4184       return ERROR;
4185
4186     case OK:
4187       HDEBUG(D_acl) debug_printf_indent("%s: condition test succeeded in %s\n",
4188         verbs[acl->verb], acl_name);
4189       break;
4190
4191     case FAIL:
4192       HDEBUG(D_acl) debug_printf_indent("%s: condition test failed in %s\n",
4193         verbs[acl->verb], acl_name);
4194       break;
4195
4196     /* DISCARD and DROP can happen only from a nested ACL condition, and
4197     DISCARD can happen only for an "accept" or "discard" verb. */
4198
4199     case DISCARD:
4200       HDEBUG(D_acl) debug_printf_indent("%s: condition test yielded \"discard\" in %s\n",
4201         verbs[acl->verb], acl_name);
4202       break;
4203
4204     case FAIL_DROP:
4205       HDEBUG(D_acl) debug_printf_indent("%s: condition test yielded \"drop\" in %s\n",
4206         verbs[acl->verb], acl_name);
4207       break;
4208     }
4209
4210   /* At this point, cond for most verbs is either OK or FAIL or (as a result of
4211   a nested ACL condition) FAIL_DROP. However, for WARN, cond may be DEFER, and
4212   for ACCEPT and DISCARD, it may be DISCARD after a nested ACL call. */
4213
4214   switch(acl->verb)
4215     {
4216     case ACL_ACCEPT:
4217       if (cond == OK || cond == DISCARD)
4218         {
4219         HDEBUG(D_acl) debug_printf_indent("end of %s: ACCEPT\n", acl_name);
4220         return cond;
4221         }
4222       if (endpass_seen)
4223         {
4224         HDEBUG(D_acl) debug_printf_indent("accept: endpass encountered - denying access\n");
4225         return cond;
4226         }
4227       break;
4228
4229     case ACL_DEFER:
4230       if (cond == OK)
4231         {
4232         HDEBUG(D_acl) debug_printf_indent("end of %s: DEFER\n", acl_name);
4233         if (acl_quit_check) goto badquit;
4234         f.acl_temp_details = TRUE;
4235         return DEFER;
4236         }
4237       break;
4238
4239     case ACL_DENY:
4240       if (cond == OK)
4241         {
4242         HDEBUG(D_acl) debug_printf_indent("end of %s: DENY\n", acl_name);
4243         if (acl_quit_check) goto badquit;
4244         return FAIL;
4245         }
4246       break;
4247
4248     case ACL_DISCARD:
4249       if (cond == OK || cond == DISCARD)
4250         {
4251         HDEBUG(D_acl) debug_printf_indent("end of %s: DISCARD\n", acl_name);
4252         if (acl_quit_check) goto badquit;
4253         return DISCARD;
4254         }
4255       if (endpass_seen)
4256         {
4257         HDEBUG(D_acl)
4258           debug_printf_indent("discard: endpass encountered - denying access\n");
4259         return cond;
4260         }
4261       break;
4262
4263     case ACL_DROP:
4264       if (cond == OK)
4265         {
4266         HDEBUG(D_acl) debug_printf_indent("end of %s: DROP\n", acl_name);
4267         if (acl_quit_check) goto badquit;
4268         return FAIL_DROP;
4269         }
4270       break;
4271
4272     case ACL_REQUIRE:
4273       if (cond != OK)
4274         {
4275         HDEBUG(D_acl) debug_printf_indent("end of %s: not OK\n", acl_name);
4276         if (acl_quit_check) goto badquit;
4277         return cond;
4278         }
4279       break;
4280
4281     case ACL_WARN:
4282       if (cond == OK)
4283         acl_warn(where, *user_msgptr, *log_msgptr);
4284       else if (cond == DEFER && LOGGING(acl_warn_skipped))
4285         log_write(0, LOG_MAIN, "%s Warning: ACL \"warn\" statement skipped: "
4286           "condition test deferred%s%s", host_and_ident(TRUE),
4287           (*log_msgptr == NULL)? US"" : US": ",
4288           (*log_msgptr == NULL)? US"" : *log_msgptr);
4289       *log_msgptr = *user_msgptr = NULL;  /* In case implicit DENY follows */
4290       break;
4291
4292     default:
4293       log_write(0, LOG_MAIN|LOG_PANIC_DIE, "internal ACL error: unknown verb %d",
4294         acl->verb);
4295       break;
4296     }
4297
4298   /* Pass to the next ACL item */
4299
4300   acl = acl->next;
4301   }
4302
4303 /* We have reached the end of the ACL. This is an implicit DENY. */
4304
4305 HDEBUG(D_acl) debug_printf_indent("end of %s: implicit DENY\n", acl_name);
4306 return FAIL;
4307
4308 badquit:
4309   *log_msgptr = string_sprintf("QUIT or not-QUIT toplevel ACL may not fail "
4310     "('%s' verb used incorrectly)", verbs[acl->verb]);
4311   return ERROR;
4312 }
4313
4314
4315
4316
4317 /* Same args as acl_check_internal() above, but the string s is
4318 the name of an ACL followed optionally by up to 9 space-separated arguments.
4319 The name and args are separately expanded.  Args go into $acl_arg globals. */
4320 static int
4321 acl_check_wargs(int where, address_item *addr, const uschar *s,
4322   uschar **user_msgptr, uschar **log_msgptr)
4323 {
4324 uschar * tmp;
4325 uschar * tmp_arg[9];    /* must match acl_arg[] */
4326 uschar * sav_arg[9];    /* must match acl_arg[] */
4327 int sav_narg;
4328 uschar * name;
4329 int i;
4330 int ret;
4331
4332 if (!(tmp = string_dequote(&s)) || !(name = expand_string(tmp)))
4333   goto bad;
4334
4335 for (i = 0; i < 9; i++)
4336   {
4337   while (*s && isspace(*s)) s++;
4338   if (!*s) break;
4339   if (!(tmp = string_dequote(&s)) || !(tmp_arg[i] = expand_string(tmp)))
4340     {
4341     tmp = name;
4342     goto bad;
4343     }
4344   }
4345
4346 sav_narg = acl_narg;
4347 acl_narg = i;
4348 for (i = 0; i < acl_narg; i++)
4349   {
4350   sav_arg[i] = acl_arg[i];
4351   acl_arg[i] = tmp_arg[i];
4352   }
4353 while (i < 9)
4354   {
4355   sav_arg[i] = acl_arg[i];
4356   acl_arg[i++] = NULL;
4357   }
4358
4359 acl_level++;
4360 ret = acl_check_internal(where, addr, name, user_msgptr, log_msgptr);
4361 acl_level--;
4362
4363 acl_narg = sav_narg;
4364 for (i = 0; i < 9; i++) acl_arg[i] = sav_arg[i];
4365 return ret;
4366
4367 bad:
4368 if (f.expand_string_forcedfail) return ERROR;
4369 *log_msgptr = string_sprintf("failed to expand ACL string \"%s\": %s",
4370   tmp, expand_string_message);
4371 return f.search_find_defer ? DEFER : ERROR;
4372 }
4373
4374
4375
4376 /*************************************************
4377 *        Check access using an ACL               *
4378 *************************************************/
4379
4380 /* Alternate interface for ACL, used by expansions */
4381 int
4382 acl_eval(int where, uschar *s, uschar **user_msgptr, uschar **log_msgptr)
4383 {
4384 address_item adb;
4385 address_item *addr = NULL;
4386 int rc;
4387
4388 *user_msgptr = *log_msgptr = NULL;
4389 sender_verified_failed = NULL;
4390 ratelimiters_cmd = NULL;
4391 log_reject_target = LOG_MAIN|LOG_REJECT;
4392
4393 if (where == ACL_WHERE_RCPT)
4394   {
4395   adb = address_defaults;
4396   addr = &adb;
4397   addr->address = expand_string(US"$local_part@$domain");
4398   addr->domain = deliver_domain;
4399   addr->local_part = deliver_localpart;
4400   addr->cc_local_part = deliver_localpart;
4401   addr->lc_local_part = deliver_localpart;
4402   }
4403
4404 acl_level++;
4405 rc = acl_check_internal(where, addr, s, user_msgptr, log_msgptr);
4406 acl_level--;
4407 return rc;
4408 }
4409
4410
4411
4412 /* This is the external interface for ACL checks. It sets up an address and the
4413 expansions for $domain and $local_part when called after RCPT, then calls
4414 acl_check_internal() to do the actual work.
4415
4416 Arguments:
4417   where        ACL_WHERE_xxxx indicating where called from
4418   recipient    RCPT address for RCPT check, else NULL
4419   s            the input string; NULL is the same as an empty ACL => DENY
4420   user_msgptr  where to put a user error (for SMTP response)
4421   log_msgptr   where to put a logging message (not for SMTP response)
4422
4423 Returns:       OK         access is granted by an ACCEPT verb
4424                DISCARD    access is granted by a DISCARD verb
4425                FAIL       access is denied
4426                FAIL_DROP  access is denied; drop the connection
4427                DEFER      can't tell at the moment
4428                ERROR      disaster
4429 */
4430 int acl_where = ACL_WHERE_UNKNOWN;
4431
4432 int
4433 acl_check(int where, uschar *recipient, uschar *s, uschar **user_msgptr,
4434   uschar **log_msgptr)
4435 {
4436 int rc;
4437 address_item adb;
4438 address_item *addr = NULL;
4439
4440 *user_msgptr = *log_msgptr = NULL;
4441 sender_verified_failed = NULL;
4442 ratelimiters_cmd = NULL;
4443 log_reject_target = LOG_MAIN|LOG_REJECT;
4444
4445 #ifndef DISABLE_PRDR
4446 if (where==ACL_WHERE_RCPT || where==ACL_WHERE_VRFY || where==ACL_WHERE_PRDR)
4447 #else
4448 if (where==ACL_WHERE_RCPT || where==ACL_WHERE_VRFY)
4449 #endif
4450   {
4451   adb = address_defaults;
4452   addr = &adb;
4453   addr->address = recipient;
4454   if (deliver_split_address(addr) == DEFER)
4455     {
4456     *log_msgptr = US"defer in percent_hack_domains check";
4457     return DEFER;
4458     }
4459 #ifdef SUPPORT_I18N
4460   if ((addr->prop.utf8_msg = message_smtputf8))
4461     {
4462     addr->prop.utf8_downcvt =       message_utf8_downconvert == 1;
4463     addr->prop.utf8_downcvt_maybe = message_utf8_downconvert == -1;
4464     }
4465 #endif
4466   deliver_domain = addr->domain;
4467   deliver_localpart = addr->local_part;
4468   }
4469
4470 acl_where = where;
4471 acl_level = 0;
4472 rc = acl_check_internal(where, addr, s, user_msgptr, log_msgptr);
4473 acl_level = 0;
4474 acl_where = ACL_WHERE_UNKNOWN;
4475
4476 /* Cutthrough - if requested,
4477 and WHERE_RCPT and not yet opened conn as result of recipient-verify,
4478 and rcpt acl returned accept,
4479 and first recipient (cancel on any subsequents)
4480 open one now and run it up to RCPT acceptance.
4481 A failed verify should cancel cutthrough request,
4482 and will pass the fail to the originator.
4483 Initial implementation:  dual-write to spool.
4484 Assume the rxd datastream is now being copied byte-for-byte to an open cutthrough connection.
4485
4486 Cease cutthrough copy on rxd final dot; do not send one.
4487
4488 On a data acl, if not accept and a cutthrough conn is open, hard-close it (no SMTP niceness).
4489
4490 On data acl accept, terminate the dataphase on an open cutthrough conn.  If accepted or
4491 perm-rejected, reflect that to the original sender - and dump the spooled copy.
4492 If temp-reject, close the conn (and keep the spooled copy).
4493 If conn-failure, no action (and keep the spooled copy).
4494 */
4495 switch (where)
4496   {
4497   case ACL_WHERE_RCPT:
4498 #ifndef DISABLE_PRDR
4499   case ACL_WHERE_PRDR:
4500 #endif
4501
4502     if (f.host_checking_callout)        /* -bhc mode */
4503       cancel_cutthrough_connection(TRUE, US"host-checking mode");
4504
4505     else if (  rc == OK
4506             && cutthrough.delivery
4507             && rcpt_count > cutthrough.nrcpt
4508             )
4509       {
4510       if ((rc = open_cutthrough_connection(addr)) == DEFER)
4511         if (cutthrough.defer_pass)
4512           {
4513           uschar * s = addr->message;
4514           /* Horrid kludge to recover target's SMTP message */
4515           while (*s) s++;
4516           do --s; while (!isdigit(*s));
4517           if (*--s && isdigit(*s) && *--s && isdigit(*s)) *user_msgptr = s;
4518           f.acl_temp_details = TRUE;
4519           }
4520         else
4521           {
4522           HDEBUG(D_acl) debug_printf_indent("cutthrough defer; will spool\n");
4523           rc = OK;
4524           }
4525       }
4526     else HDEBUG(D_acl) if (cutthrough.delivery)
4527       if (rcpt_count <= cutthrough.nrcpt)
4528         debug_printf_indent("ignore cutthrough request; nonfirst message\n");
4529       else if (rc != OK)
4530         debug_printf_indent("ignore cutthrough request; ACL did not accept\n");
4531     break;
4532
4533   case ACL_WHERE_PREDATA:
4534     if (rc == OK)
4535       cutthrough_predata();
4536     else
4537       cancel_cutthrough_connection(TRUE, US"predata acl not ok");
4538     break;
4539
4540   case ACL_WHERE_QUIT:
4541   case ACL_WHERE_NOTQUIT:
4542     /* Drop cutthrough conns, and drop heldopen verify conns if
4543     the previous was not DATA */
4544     {
4545     uschar prev = smtp_connection_had[smtp_ch_index-2];
4546     BOOL dropverify = !(prev == SCH_DATA || prev == SCH_BDAT);
4547
4548     cancel_cutthrough_connection(dropverify, US"quit or conndrop");
4549     break;
4550     }
4551
4552   default:
4553     break;
4554   }
4555
4556 deliver_domain = deliver_localpart = deliver_address_data =
4557   deliver_domain_data = sender_address_data = NULL;
4558
4559 /* A DISCARD response is permitted only for message ACLs, excluding the PREDATA
4560 ACL, which is really in the middle of an SMTP command. */
4561
4562 if (rc == DISCARD)
4563   {
4564   if (where > ACL_WHERE_NOTSMTP || where == ACL_WHERE_PREDATA)
4565     {
4566     log_write(0, LOG_MAIN|LOG_PANIC, "\"discard\" verb not allowed in %s "
4567       "ACL", acl_wherenames[where]);
4568     return ERROR;
4569     }
4570   return DISCARD;
4571   }
4572
4573 /* A DROP response is not permitted from MAILAUTH */
4574
4575 if (rc == FAIL_DROP && where == ACL_WHERE_MAILAUTH)
4576   {
4577   log_write(0, LOG_MAIN|LOG_PANIC, "\"drop\" verb not allowed in %s "
4578     "ACL", acl_wherenames[where]);
4579   return ERROR;
4580   }
4581
4582 /* Before giving a response, take a look at the length of any user message, and
4583 split it up into multiple lines if possible. */
4584
4585 *user_msgptr = string_split_message(*user_msgptr);
4586 if (fake_response != OK)
4587   fake_response_text = string_split_message(fake_response_text);
4588
4589 return rc;
4590 }
4591
4592
4593 /*************************************************
4594 *             Create ACL variable                *
4595 *************************************************/
4596
4597 /* Create an ACL variable or reuse an existing one. ACL variables are in a
4598 binary tree (see tree.c) with acl_var_c and acl_var_m as root nodes.
4599
4600 Argument:
4601   name    pointer to the variable's name, starting with c or m
4602
4603 Returns   the pointer to variable's tree node
4604 */
4605
4606 tree_node *
4607 acl_var_create(uschar * name)
4608 {
4609 tree_node * node, ** root = name[0] == 'c' ? &acl_var_c : &acl_var_m;
4610 if (!(node = tree_search(*root, name)))
4611   {
4612   node = store_get(sizeof(tree_node) + Ustrlen(name), is_tainted(name));
4613   Ustrcpy(node->name, name);
4614   (void)tree_insertnode(root, node);
4615   }
4616 node->data.ptr = NULL;
4617 return node;
4618 }
4619
4620
4621
4622 /*************************************************
4623 *       Write an ACL variable in spool format    *
4624 *************************************************/
4625
4626 /* This function is used as a callback for tree_walk when writing variables to
4627 the spool file. To retain spool file compatibility, what is written is -aclc or
4628 -aclm followed by the rest of the name and the data length, space separated,
4629 then the value itself, starting on a new line, and terminated by an additional
4630 newline. When we had only numbered ACL variables, the first line might look
4631 like this: "-aclc 5 20". Now it might be "-aclc foo 20" for the variable called
4632 acl_cfoo.
4633
4634 Arguments:
4635   name    of the variable
4636   value   of the variable
4637   ctx     FILE pointer (as a void pointer)
4638
4639 Returns:  nothing
4640 */
4641
4642 void
4643 acl_var_write(uschar *name, uschar *value, void *ctx)
4644 {
4645 FILE *f = (FILE *)ctx;
4646 if (is_tainted(value)) putc('-', f);
4647 fprintf(f, "-acl%c %s %d\n%s\n", name[0], name+1, Ustrlen(value), value);
4648 }
4649
4650 /* vi: aw ai sw=2
4651 */
4652 /* End of acl.c */