1 /*************************************************
2 * Exim - an Internet mail transport agent *
3 *************************************************/
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. */
9 /* Miscellaneous string-handling functions. Some are not required for
10 utilities and tests, and are cut out by the COMPILE_UTILITY macro. */
17 #ifndef COMPILE_UTILITY
18 /*************************************************
19 * Test for IP address *
20 *************************************************/
22 /* This used just to be a regular expression, but with IPv6 things are a bit
23 more complicated. If the address contains a colon, it is assumed to be a v6
24 address (assuming HAVE_IPV6 is set). If a mask is permitted and one is present,
25 and maskptr is not NULL, its offset is placed there.
29 maskptr NULL if no mask is permitted to follow
30 otherwise, points to an int where the offset of '/' is placed
31 if there is no / followed by trailing digits, *maskptr is set 0
33 Returns: 0 if the string is not a textual representation of an IP address
34 4 if it is an IPv4 address
35 6 if it is an IPv6 address
39 string_is_ip_address(const uschar *s, int *maskptr)
43 /* If an optional mask is permitted, check for it. If found, pass back the
48 const uschar *ss = s + Ustrlen(s);
50 if (s != ss && isdigit(*(--ss)))
52 while (ss > s && isdigit(ss[-1])) ss--;
53 if (ss > s && *(--ss) == '/') *maskptr = ss - s;
57 /* A colon anywhere in the string => IPv6 address */
59 if (Ustrchr(s, ':') != NULL)
61 BOOL had_double_colon = FALSE;
66 /* An IPv6 address must start with hex digit or double colon. A single
69 if (*s == ':' && *(++s) != ':') return 0;
71 /* Now read up to 8 components consisting of up to 4 hex digits each. There
72 may be one and only one appearance of double colon, which implies any number
73 of binary zero bits. The number of preceding components is held in count. */
75 for (int count = 0; count < 8; count++)
77 /* If the end of the string is reached before reading 8 components, the
78 address is valid provided a double colon has been read. This also applies
79 if we hit the / that introduces a mask or the % that introduces the
80 interface specifier (scope id) of a link-local address. */
82 if (*s == 0 || *s == '%' || *s == '/') return had_double_colon ? yield : 0;
84 /* If a component starts with an additional colon, we have hit a double
85 colon. This is permitted to appear once only, and counts as at least
86 one component. The final component may be of this form. */
90 if (had_double_colon) return 0;
91 had_double_colon = TRUE;
96 /* If the remainder of the string contains a dot but no colons, we
97 can expect a trailing IPv4 address. This is valid if either there has
98 been no double-colon and this is the 7th component (with the IPv4 address
99 being the 7th & 8th components), OR if there has been a double-colon
100 and fewer than 6 components. */
102 if (Ustrchr(s, ':') == NULL && Ustrchr(s, '.') != NULL)
104 if ((!had_double_colon && count != 6) ||
105 (had_double_colon && count > 6)) return 0;
111 /* Check for at least one and not more than 4 hex digits for this
114 if (!isxdigit(*s++)) return 0;
115 if (isxdigit(*s) && isxdigit(*(++s)) && isxdigit(*(++s))) s++;
117 /* If the component is terminated by colon and there is more to
118 follow, skip over the colon. If there is no more to follow the address is
121 if (*s == ':' && *(++s) == 0) return 0;
124 /* If about to handle a trailing IPv4 address, drop through. Otherwise
125 all is well if we are at the end of the string or at the mask or at a percent
126 sign, which introduces the interface specifier (scope id) of a link local
130 return (*s == 0 || *s == '%' ||
131 (*s == '/' && maskptr != NULL && *maskptr != 0))? yield : 0;
134 /* Test for IPv4 address, which may be the tail-end of an IPv6 address. */
136 for (int i = 0; i < 4; i++)
141 if (i != 0 && *s++ != '.') return 0;
142 n = strtol(CCS s, CSS &end, 10);
143 if (n > 255 || n < 0 || end <= s || end > s+3) return 0;
147 return !*s || (*s == '/' && maskptr && *maskptr != 0) ? yield : 0;
149 #endif /* COMPILE_UTILITY */
152 /*************************************************
153 * Format message size *
154 *************************************************/
156 /* Convert a message size in bytes to printing form, rounding
157 according to the magnitude of the number. A value of zero causes
158 a string of spaces to be returned.
161 size the message size in bytes
162 buffer where to put the answer
164 Returns: pointer to the buffer
165 a string of exactly 5 characters is normally returned
169 string_format_size(int size, uschar *buffer)
171 if (size == 0) Ustrcpy(buffer, US" ");
172 else if (size < 1024) sprintf(CS buffer, "%5d", size);
173 else if (size < 10*1024)
174 sprintf(CS buffer, "%4.1fK", (double)size / 1024.0);
175 else if (size < 1024*1024)
176 sprintf(CS buffer, "%4dK", (size + 512)/1024);
177 else if (size < 10*1024*1024)
178 sprintf(CS buffer, "%4.1fM", (double)size / (1024.0 * 1024.0));
180 sprintf(CS buffer, "%4dM", (size + 512 * 1024)/(1024*1024));
186 #ifndef COMPILE_UTILITY
187 /*************************************************
188 * Convert a number to base 62 format *
189 *************************************************/
191 /* Convert a long integer into an ASCII base 62 string. For Cygwin the value of
192 BASE_62 is actually 36. Always return exactly 6 characters plus zero, in a
195 Argument: a long integer
196 Returns: pointer to base 62 string
200 string_base62(unsigned long int value)
202 static uschar yield[7];
203 uschar *p = yield + sizeof(yield) - 1;
207 *(--p) = base62_chars[value % BASE_62];
212 #endif /* COMPILE_UTILITY */
216 /*************************************************
217 * Interpret escape sequence *
218 *************************************************/
220 /* This function is called from several places where escape sequences are to be
221 interpreted in strings.
224 pp points a pointer to the initiating "\" in the string;
225 the pointer gets updated to point to the final character
226 If the backslash is the last character in the string, it
228 Returns: the value of the character escape
232 string_interpret_escape(const uschar **pp)
234 #ifdef COMPILE_UTILITY
235 const uschar *hex_digits= CUS"0123456789abcdef";
238 const uschar *p = *pp;
240 if (ch == '\0') return **pp;
241 if (isdigit(ch) && ch != '8' && ch != '9')
244 if (isdigit(p[1]) && p[1] != '8' && p[1] != '9')
246 ch = ch * 8 + *(++p) - '0';
247 if (isdigit(p[1]) && p[1] != '8' && p[1] != '9')
248 ch = ch * 8 + *(++p) - '0';
253 case 'b': ch = '\b'; break;
254 case 'f': ch = '\f'; break;
255 case 'n': ch = '\n'; break;
256 case 'r': ch = '\r'; break;
257 case 't': ch = '\t'; break;
258 case 'v': ch = '\v'; break;
264 Ustrchr(hex_digits, tolower(*(++p))) - hex_digits;
265 if (isxdigit(p[1])) ch = ch * 16 +
266 Ustrchr(hex_digits, tolower(*(++p))) - hex_digits;
276 #ifndef COMPILE_UTILITY
277 /*************************************************
278 * Ensure string is printable *
279 *************************************************/
281 /* This function is called for critical strings. It checks for any
282 non-printing characters, and if any are found, it makes a new copy
283 of the string with suitable escape sequences. It is most often called by the
284 macro string_printing(), which sets flags to 0.
288 flags Bit 0: convert tabs. Bit 1: convert spaces.
290 Returns: string with non-printers encoded as printing sequences
294 string_printing2(const uschar *s, int flags)
296 int nonprintcount = 0;
305 || flags & SP_TAB && c == '\t'
306 || flags & SP_SPACE && c == ' '
311 if (nonprintcount == 0) return s;
313 /* Get a new block of store guaranteed big enough to hold the
316 tt = ss = store_get(length + nonprintcount * 3 + 1, is_tainted(s));
318 /* Copy everything, escaping non printers. */
324 && (!(flags & SP_TAB) || c != '\t')
325 && (!(flags & SP_SPACE) || c != ' ')
333 case '\n': *tt++ = 'n'; break;
334 case '\r': *tt++ = 'r'; break;
335 case '\b': *tt++ = 'b'; break;
336 case '\v': *tt++ = 'v'; break;
337 case '\f': *tt++ = 'f'; break;
338 case '\t': *tt++ = 't'; break;
339 default: sprintf(CS tt, "%03o", *t); tt += 3; break;
347 #endif /* COMPILE_UTILITY */
349 /*************************************************
350 * Undo printing escapes in string *
351 *************************************************/
353 /* This function is the reverse of string_printing2. It searches for
354 backslash characters and if any are found, it makes a new copy of the
355 string with escape sequences parsed. Otherwise it returns the original
361 Returns: string with printing escapes parsed back
365 string_unprinting(uschar *s)
367 uschar *p, *q, *r, *ss;
370 p = Ustrchr(s, '\\');
373 len = Ustrlen(s) + 1;
374 ss = store_get(len, is_tainted(s));
388 *q++ = string_interpret_escape((const uschar **)&p);
393 r = Ustrchr(p, '\\');
419 #if (defined(HAVE_LOCAL_SCAN) || defined(EXPAND_DLFUNC)) \
420 && !defined(MACRO_PREDEF) && !defined(COMPILE_UTILITY)
421 /*************************************************
422 * Copy and save string *
423 *************************************************/
426 Argument: string to copy
427 Returns: copy of string in new store with the same taint status
431 string_copy_function(const uschar *s)
433 return string_copy_taint(s, is_tainted(s));
436 /* This function assumes that memcpy() is faster than strcpy().
437 As above, but explicitly specifying the result taint status
441 string_copy_taint_function(const uschar * s, BOOL tainted)
443 int len = Ustrlen(s) + 1;
444 uschar *ss = store_get(len, tainted);
451 /*************************************************
452 * Copy and save string, given length *
453 *************************************************/
455 /* It is assumed the data contains no zeros. A zero is added
460 n number of characters
462 Returns: copy of string in new store
466 string_copyn_function(const uschar *s, int n)
468 uschar *ss = store_get(n + 1, is_tainted(s));
476 /*************************************************
477 * Copy and save string in malloc'd store *
478 *************************************************/
480 /* This function assumes that memcpy() is faster than strcpy().
482 Argument: string to copy
483 Returns: copy of string in new store
487 string_copy_malloc(const uschar *s)
489 int len = Ustrlen(s) + 1;
490 uschar *ss = store_malloc(len);
497 /*************************************************
498 * Copy string if long, inserting newlines *
499 *************************************************/
501 /* If the given string is longer than 75 characters, it is copied, and within
502 the copy, certain space characters are converted into newlines.
504 Argument: pointer to the string
505 Returns: pointer to the possibly altered string
509 string_split_message(uschar *msg)
513 if (msg == NULL || Ustrlen(msg) <= 75) return msg;
514 s = ss = msg = string_copy(msg);
519 while (i < 75 && *ss != 0 && *ss != '\n') ss++, i++;
531 if (t[-1] == ':') { tt = t; break; }
532 if (tt == NULL) tt = t;
536 if (tt == NULL) /* Can't split behind - try ahead */
541 if (*t == ' ' || *t == '\n')
547 if (tt == NULL) break; /* Can't find anywhere to split */
558 /*************************************************
559 * Copy returned DNS domain name, de-escaping *
560 *************************************************/
562 /* If a domain name contains top-bit characters, some resolvers return
563 the fully qualified name with those characters turned into escapes. The
564 convention is a backslash followed by _decimal_ digits. We convert these
565 back into the original binary values. This will be relevant when
566 allow_utf8_domains is set true and UTF-8 characters are used in domain
567 names. Backslash can also be used to escape other characters, though we
568 shouldn't come across them in domain names.
570 Argument: the domain name string
571 Returns: copy of string in new store, de-escaped
575 string_copy_dnsdomain(uschar *s)
578 uschar *ss = yield = store_get(Ustrlen(s) + 1, TRUE); /* always treat as tainted */
584 else if (isdigit(s[1]))
586 *ss++ = (s[1] - '0')*100 + (s[2] - '0')*10 + s[3] - '0';
589 else if (*(++s) != 0)
598 #ifndef COMPILE_UTILITY
599 /*************************************************
600 * Copy space-terminated or quoted string *
601 *************************************************/
603 /* This function copies from a string until its end, or until whitespace is
604 encountered, unless the string begins with a double quote, in which case the
605 terminating quote is sought, and escaping within the string is done. The length
606 of a de-quoted string can be no longer than the original, since escaping always
607 turns n characters into 1 character.
609 Argument: pointer to the pointer to the first character, which gets updated
610 Returns: the new string
614 string_dequote(const uschar **sptr)
616 const uschar *s = *sptr;
619 /* First find the end of the string */
622 while (*s != 0 && !isspace(*s)) s++;
626 while (*s && *s != '\"')
628 if (*s == '\\') (void)string_interpret_escape(&s);
634 /* Get enough store to copy into */
636 t = yield = store_get(s - *sptr + 1, is_tainted(*sptr));
642 while (*s != 0 && !isspace(*s)) *t++ = *s++;
646 while (*s != 0 && *s != '\"')
648 *t++ = *s == '\\' ? string_interpret_escape(&s) : *s;
654 /* Update the pointer and return the terminated copy */
660 #endif /* COMPILE_UTILITY */
664 /*************************************************
665 * Format a string and save it *
666 *************************************************/
668 /* The formatting is done by string_vformat, which checks the length of
669 everything. Taint is taken from the worst of the arguments.
672 format a printf() format - deliberately char * rather than uschar *
673 because it will most usually be a literal string
674 ... arguments for format
676 Returns: pointer to fresh piece of store containing sprintf'ed string
680 string_sprintf_trc(const char *format, const uschar * func, unsigned line, ...)
682 #ifdef COMPILE_UTILITY
683 uschar buffer[STRING_SPRINTF_BUFFER_SIZE];
684 gstring gs = { .size = STRING_SPRINTF_BUFFER_SIZE, .ptr = 0, .s = buffer };
689 unsigned flags = SVFMT_REBUFFER|SVFMT_EXTEND;
694 g = string_vformat_trc(g, func, line, STRING_SPRINTF_BUFFER_SIZE,
699 log_write(0, LOG_MAIN|LOG_PANIC_DIE,
700 "string_sprintf expansion was longer than %d; format string was (%s)\n"
701 " called from %s %d\n",
702 STRING_SPRINTF_BUFFER_SIZE, format, func, line);
704 #ifdef COMPILE_UTILITY
705 return string_copyn(g->s, g->ptr);
707 gstring_release_unused(g);
708 return string_from_gstring(g);
714 /*************************************************
715 * Case-independent strncmp() function *
716 *************************************************/
722 n number of characters to compare
724 Returns: < 0, = 0, or > 0, according to the comparison
728 strncmpic(const uschar *s, const uschar *t, int n)
732 int c = tolower(*s++) - tolower(*t++);
739 /*************************************************
740 * Case-independent strcmp() function *
741 *************************************************/
748 Returns: < 0, = 0, or > 0, according to the comparison
752 strcmpic(const uschar *s, const uschar *t)
756 int c = tolower(*s++) - tolower(*t++);
757 if (c != 0) return c;
763 /*************************************************
764 * Case-independent strstr() function *
765 *************************************************/
767 /* The third argument specifies whether whitespace is required
768 to follow the matched string.
772 t substring to search for
773 space_follows if TRUE, match only if whitespace follows
775 Returns: pointer to substring in string, or NULL if not found
779 strstric(uschar *s, uschar *t, BOOL space_follows)
782 uschar *yield = NULL;
783 int cl = tolower(*p);
784 int cu = toupper(*p);
788 if (*s == cl || *s == cu)
790 if (yield == NULL) yield = s;
793 if (!space_follows || s[1] == ' ' || s[1] == '\n' ) return yield;
801 else if (yield != NULL)
815 #ifdef COMPILE_UTILITY
816 /* Dummy version for this function; it should never be called */
818 gstring_grow(gstring * g, int count)
826 #ifndef COMPILE_UTILITY
827 /*************************************************
828 * Get next string from separated list *
829 *************************************************/
831 /* Leading and trailing space is removed from each item. The separator in the
832 list is controlled by the int pointed to by the separator argument as follows:
834 If the value is > 0 it is used as the separator. This is typically used for
835 sublists such as slash-separated options. The value is always a printing
838 (If the value is actually > UCHAR_MAX there is only one item in the list.
839 This is used for some cases when called via functions that sometimes
840 plough through lists, and sometimes are given single items.)
842 If the value is <= 0, the string is inspected for a leading <x, where x is an
843 ispunct() or an iscntrl() character. If found, x is used as the separator. If
846 (a) if separator == 0, ':' is used
847 (b) if separator <0, -separator is used
849 In all cases the value of the separator that is used is written back to the
850 int so that it is used on subsequent calls as we progress through the list.
852 A literal ispunct() separator can be represented in an item by doubling, but
853 there is no way to include an iscntrl() separator as part of the data.
856 listptr points to a pointer to the current start of the list; the
857 pointer gets updated to point after the end of the next item
858 separator a pointer to the separator character in an int (see above)
859 buffer where to put a copy of the next string in the list; or
860 NULL if the next string is returned in new memory
861 Note that if the list is tainted then a provided buffer must be
862 also (else we trap, with a message referencing the callsite).
863 If we do the allocation, taint is handled there.
864 buflen when buffer is not NULL, the size of buffer; otherwise ignored
866 Returns: pointer to buffer, containing the next substring,
867 or NULL if no more substrings
871 string_nextinlist_trc(const uschar **listptr, int *separator, uschar *buffer, int buflen,
872 const uschar * func, int line)
874 int sep = *separator;
875 const uschar *s = *listptr;
880 /* This allows for a fixed specified separator to be an iscntrl() character,
881 but at the time of implementation, this is never the case. However, it's best
882 to be conservative. */
884 while (isspace(*s) && *s != sep) s++;
886 /* A change of separator is permitted, so look for a leading '<' followed by an
887 allowed character. */
891 if (*s == '<' && (ispunct(s[1]) || iscntrl(s[1])))
895 while (isspace(*s) && *s != sep) s++;
898 sep = sep ? -sep : ':';
902 /* An empty string has no list elements */
904 if (!*s) return NULL;
906 /* Note whether whether or not the separator is an iscntrl() character. */
908 sep_is_special = iscntrl(sep);
910 /* Handle the case when a buffer is provided. */
915 if (is_tainted(s) && !is_tainted(buffer))
916 die_tainted(US"string_nextinlist", func, line);
919 if (*s == sep && (*(++s) != sep || sep_is_special)) break;
920 if (p < buflen - 1) buffer[p++] = *s;
922 while (p > 0 && isspace(buffer[p-1])) p--;
926 /* Handle the case when a buffer is not provided. */
932 /* We know that *s != 0 at this point. However, it might be pointing to a
933 separator, which could indicate an empty string, or (if an ispunct()
934 character) could be doubled to indicate a separator character as data at the
935 start of a string. Avoid getting working memory for an empty item. */
938 if (*++s != sep || sep_is_special)
941 return string_copy(US"");
944 /* Not an empty string; the first character is guaranteed to be a data
950 for (ss = s + 1; *ss && *ss != sep; ) ss++;
951 g = string_catn(g, s, ss-s);
953 if (!*s || *++s != sep || sep_is_special) break;
956 /* Trim trailing spaces from the returned string */
958 /* while (g->ptr > 0 && isspace(g->s[g->ptr-1])) g->ptr--; */
959 while ( g->ptr > 0 && isspace(g->s[g->ptr-1])
960 && (g->ptr == 1 || g->s[g->ptr-2] != '\\') )
962 buffer = string_from_gstring(g);
963 gstring_release_unused_trc(g, CCS func, line);
966 /* Update the current pointer and return the new string */
973 static const uschar *
974 Ustrnchr(const uschar * s, int c, unsigned * len)
979 if (!*s) return NULL;
992 /************************************************
993 * Add element to separated list *
994 ************************************************/
995 /* This function is used to build a list, returning an allocated null-terminated
996 growable string. The given element has any embedded separator characters
999 Despite having the same growable-string interface as string_cat() the list is
1000 always returned null-terminated.
1003 list expanding-string for the list that is being built, or NULL
1004 if this is a new list that has no contents yet
1005 sep list separator character
1006 ele new element to be appended to the list
1008 Returns: pointer to the start of the list, changed if copied for expansion.
1012 string_append_listele(gstring * list, uschar sep, const uschar * ele)
1016 if (list && list->ptr)
1017 list = string_catn(list, &sep, 1);
1019 while((sp = Ustrchr(ele, sep)))
1021 list = string_catn(list, ele, sp-ele+1);
1022 list = string_catn(list, &sep, 1);
1025 list = string_cat(list, ele);
1026 (void) string_from_gstring(list);
1032 string_append_listele_n(gstring * list, uschar sep, const uschar * ele,
1037 if (list && list->ptr)
1038 list = string_catn(list, &sep, 1);
1040 while((sp = Ustrnchr(ele, sep, &len)))
1042 list = string_catn(list, ele, sp-ele+1);
1043 list = string_catn(list, &sep, 1);
1047 list = string_catn(list, ele, len);
1048 (void) string_from_gstring(list);
1054 /* A slightly-bogus listmaker utility; the separator is a string so
1055 can be multiple chars - there is no checking for the element content
1056 containing any of the separator. */
1059 string_append2_listele_n(gstring * list, const uschar * sepstr,
1060 const uschar * ele, unsigned len)
1062 if (list && list->ptr)
1063 list = string_cat(list, sepstr);
1065 list = string_catn(list, ele, len);
1066 (void) string_from_gstring(list);
1072 /************************************************/
1073 /* Add more space to a growable-string. The caller should check
1074 first if growth is required. The gstring struct is modified on
1075 return; specifically, the string-base-pointer may have been changed.
1078 g the growable-string
1079 count amount needed for g->ptr to increase by
1083 gstring_grow(gstring * g, int count)
1086 int oldsize = g->size;
1087 BOOL tainted = is_tainted(g->s);
1089 /* Mostly, string_cat() is used to build small strings of a few hundred
1090 characters at most. There are times, however, when the strings are very much
1091 longer (for example, a lookup that returns a vast number of alias addresses).
1092 To try to keep things reasonable, we use increments whose size depends on the
1093 existing length of the string. */
1095 unsigned inc = oldsize < 4096 ? 127 : 1023;
1097 if (g->ptr < 0 || g->ptr > g->size || g->size >= INT_MAX/2)
1098 log_write(0, LOG_MAIN|LOG_PANIC_DIE,
1099 "internal error in gstring_grow (ptr %d size %d)", g->ptr, g->size);
1101 if (count <= 0) return;
1103 if (count >= INT_MAX/2 - g->ptr)
1104 log_write(0, LOG_MAIN|LOG_PANIC_DIE,
1105 "internal error in gstring_grow (ptr %d count %d)", g->ptr, count);
1107 g->size = (p + count + inc + 1) & ~inc; /* one for a NUL */
1109 /* Try to extend an existing allocation. If the result of calling
1110 store_extend() is false, either there isn't room in the current memory block,
1111 or this string is not the top item on the dynamic store stack. We then have
1112 to get a new chunk of store and copy the old string. When building large
1113 strings, it is helpful to call store_release() on the old string, to release
1114 memory blocks that have become empty. (The block will be freed if the string
1115 is at its start.) However, we can do this only if we know that the old string
1116 was the last item on the dynamic memory stack. This is the case if it matches
1119 if (!store_extend(g->s, tainted, oldsize, g->size))
1120 g->s = store_newblock(g->s, tainted, g->size, p);
1125 /*************************************************
1126 * Add chars to string *
1127 *************************************************/
1128 /* This function is used when building up strings of unknown length. Room is
1129 always left for a terminating zero to be added to the string that is being
1130 built. This function does not require the string that is being added to be NUL
1131 terminated, because the number of characters to add is given explicitly. It is
1132 sometimes called to extract parts of other strings.
1135 string points to the start of the string that is being built, or NULL
1136 if this is a new string that has no contents yet
1137 s points to characters to add
1138 count count of characters to add; must not exceed the length of s, if s
1141 Returns: pointer to the start of the string, changed if copied for expansion.
1142 Note that a NUL is not added, though space is left for one. This is
1143 because string_cat() is often called multiple times to build up a
1144 string - there's no point adding the NUL till the end.
1147 /* coverity[+alloc] */
1150 string_catn(gstring * g, const uschar *s, int count)
1153 BOOL srctaint = is_tainted(s);
1156 log_write(0, LOG_MAIN|LOG_PANIC_DIE,
1157 "internal error in string_catn (count %d)", count);
1161 unsigned inc = count < 4096 ? 127 : 1023;
1162 unsigned size = ((count + inc) & ~inc) + 1; /* round up requested count */
1163 g = string_get_tainted(size, srctaint);
1165 else if (srctaint && !is_tainted(g->s))
1166 gstring_rebuffer(g);
1168 if (g->ptr < 0 || g->ptr > g->size)
1169 log_write(0, LOG_MAIN|LOG_PANIC_DIE,
1170 "internal error in string_catn (ptr %d size %d)", g->ptr, g->size);
1173 if (count >= g->size - p)
1174 gstring_grow(g, count);
1176 /* Because we always specify the exact number of characters to copy, we can
1177 use memcpy(), which is likely to be more efficient than strncopy() because the
1178 latter has to check for zero bytes. */
1180 memcpy(g->s + p, s, count);
1187 string_cat(gstring *string, const uschar *s)
1189 return string_catn(string, s, Ustrlen(s));
1194 /*************************************************
1195 * Append strings to another string *
1196 *************************************************/
1198 /* This function can be used to build a string from many other strings.
1199 It calls string_cat() to do the dirty work.
1202 string expanding-string that is being built, or NULL
1203 if this is a new string that has no contents yet
1204 count the number of strings to append
1205 ... "count" uschar* arguments, which must be valid zero-terminated
1208 Returns: pointer to the start of the string, changed if copied for expansion.
1209 The string is not zero-terminated - see string_cat() above.
1212 __inline__ gstring *
1213 string_append(gstring *string, int count, ...)
1217 va_start(ap, count);
1220 uschar *t = va_arg(ap, uschar *);
1221 string = string_cat(string, t);
1231 /*************************************************
1232 * Format a string with length checks *
1233 *************************************************/
1235 /* This function is used to format a string with checking of the length of the
1236 output for all conversions. It protects Exim from absent-mindedness when
1237 calling functions like debug_printf and string_sprintf, and elsewhere. There
1238 are two different entry points to what is actually the same function, depending
1239 on whether the variable length list of data arguments are given explicitly or
1242 The formats are the usual printf() ones, with some omissions (never used) and
1243 three additions for strings: %S forces lower case, %T forces upper case, and
1244 %#s or %#S prints nothing for a NULL string. Without the # "NULL" is printed
1245 (useful in debugging). There is also the addition of %D and %M, which insert
1246 the date in the form used for datestamped log files.
1249 buffer a buffer in which to put the formatted string
1250 buflen the length of the buffer
1251 format the format string - deliberately char * and not uschar *
1252 ... or ap variable list of supplementary arguments
1254 Returns: TRUE if the result fitted in the buffer
1258 string_format_trc(uschar * buffer, int buflen,
1259 const uschar * func, unsigned line, const char * format, ...)
1261 gstring g = { .size = buflen, .ptr = 0, .s = buffer }, *gp;
1263 va_start(ap, format);
1264 gp = string_vformat_trc(&g, func, line, STRING_SPRINTF_BUFFER_SIZE,
1274 /* Build or append to a growing-string, sprintf-style.
1278 func called-from function name, for debug
1279 line called-from file line number, for debug
1280 limit maximum string size
1282 format printf-like format string
1283 ap variable-args pointer
1286 SVFMT_EXTEND buffer can be created or exteded as needed
1287 SVFMT_REBUFFER buffer can be recopied to tainted mem as needed
1288 SVFMT_TAINT_NOCHK do not check inputs for taint
1290 If the "extend" flag is true, the string passed in can be NULL,
1291 empty, or non-empty. Growing is subject to an overall limit given
1292 by the limit argument.
1294 If the "extend" flag is false, the string passed in may not be NULL,
1295 will not be grown, and is usable in the original place after return.
1296 The return value can be NULL to signify overflow.
1298 Returns the possibly-new (if copy for growth or taint-handling was needed)
1299 string, not nul-terminated.
1303 string_vformat_trc(gstring * g, const uschar * func, unsigned line,
1304 unsigned size_limit, unsigned flags, const char *format, va_list ap)
1306 enum ltypes { L_NORMAL=1, L_SHORT=2, L_LONG=3, L_LONGLONG=4, L_LONGDOUBLE=5, L_SIZE=6 };
1308 int width, precision, off, lim, need;
1309 const char * fp = format; /* Deliberately not unsigned */
1310 BOOL dest_tainted = FALSE;
1312 string_datestamp_offset = -1; /* Datestamp not inserted */
1313 string_datestamp_length = 0; /* Datestamp not inserted */
1314 string_datestamp_type = 0; /* Datestamp not inserted */
1316 #ifdef COMPILE_UTILITY
1317 assert(!(flags & SVFMT_EXTEND));
1321 /* Ensure we have a string, to save on checking later */
1322 if (!g) g = string_get(16);
1323 else if (!(flags & SVFMT_TAINT_NOCHK)) dest_tainted = is_tainted(g->s);
1325 if (!(flags & SVFMT_TAINT_NOCHK) && !dest_tainted && is_tainted(format))
1327 #ifndef MACRO_PREDEF
1328 if (!(flags & SVFMT_REBUFFER))
1329 die_tainted(US"string_vformat", func, line);
1331 gstring_rebuffer(g);
1332 dest_tainted = TRUE;
1334 #endif /*!COMPILE_UTILITY*/
1336 lim = g->size - 1; /* leave one for a nul */
1337 off = g->ptr; /* remember initial offset in gstring */
1339 /* Scan the format and handle the insertions */
1343 int length = L_NORMAL;
1346 const char *null = "NULL"; /* ) These variables */
1347 const char *item_start, *s; /* ) are deliberately */
1348 char newformat[16]; /* ) not unsigned */
1349 char * gp = CS g->s + g->ptr; /* ) */
1351 /* Non-% characters just get copied verbatim */
1355 /* Avoid string_copyn() due to COMPILE_UTILITY */
1356 if ((need = g->ptr + 1) > lim)
1358 if (!(flags & SVFMT_EXTEND) || need > size_limit) return NULL;
1362 g->s[g->ptr++] = (uschar) *fp++;
1366 /* Deal with % characters. Pick off the width and precision, for checking
1367 strings, skipping over the flag and modifier characters. */
1370 width = precision = -1;
1372 if (strchr("-+ #0", *(++fp)) != NULL)
1374 if (*fp == '#') null = "";
1378 if (isdigit((uschar)*fp))
1380 width = *fp++ - '0';
1381 while (isdigit((uschar)*fp)) width = width * 10 + *fp++ - '0';
1383 else if (*fp == '*')
1385 width = va_arg(ap, int);
1392 precision = va_arg(ap, int);
1396 for (precision = 0; isdigit((uschar)*fp); fp++)
1397 precision = precision*10 + *fp - '0';
1399 /* Skip over 'h', 'L', 'l', 'll' and 'z', remembering the item length */
1402 { fp++; length = L_SHORT; }
1403 else if (*fp == 'L')
1404 { fp++; length = L_LONGDOUBLE; }
1405 else if (*fp == 'l')
1407 { fp += 2; length = L_LONGLONG; }
1409 { fp++; length = L_LONG; }
1410 else if (*fp == 'z')
1411 { fp++; length = L_SIZE; }
1413 /* Handle each specific format type. */
1418 nptr = va_arg(ap, int *);
1419 *nptr = g->ptr - off;
1427 width = length > L_LONG ? 24 : 12;
1428 if ((need = g->ptr + width) > lim)
1430 if (!(flags & SVFMT_EXTEND) || need >= size_limit) return NULL;
1431 gstring_grow(g, width);
1433 gp = CS g->s + g->ptr;
1435 strncpy(newformat, item_start, fp - item_start);
1436 newformat[fp - item_start] = 0;
1438 /* Short int is promoted to int when passing through ..., so we must use
1439 int for va_arg(). */
1445 g->ptr += sprintf(gp, newformat, va_arg(ap, int)); break;
1447 g->ptr += sprintf(gp, newformat, va_arg(ap, long int)); break;
1449 g->ptr += sprintf(gp, newformat, va_arg(ap, LONGLONG_T)); break;
1451 g->ptr += sprintf(gp, newformat, va_arg(ap, size_t)); break;
1458 if ((need = g->ptr + 24) > lim)
1460 if (!(flags & SVFMT_EXTEND || need >= size_limit)) return NULL;
1461 gstring_grow(g, 24);
1463 gp = CS g->s + g->ptr;
1465 /* sprintf() saying "(nil)" for a null pointer seems unreliable.
1466 Handle it explicitly. */
1467 if ((ptr = va_arg(ap, void *)))
1469 strncpy(newformat, item_start, fp - item_start);
1470 newformat[fp - item_start] = 0;
1471 g->ptr += sprintf(gp, newformat, ptr);
1474 g->ptr += sprintf(gp, "(nil)");
1478 /* %f format is inherently insecure if the numbers that it may be
1479 handed are unknown (e.g. 1e300). However, in Exim, %f is used for
1480 printing load averages, and these are actually stored as integers
1481 (load average * 1000) so the size of the numbers is constrained.
1482 It is also used for formatting sending rates, where the simplicity
1483 of the format prevents overflow. */
1490 if (precision < 0) precision = 6;
1491 if ((need = g->ptr + precision + 8) > lim)
1493 if (!(flags & SVFMT_EXTEND || need >= size_limit)) return NULL;
1494 gstring_grow(g, precision+8);
1496 gp = CS g->s + g->ptr;
1498 strncpy(newformat, item_start, fp - item_start);
1499 newformat[fp-item_start] = 0;
1500 if (length == L_LONGDOUBLE)
1501 g->ptr += sprintf(gp, newformat, va_arg(ap, long double));
1503 g->ptr += sprintf(gp, newformat, va_arg(ap, double));
1509 if ((need = g->ptr + 1) > lim)
1511 if (!(flags & SVFMT_EXTEND || need >= size_limit)) return NULL;
1515 g->s[g->ptr++] = (uschar) '%';
1519 if ((need = g->ptr + 1) > lim)
1521 if (!(flags & SVFMT_EXTEND || need >= size_limit)) return NULL;
1525 g->s[g->ptr++] = (uschar) va_arg(ap, int);
1528 case 'D': /* Insert daily datestamp for log file names */
1529 s = CS tod_stamp(tod_log_datestamp_daily);
1530 string_datestamp_offset = g->ptr; /* Passed back via global */
1531 string_datestamp_length = Ustrlen(s); /* Passed back via global */
1532 string_datestamp_type = tod_log_datestamp_daily;
1533 slen = string_datestamp_length;
1536 case 'M': /* Insert monthly datestamp for log file names */
1537 s = CS tod_stamp(tod_log_datestamp_monthly);
1538 string_datestamp_offset = g->ptr; /* Passed back via global */
1539 string_datestamp_length = Ustrlen(s); /* Passed back via global */
1540 string_datestamp_type = tod_log_datestamp_monthly;
1541 slen = string_datestamp_length;
1545 case 'S': /* Forces *lower* case */
1546 case 'T': /* Forces *upper* case */
1547 s = va_arg(ap, char *);
1552 if (!(flags & SVFMT_TAINT_NOCHK) && !dest_tainted && is_tainted(s))
1553 if (flags & SVFMT_REBUFFER)
1555 gstring_rebuffer(g);
1556 gp = CS g->s + g->ptr;
1557 dest_tainted = TRUE;
1559 #ifndef MACRO_PREDEF
1561 die_tainted(US"string_vformat", func, line);
1564 INSERT_STRING: /* Come to from %D or %M above */
1567 BOOL truncated = FALSE;
1569 /* If the width is specified, check that there is a precision
1570 set; if not, set it to the width to prevent overruns of long
1575 if (precision < 0) precision = width;
1578 /* If a width is not specified and the precision is specified, set
1579 the width to the precision, or the string length if shorted. */
1581 else if (precision >= 0)
1582 width = precision < slen ? precision : slen;
1584 /* If neither are specified, set them both to the string length. */
1587 width = precision = slen;
1589 if ((need = g->ptr + width) >= size_limit || !(flags & SVFMT_EXTEND))
1591 if (g->ptr == lim) return NULL;
1595 width = precision = lim - g->ptr - 1;
1596 if (width < 0) width = 0;
1597 if (precision < 0) precision = 0;
1600 else if (need > lim)
1602 gstring_grow(g, width);
1604 gp = CS g->s + g->ptr;
1607 g->ptr += sprintf(gp, "%*.*s", width, precision, s);
1609 while (*gp) { *gp = tolower(*gp); gp++; }
1610 else if (fp[-1] == 'T')
1611 while (*gp) { *gp = toupper(*gp); gp++; }
1613 if (truncated) return NULL;
1617 /* Some things are never used in Exim; also catches junk. */
1620 strncpy(newformat, item_start, fp - item_start);
1621 newformat[fp-item_start] = 0;
1622 log_write(0, LOG_MAIN|LOG_PANIC_DIE, "string_format: unsupported type "
1623 "in \"%s\" in \"%s\"", newformat, format);
1628 if (g->ptr > g->size)
1629 log_write(0, LOG_MAIN|LOG_PANIC_DIE,
1630 "string_format internal error: caller %s %d", func, line);
1636 #ifndef COMPILE_UTILITY
1637 /*************************************************
1638 * Generate an "open failed" message *
1639 *************************************************/
1641 /* This function creates a message after failure to open a file. It includes a
1642 string supplied as data, adds the strerror() text, and if the failure was
1643 "Permission denied", reads and includes the euid and egid.
1646 format a text format string - deliberately not uschar *
1647 ... arguments for the format string
1649 Returns: a message, in dynamic store
1653 string_open_failed_trc(const uschar * func, unsigned line,
1654 const char *format, ...)
1657 gstring * g = string_get(1024);
1659 g = string_catn(g, US"failed to open ", 15);
1661 /* Use the checked formatting routine to ensure that the buffer
1662 does not overflow. It should not, since this is called only for internally
1663 specified messages. If it does, the message just gets truncated, and there
1664 doesn't seem much we can do about that. */
1666 va_start(ap, format);
1667 (void) string_vformat_trc(g, func, line, STRING_SPRINTF_BUFFER_SIZE,
1668 SVFMT_REBUFFER, format, ap);
1671 g = string_catn(g, US": ", 2);
1672 g = string_cat(g, US strerror(errno));
1674 if (errno == EACCES)
1676 int save_errno = errno;
1677 g = string_fmt_append(g, " (euid=%ld egid=%ld)",
1678 (long int)geteuid(), (long int)getegid());
1681 gstring_release_unused(g);
1682 return string_from_gstring(g);
1689 /* qsort(3), currently used to sort the environment variables
1690 for -bP environment output, needs a function to compare two pointers to string
1691 pointers. Here it is. */
1694 string_compare_by_pointer(const void *a, const void *b)
1696 return Ustrcmp(* CUSS a, * CUSS b);
1698 #endif /* COMPILE_UTILITY */
1703 /*************************************************
1704 **************************************************
1705 * Stand-alone test program *
1706 **************************************************
1707 *************************************************/
1714 printf("Testing is_ip_address\n");
1717 while (fgets(CS buffer, sizeof(buffer), stdin) != NULL)
1720 buffer[Ustrlen(buffer) - 1] = 0;
1721 printf("%d\n", string_is_ip_address(buffer, NULL));
1722 printf("%d %d %s\n", string_is_ip_address(buffer, &offset), offset, buffer);
1725 printf("Testing string_nextinlist\n");
1727 while (fgets(CS buffer, sizeof(buffer), stdin) != NULL)
1729 uschar *list = buffer;
1737 sep1 = sep2 = list[1];
1744 uschar *item1 = string_nextinlist(&lp1, &sep1, item, sizeof(item));
1745 uschar *item2 = string_nextinlist(&lp2, &sep2, NULL, 0);
1747 if (item1 == NULL && item2 == NULL) break;
1748 if (item == NULL || item2 == NULL || Ustrcmp(item1, item2) != 0)
1750 printf("***ERROR\nitem1=\"%s\"\nitem2=\"%s\"\n",
1751 (item1 == NULL)? "NULL" : CS item1,
1752 (item2 == NULL)? "NULL" : CS item2);
1755 else printf(" \"%s\"\n", CS item1);
1759 /* This is a horrible lash-up, but it serves its purpose. */
1761 printf("Testing string_format\n");
1763 while (fgets(CS buffer, sizeof(buffer), stdin) != NULL)
1766 long long llargs[3];
1776 buffer[Ustrlen(buffer) - 1] = 0;
1778 s = Ustrchr(buffer, ',');
1779 if (s == NULL) s = buffer + Ustrlen(buffer);
1781 Ustrncpy(format, buffer, s - buffer);
1782 format[s-buffer] = 0;
1789 s = Ustrchr(ss, ',');
1790 if (s == NULL) s = ss + Ustrlen(ss);
1794 Ustrncpy(outbuf, ss, s-ss);
1795 if (Ustrchr(outbuf, '.') != NULL)
1798 dargs[n++] = Ustrtod(outbuf, NULL);
1800 else if (Ustrstr(outbuf, "ll") != NULL)
1803 llargs[n++] = strtoull(CS outbuf, NULL, 10);
1807 args[n++] = (void *)Uatoi(outbuf);
1811 else if (Ustrcmp(ss, "*") == 0)
1813 args[n++] = (void *)(&count);
1819 uschar *sss = malloc(s - ss + 1);
1820 Ustrncpy(sss, ss, s-ss);
1827 if (!dflag && !llflag)
1828 printf("%s\n", string_format(outbuf, sizeof(outbuf), CS format,
1829 args[0], args[1], args[2])? "True" : "False");
1832 printf("%s\n", string_format(outbuf, sizeof(outbuf), CS format,
1833 dargs[0], dargs[1], dargs[2])? "True" : "False");
1835 else printf("%s\n", string_format(outbuf, sizeof(outbuf), CS format,
1836 llargs[0], llargs[1], llargs[2])? "True" : "False");
1838 printf("%s\n", CS outbuf);
1839 if (countset) printf("count=%d\n", count);
1846 /* End of string.c */