1 /*************************************************
2 * Exim - an Internet mail transport agent *
3 *************************************************/
5 /* Copyright (c) University of Cambridge 1995 - 2018 */
6 /* See the file NOTICE for conditions of use and distribution. */
8 /* Miscellaneous string-handling functions. Some are not required for
9 utilities and tests, and are cut out by the COMPILE_UTILITY macro. */
15 static void gstring_rebuffer(gstring * g);
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 allow_tab TRUE.
288 allow_tab TRUE to allow tab as a printing character
290 Returns: string with non-printers encoded as printing sequences
294 string_printing2(const uschar *s, BOOL allow_tab)
296 int nonprintcount = 0;
304 if (!mac_isprint(c) || (!allow_tab && c == '\t')) nonprintcount++;
308 if (nonprintcount == 0) return s;
310 /* Get a new block of store guaranteed big enough to hold the
313 ss = store_get(length + nonprintcount * 3 + 1, is_tainted(s));
315 /* Copy everything, escaping non printers. */
323 if (mac_isprint(c) && (allow_tab || c != '\t')) *tt++ = *t++; else
328 case '\n': *tt++ = 'n'; break;
329 case '\r': *tt++ = 'r'; break;
330 case '\b': *tt++ = 'b'; break;
331 case '\v': *tt++ = 'v'; break;
332 case '\f': *tt++ = 'f'; break;
333 case '\t': *tt++ = 't'; break;
334 default: sprintf(CS tt, "%03o", *t); tt += 3; break;
342 #endif /* COMPILE_UTILITY */
344 /*************************************************
345 * Undo printing escapes in string *
346 *************************************************/
348 /* This function is the reverse of string_printing2. It searches for
349 backslash characters and if any are found, it makes a new copy of the
350 string with escape sequences parsed. Otherwise it returns the original
356 Returns: string with printing escapes parsed back
360 string_unprinting(uschar *s)
362 uschar *p, *q, *r, *ss;
365 p = Ustrchr(s, '\\');
368 len = Ustrlen(s) + 1;
369 ss = store_get(len, is_tainted(s));
383 *q++ = string_interpret_escape((const uschar **)&p);
388 r = Ustrchr(p, '\\');
414 #if (defined(HAVE_LOCAL_SCAN) || defined(EXPAND_DLFUNC)) \
415 && !defined(MACRO_PREDEF) && !defined(COMPILE_UTILITY)
416 /*************************************************
417 * Copy and save string *
418 *************************************************/
421 Argument: string to copy
422 Returns: copy of string in new store with the same taint status
426 string_copy_function(const uschar *s)
428 return string_copy_taint(s, is_tainted(s));
431 /* This function assumes that memcpy() is faster than strcpy().
432 As above, but explicitly specifying the result taint status
436 string_copy_taint_function(const uschar * s, BOOL tainted)
438 int len = Ustrlen(s) + 1;
439 uschar *ss = store_get(len, tainted);
446 /*************************************************
447 * Copy and save string, given length *
448 *************************************************/
450 /* It is assumed the data contains no zeros. A zero is added
455 n number of characters
457 Returns: copy of string in new store
461 string_copyn_function(const uschar *s, int n)
463 uschar *ss = store_get(n + 1, is_tainted(s));
471 /*************************************************
472 * Copy and save string in malloc'd store *
473 *************************************************/
475 /* This function assumes that memcpy() is faster than strcpy().
477 Argument: string to copy
478 Returns: copy of string in new store
482 string_copy_malloc(const uschar *s)
484 int len = Ustrlen(s) + 1;
485 uschar *ss = store_malloc(len);
492 /*************************************************
493 * Copy string if long, inserting newlines *
494 *************************************************/
496 /* If the given string is longer than 75 characters, it is copied, and within
497 the copy, certain space characters are converted into newlines.
499 Argument: pointer to the string
500 Returns: pointer to the possibly altered string
504 string_split_message(uschar *msg)
508 if (msg == NULL || Ustrlen(msg) <= 75) return msg;
509 s = ss = msg = string_copy(msg);
514 while (i < 75 && *ss != 0 && *ss != '\n') ss++, i++;
526 if (t[-1] == ':') { tt = t; break; }
527 if (tt == NULL) tt = t;
531 if (tt == NULL) /* Can't split behind - try ahead */
536 if (*t == ' ' || *t == '\n')
542 if (tt == NULL) break; /* Can't find anywhere to split */
553 /*************************************************
554 * Copy returned DNS domain name, de-escaping *
555 *************************************************/
557 /* If a domain name contains top-bit characters, some resolvers return
558 the fully qualified name with those characters turned into escapes. The
559 convention is a backslash followed by _decimal_ digits. We convert these
560 back into the original binary values. This will be relevant when
561 allow_utf8_domains is set true and UTF-8 characters are used in domain
562 names. Backslash can also be used to escape other characters, though we
563 shouldn't come across them in domain names.
565 Argument: the domain name string
566 Returns: copy of string in new store, de-escaped
570 string_copy_dnsdomain(uschar *s)
573 uschar *ss = yield = store_get(Ustrlen(s) + 1, is_tainted(s));
581 else if (isdigit(s[1]))
583 *ss++ = (s[1] - '0')*100 + (s[2] - '0')*10 + s[3] - '0';
586 else if (*(++s) != 0)
597 #ifndef COMPILE_UTILITY
598 /*************************************************
599 * Copy space-terminated or quoted string *
600 *************************************************/
602 /* This function copies from a string until its end, or until whitespace is
603 encountered, unless the string begins with a double quote, in which case the
604 terminating quote is sought, and escaping within the string is done. The length
605 of a de-quoted string can be no longer than the original, since escaping always
606 turns n characters into 1 character.
608 Argument: pointer to the pointer to the first character, which gets updated
609 Returns: the new string
613 string_dequote(const uschar **sptr)
615 const uschar *s = *sptr;
618 /* First find the end of the string */
621 while (*s != 0 && !isspace(*s)) s++;
625 while (*s && *s != '\"')
627 if (*s == '\\') (void)string_interpret_escape(&s);
633 /* Get enough store to copy into */
635 t = yield = store_get(s - *sptr + 1, is_tainted(*sptr));
641 while (*s != 0 && !isspace(*s)) *t++ = *s++;
645 while (*s != 0 && *s != '\"')
647 *t++ = *s == '\\' ? string_interpret_escape(&s) : *s;
653 /* Update the pointer and return the terminated copy */
659 #endif /* COMPILE_UTILITY */
663 /*************************************************
664 * Format a string and save it *
665 *************************************************/
667 /* The formatting is done by string_vformat, which checks the length of
668 everything. Taint is taken from the worst of the arguments.
671 format a printf() format - deliberately char * rather than uschar *
672 because it will most usually be a literal string
673 ... arguments for format
675 Returns: pointer to fresh piece of store containing sprintf'ed string
679 string_sprintf_trc(const char *format, const uschar * func, unsigned line, ...)
685 g = string_vformat_trc(NULL, func, line, STRING_SPRINTF_BUFFER_SIZE,
686 SVFMT_REBUFFER|SVFMT_EXTEND, format, ap);
690 log_write(0, LOG_MAIN|LOG_PANIC_DIE,
691 "string_sprintf expansion was longer than %d; format string was (%s)\n"
692 " called from %s %d\n",
693 STRING_SPRINTF_BUFFER_SIZE, format, func, line);
695 gstring_release_unused(g);
696 return string_from_gstring(g);
701 /*************************************************
702 * Case-independent strncmp() function *
703 *************************************************/
709 n number of characters to compare
711 Returns: < 0, = 0, or > 0, according to the comparison
715 strncmpic(const uschar *s, const uschar *t, int n)
719 int c = tolower(*s++) - tolower(*t++);
726 /*************************************************
727 * Case-independent strcmp() function *
728 *************************************************/
735 Returns: < 0, = 0, or > 0, according to the comparison
739 strcmpic(const uschar *s, const uschar *t)
743 int c = tolower(*s++) - tolower(*t++);
744 if (c != 0) return c;
750 /*************************************************
751 * Case-independent strstr() function *
752 *************************************************/
754 /* The third argument specifies whether whitespace is required
755 to follow the matched string.
759 t substring to search for
760 space_follows if TRUE, match only if whitespace follows
762 Returns: pointer to substring in string, or NULL if not found
766 strstric(uschar *s, uschar *t, BOOL space_follows)
769 uschar *yield = NULL;
770 int cl = tolower(*p);
771 int cu = toupper(*p);
775 if (*s == cl || *s == cu)
777 if (yield == NULL) yield = s;
780 if (!space_follows || s[1] == ' ' || s[1] == '\n' ) return yield;
788 else if (yield != NULL)
802 #ifdef COMPILE_UTILITY
803 /* Dummy version for this function; it should never be called */
805 gstring_grow(gstring * g, int count)
813 #ifndef COMPILE_UTILITY
814 /*************************************************
815 * Get next string from separated list *
816 *************************************************/
818 /* Leading and trailing space is removed from each item. The separator in the
819 list is controlled by the int pointed to by the separator argument as follows:
821 If the value is > 0 it is used as the separator. This is typically used for
822 sublists such as slash-separated options. The value is always a printing
825 (If the value is actually > UCHAR_MAX there is only one item in the list.
826 This is used for some cases when called via functions that sometimes
827 plough through lists, and sometimes are given single items.)
829 If the value is <= 0, the string is inspected for a leading <x, where x is an
830 ispunct() or an iscntrl() character. If found, x is used as the separator. If
833 (a) if separator == 0, ':' is used
834 (b) if separator <0, -separator is used
836 In all cases the value of the separator that is used is written back to the
837 int so that it is used on subsequent calls as we progress through the list.
839 A literal ispunct() separator can be represented in an item by doubling, but
840 there is no way to include an iscntrl() separator as part of the data.
843 listptr points to a pointer to the current start of the list; the
844 pointer gets updated to point after the end of the next item
845 separator a pointer to the separator character in an int (see above)
846 buffer where to put a copy of the next string in the list; or
847 NULL if the next string is returned in new memory
848 buflen when buffer is not NULL, the size of buffer; otherwise ignored
850 Returns: pointer to buffer, containing the next substring,
851 or NULL if no more substrings
855 string_nextinlist(const uschar **listptr, int *separator, uschar *buffer, int buflen)
857 int sep = *separator;
858 const uschar *s = *listptr;
863 /* This allows for a fixed specified separator to be an iscntrl() character,
864 but at the time of implementation, this is never the case. However, it's best
865 to be conservative. */
867 while (isspace(*s) && *s != sep) s++;
869 /* A change of separator is permitted, so look for a leading '<' followed by an
870 allowed character. */
874 if (*s == '<' && (ispunct(s[1]) || iscntrl(s[1])))
878 while (isspace(*s) && *s != sep) s++;
881 sep = sep ? -sep : ':';
885 /* An empty string has no list elements */
887 if (!*s) return NULL;
889 /* Note whether whether or not the separator is an iscntrl() character. */
891 sep_is_special = iscntrl(sep);
893 /* Handle the case when a buffer is provided. */
900 if (*s == sep && (*(++s) != sep || sep_is_special)) break;
901 if (p < buflen - 1) buffer[p++] = *s;
903 while (p > 0 && isspace(buffer[p-1])) p--;
907 /* Handle the case when a buffer is not provided. */
913 /* We know that *s != 0 at this point. However, it might be pointing to a
914 separator, which could indicate an empty string, or (if an ispunct()
915 character) could be doubled to indicate a separator character as data at the
916 start of a string. Avoid getting working memory for an empty item. */
921 if (*s != sep || sep_is_special)
924 return string_copy(US"");
928 /* Not an empty string; the first character is guaranteed to be a data
934 for (ss = s + 1; *ss && *ss != sep; ) ss++;
935 g = string_catn(g, s, ss-s);
937 if (!*s || *++s != sep || sep_is_special) break;
939 while (g->ptr > 0 && isspace(g->s[g->ptr-1])) g->ptr--;
940 buffer = string_from_gstring(g);
941 gstring_release_unused(g);
944 /* Update the current pointer and return the new string */
951 static const uschar *
952 Ustrnchr(const uschar * s, int c, unsigned * len)
957 if (!*s) return NULL;
970 /************************************************
971 * Add element to separated list *
972 ************************************************/
973 /* This function is used to build a list, returning an allocated null-terminated
974 growable string. The given element has any embedded separator characters
977 Despite having the same growable-string interface as string_cat() the list is
978 always returned null-terminated.
981 list expanding-string for the list that is being built, or NULL
982 if this is a new list that has no contents yet
983 sep list separator character
984 ele new element to be appended to the list
986 Returns: pointer to the start of the list, changed if copied for expansion.
990 string_append_listele(gstring * list, uschar sep, const uschar * ele)
994 if (list && list->ptr)
995 list = string_catn(list, &sep, 1);
997 while((sp = Ustrchr(ele, sep)))
999 list = string_catn(list, ele, sp-ele+1);
1000 list = string_catn(list, &sep, 1);
1003 list = string_cat(list, ele);
1004 (void) string_from_gstring(list);
1010 string_append_listele_n(gstring * list, uschar sep, const uschar * ele,
1015 if (list && list->ptr)
1016 list = string_catn(list, &sep, 1);
1018 while((sp = Ustrnchr(ele, sep, &len)))
1020 list = string_catn(list, ele, sp-ele+1);
1021 list = string_catn(list, &sep, 1);
1025 list = string_catn(list, ele, len);
1026 (void) string_from_gstring(list);
1032 /* A slightly-bogus listmaker utility; the separator is a string so
1033 can be multiple chars - there is no checking for the element content
1034 containing any of the separator. */
1037 string_append2_listele_n(gstring * list, const uschar * sepstr,
1038 const uschar * ele, unsigned len)
1040 if (list && list->ptr)
1041 list = string_cat(list, sepstr);
1043 list = string_catn(list, ele, len);
1044 (void) string_from_gstring(list);
1050 /************************************************/
1051 /* Add more space to a growable-string. The caller should check
1052 first if growth is required. The gstring struct is modified on
1053 return; specifically, the string-base-pointer may have been changed.
1056 g the growable-string
1057 count amount needed for g->ptr to increase by
1061 gstring_grow(gstring * g, int count)
1064 int oldsize = g->size;
1065 BOOL tainted = is_tainted(g->s);
1067 /* Mostly, string_cat() is used to build small strings of a few hundred
1068 characters at most. There are times, however, when the strings are very much
1069 longer (for example, a lookup that returns a vast number of alias addresses).
1070 To try to keep things reasonable, we use increments whose size depends on the
1071 existing length of the string. */
1073 unsigned inc = oldsize < 4096 ? 127 : 1023;
1075 if (count <= 0) return;
1076 g->size = (p + count + inc + 1) & ~inc; /* one for a NUL */
1078 /* Try to extend an existing allocation. If the result of calling
1079 store_extend() is false, either there isn't room in the current memory block,
1080 or this string is not the top item on the dynamic store stack. We then have
1081 to get a new chunk of store and copy the old string. When building large
1082 strings, it is helpful to call store_release() on the old string, to release
1083 memory blocks that have become empty. (The block will be freed if the string
1084 is at its start.) However, we can do this only if we know that the old string
1085 was the last item on the dynamic memory stack. This is the case if it matches
1088 if (!store_extend(g->s, tainted, oldsize, g->size))
1089 g->s = store_newblock(g->s, tainted, g->size, p);
1094 /*************************************************
1095 * Add chars to string *
1096 *************************************************/
1097 /* This function is used when building up strings of unknown length. Room is
1098 always left for a terminating zero to be added to the string that is being
1099 built. This function does not require the string that is being added to be NUL
1100 terminated, because the number of characters to add is given explicitly. It is
1101 sometimes called to extract parts of other strings.
1104 string points to the start of the string that is being built, or NULL
1105 if this is a new string that has no contents yet
1106 s points to characters to add
1107 count count of characters to add; must not exceed the length of s, if s
1110 Returns: pointer to the start of the string, changed if copied for expansion.
1111 Note that a NUL is not added, though space is left for one. This is
1112 because string_cat() is often called multiple times to build up a
1113 string - there's no point adding the NUL till the end.
1116 /* coverity[+alloc] */
1119 string_catn(gstring * g, const uschar *s, int count)
1122 BOOL srctaint = is_tainted(s);
1126 unsigned inc = count < 4096 ? 127 : 1023;
1127 unsigned size = ((count + inc) & ~inc) + 1;
1128 g = string_get_tainted(size, srctaint);
1130 else if (srctaint && !is_tainted(g->s))
1131 gstring_rebuffer(g);
1134 if (p + count >= g->size)
1135 gstring_grow(g, count);
1137 /* Because we always specify the exact number of characters to copy, we can
1138 use memcpy(), which is likely to be more efficient than strncopy() because the
1139 latter has to check for zero bytes. */
1141 memcpy(g->s + p, s, count);
1148 string_cat(gstring *string, const uschar *s)
1150 return string_catn(string, s, Ustrlen(s));
1155 /*************************************************
1156 * Append strings to another string *
1157 *************************************************/
1159 /* This function can be used to build a string from many other strings.
1160 It calls string_cat() to do the dirty work.
1163 string expanding-string that is being built, or NULL
1164 if this is a new string that has no contents yet
1165 count the number of strings to append
1166 ... "count" uschar* arguments, which must be valid zero-terminated
1169 Returns: pointer to the start of the string, changed if copied for expansion.
1170 The string is not zero-terminated - see string_cat() above.
1173 __inline__ gstring *
1174 string_append(gstring *string, int count, ...)
1178 va_start(ap, count);
1181 uschar *t = va_arg(ap, uschar *);
1182 string = string_cat(string, t);
1192 /*************************************************
1193 * Format a string with length checks *
1194 *************************************************/
1196 /* This function is used to format a string with checking of the length of the
1197 output for all conversions. It protects Exim from absent-mindedness when
1198 calling functions like debug_printf and string_sprintf, and elsewhere. There
1199 are two different entry points to what is actually the same function, depending
1200 on whether the variable length list of data arguments are given explicitly or
1203 The formats are the usual printf() ones, with some omissions (never used) and
1204 three additions for strings: %S forces lower case, %T forces upper case, and
1205 %#s or %#S prints nothing for a NULL string. Without the # "NULL" is printed
1206 (useful in debugging). There is also the addition of %D and %M, which insert
1207 the date in the form used for datestamped log files.
1210 buffer a buffer in which to put the formatted string
1211 buflen the length of the buffer
1212 format the format string - deliberately char * and not uschar *
1213 ... or ap variable list of supplementary arguments
1215 Returns: TRUE if the result fitted in the buffer
1219 string_format_trc(uschar * buffer, int buflen,
1220 const uschar * func, unsigned line, const char * format, ...)
1222 gstring g = { .size = buflen, .ptr = 0, .s = buffer }, *gp;
1224 va_start(ap, format);
1225 gp = string_vformat_trc(&g, func, line, STRING_SPRINTF_BUFFER_SIZE,
1234 /* Copy the content of a string to tainted memory */
1236 gstring_rebuffer(gstring * g)
1238 uschar * s = store_get(g->size, TRUE);
1239 memcpy(s, g->s, g->ptr);
1245 /* Build or append to a growing-string, sprintf-style.
1247 If the "extend" flag is true, the string passed in can be NULL,
1248 empty, or non-empty. Growing is subject to an overall limit given
1249 by the size_limit argument.
1251 If the "extend" flag is false, the string passed in may not be NULL,
1252 will not be grown, and is usable in the original place after return.
1253 The return value can be NULL to signify overflow.
1255 Returns the possibly-new (if copy for growth or taint-handling was needed)
1256 string, not nul-terminated.
1260 string_vformat_trc(gstring * g, const uschar * func, unsigned line,
1261 unsigned size_limit, unsigned flags, const char *format, va_list ap)
1263 enum ltypes { L_NORMAL=1, L_SHORT=2, L_LONG=3, L_LONGLONG=4, L_LONGDOUBLE=5, L_SIZE=6 };
1265 int width, precision, off, lim, need;
1266 const char * fp = format; /* Deliberately not unsigned */
1267 BOOL dest_tainted = FALSE;
1269 string_datestamp_offset = -1; /* Datestamp not inserted */
1270 string_datestamp_length = 0; /* Datestamp not inserted */
1271 string_datestamp_type = 0; /* Datestamp not inserted */
1273 #ifdef COMPILE_UTILITY
1274 assert(!(flags & SVFMT_EXTEND));
1278 /* Ensure we have a string, to save on checking later */
1279 if (!g) g = string_get(16);
1280 else if (!(flags & SVFMT_TAINT_NOCHK)) dest_tainted = is_tainted(g->s);
1282 if (!(flags & SVFMT_TAINT_NOCHK) && !dest_tainted && is_tainted(format))
1284 #ifndef MACRO_PREDEF
1285 if (!(flags & SVFMT_REBUFFER))
1286 die_tainted(US"string_vformat", func, line);
1288 gstring_rebuffer(g);
1289 dest_tainted = TRUE;
1291 #endif /*!COMPILE_UTILITY*/
1293 lim = g->size - 1; /* leave one for a nul */
1294 off = g->ptr; /* remember initial offset in gstring */
1296 /* Scan the format and handle the insertions */
1300 int length = L_NORMAL;
1303 const char *null = "NULL"; /* ) These variables */
1304 const char *item_start, *s; /* ) are deliberately */
1305 char newformat[16]; /* ) not unsigned */
1306 char * gp = CS g->s + g->ptr; /* ) */
1308 /* Non-% characters just get copied verbatim */
1312 /* Avoid string_copyn() due to COMPILE_UTILITY */
1313 if ((need = g->ptr + 1) > lim)
1315 if (!(flags & SVFMT_EXTEND) || need > size_limit) return NULL;
1319 g->s[g->ptr++] = (uschar) *fp++;
1323 /* Deal with % characters. Pick off the width and precision, for checking
1324 strings, skipping over the flag and modifier characters. */
1327 width = precision = -1;
1329 if (strchr("-+ #0", *(++fp)) != NULL)
1331 if (*fp == '#') null = "";
1335 if (isdigit((uschar)*fp))
1337 width = *fp++ - '0';
1338 while (isdigit((uschar)*fp)) width = width * 10 + *fp++ - '0';
1340 else if (*fp == '*')
1342 width = va_arg(ap, int);
1349 precision = va_arg(ap, int);
1353 for (precision = 0; isdigit((uschar)*fp); fp++)
1354 precision = precision*10 + *fp - '0';
1356 /* Skip over 'h', 'L', 'l', 'll' and 'z', remembering the item length */
1359 { fp++; length = L_SHORT; }
1360 else if (*fp == 'L')
1361 { fp++; length = L_LONGDOUBLE; }
1362 else if (*fp == 'l')
1364 { fp += 2; length = L_LONGLONG; }
1366 { fp++; length = L_LONG; }
1367 else if (*fp == 'z')
1368 { fp++; length = L_SIZE; }
1370 /* Handle each specific format type. */
1375 nptr = va_arg(ap, int *);
1376 *nptr = g->ptr - off;
1384 width = length > L_LONG ? 24 : 12;
1385 if ((need = g->ptr + width) > lim)
1387 if (!(flags & SVFMT_EXTEND) || need >= size_limit) return NULL;
1388 gstring_grow(g, width);
1390 gp = CS g->s + g->ptr;
1392 strncpy(newformat, item_start, fp - item_start);
1393 newformat[fp - item_start] = 0;
1395 /* Short int is promoted to int when passing through ..., so we must use
1396 int for va_arg(). */
1402 g->ptr += sprintf(gp, newformat, va_arg(ap, int)); break;
1404 g->ptr += sprintf(gp, newformat, va_arg(ap, long int)); break;
1406 g->ptr += sprintf(gp, newformat, va_arg(ap, LONGLONG_T)); break;
1408 g->ptr += sprintf(gp, newformat, va_arg(ap, size_t)); break;
1415 if ((need = g->ptr + 24) > lim)
1417 if (!(flags & SVFMT_EXTEND || need >= size_limit)) return NULL;
1418 gstring_grow(g, 24);
1420 gp = CS g->s + g->ptr;
1422 /* sprintf() saying "(nil)" for a null pointer seems unreliable.
1423 Handle it explicitly. */
1424 if ((ptr = va_arg(ap, void *)))
1426 strncpy(newformat, item_start, fp - item_start);
1427 newformat[fp - item_start] = 0;
1428 g->ptr += sprintf(gp, newformat, ptr);
1431 g->ptr += sprintf(gp, "(nil)");
1435 /* %f format is inherently insecure if the numbers that it may be
1436 handed are unknown (e.g. 1e300). However, in Exim, %f is used for
1437 printing load averages, and these are actually stored as integers
1438 (load average * 1000) so the size of the numbers is constrained.
1439 It is also used for formatting sending rates, where the simplicity
1440 of the format prevents overflow. */
1447 if (precision < 0) precision = 6;
1448 if ((need = g->ptr + precision + 8) > lim)
1450 if (!(flags & SVFMT_EXTEND || need >= size_limit)) return NULL;
1451 gstring_grow(g, precision+8);
1453 gp = CS g->s + g->ptr;
1455 strncpy(newformat, item_start, fp - item_start);
1456 newformat[fp-item_start] = 0;
1457 if (length == L_LONGDOUBLE)
1458 g->ptr += sprintf(gp, newformat, va_arg(ap, long double));
1460 g->ptr += sprintf(gp, newformat, va_arg(ap, double));
1466 if ((need = g->ptr + 1) > lim)
1468 if (!(flags & SVFMT_EXTEND || need >= size_limit)) return NULL;
1472 g->s[g->ptr++] = (uschar) '%';
1476 if ((need = g->ptr + 1) > lim)
1478 if (!(flags & SVFMT_EXTEND || need >= size_limit)) return NULL;
1482 g->s[g->ptr++] = (uschar) va_arg(ap, int);
1485 case 'D': /* Insert daily datestamp for log file names */
1486 s = CS tod_stamp(tod_log_datestamp_daily);
1487 string_datestamp_offset = g->ptr; /* Passed back via global */
1488 string_datestamp_length = Ustrlen(s); /* Passed back via global */
1489 string_datestamp_type = tod_log_datestamp_daily;
1490 slen = string_datestamp_length;
1493 case 'M': /* Insert monthly datestamp for log file names */
1494 s = CS tod_stamp(tod_log_datestamp_monthly);
1495 string_datestamp_offset = g->ptr; /* Passed back via global */
1496 string_datestamp_length = Ustrlen(s); /* Passed back via global */
1497 string_datestamp_type = tod_log_datestamp_monthly;
1498 slen = string_datestamp_length;
1502 case 'S': /* Forces *lower* case */
1503 case 'T': /* Forces *upper* case */
1504 s = va_arg(ap, char *);
1509 if (!(flags & SVFMT_TAINT_NOCHK) && !dest_tainted && is_tainted(s))
1510 if (flags & SVFMT_REBUFFER)
1512 gstring_rebuffer(g);
1513 gp = CS g->s + g->ptr;
1514 dest_tainted = TRUE;
1516 #ifndef MACRO_PREDEF
1518 die_tainted(US"string_vformat", func, line);
1521 INSERT_STRING: /* Come to from %D or %M above */
1524 BOOL truncated = FALSE;
1526 /* If the width is specified, check that there is a precision
1527 set; if not, set it to the width to prevent overruns of long
1532 if (precision < 0) precision = width;
1535 /* If a width is not specified and the precision is specified, set
1536 the width to the precision, or the string length if shorted. */
1538 else if (precision >= 0)
1539 width = precision < slen ? precision : slen;
1541 /* If neither are specified, set them both to the string length. */
1544 width = precision = slen;
1546 if ((need = g->ptr + width) >= size_limit || !(flags & SVFMT_EXTEND))
1548 if (g->ptr == lim) return NULL;
1552 width = precision = lim - g->ptr - 1;
1553 if (width < 0) width = 0;
1554 if (precision < 0) precision = 0;
1557 else if (need > lim)
1559 gstring_grow(g, width);
1561 gp = CS g->s + g->ptr;
1564 g->ptr += sprintf(gp, "%*.*s", width, precision, s);
1566 while (*gp) { *gp = tolower(*gp); gp++; }
1567 else if (fp[-1] == 'T')
1568 while (*gp) { *gp = toupper(*gp); gp++; }
1570 if (truncated) return NULL;
1574 /* Some things are never used in Exim; also catches junk. */
1577 strncpy(newformat, item_start, fp - item_start);
1578 newformat[fp-item_start] = 0;
1579 log_write(0, LOG_MAIN|LOG_PANIC_DIE, "string_format: unsupported type "
1580 "in \"%s\" in \"%s\"", newformat, format);
1585 if (g->ptr > g->size)
1586 log_write(0, LOG_MAIN|LOG_PANIC_DIE,
1587 "string_format internal error: caller %s %d", func, line);
1593 #ifndef COMPILE_UTILITY
1594 /*************************************************
1595 * Generate an "open failed" message *
1596 *************************************************/
1598 /* This function creates a message after failure to open a file. It includes a
1599 string supplied as data, adds the strerror() text, and if the failure was
1600 "Permission denied", reads and includes the euid and egid.
1603 eno the value of errno after the failure
1604 format a text format string - deliberately not uschar *
1605 ... arguments for the format string
1607 Returns: a message, in dynamic store
1611 string_open_failed_trc(int eno, const uschar * func, unsigned line,
1612 const char *format, ...)
1615 gstring * g = string_get(1024);
1617 g = string_catn(g, US"failed to open ", 15);
1619 /* Use the checked formatting routine to ensure that the buffer
1620 does not overflow. It should not, since this is called only for internally
1621 specified messages. If it does, the message just gets truncated, and there
1622 doesn't seem much we can do about that. */
1624 va_start(ap, format);
1625 (void) string_vformat_trc(g, func, line, STRING_SPRINTF_BUFFER_SIZE,
1627 string_from_gstring(g);
1628 gstring_release_unused(g);
1631 return eno == EACCES
1632 ? string_sprintf("%s: %s (euid=%ld egid=%ld)", g->s, strerror(eno),
1633 (long int)geteuid(), (long int)getegid())
1634 : string_sprintf("%s: %s", g->s, strerror(eno));
1636 #endif /* COMPILE_UTILITY */
1642 #ifndef COMPILE_UTILITY
1643 /* qsort(3), currently used to sort the environment variables
1644 for -bP environment output, needs a function to compare two pointers to string
1645 pointers. Here it is. */
1648 string_compare_by_pointer(const void *a, const void *b)
1650 return Ustrcmp(* CUSS a, * CUSS b);
1652 #endif /* COMPILE_UTILITY */
1657 /*************************************************
1658 **************************************************
1659 * Stand-alone test program *
1660 **************************************************
1661 *************************************************/
1668 printf("Testing is_ip_address\n");
1670 while (fgets(CS buffer, sizeof(buffer), stdin) != NULL)
1673 buffer[Ustrlen(buffer) - 1] = 0;
1674 printf("%d\n", string_is_ip_address(buffer, NULL));
1675 printf("%d %d %s\n", string_is_ip_address(buffer, &offset), offset, buffer);
1678 printf("Testing string_nextinlist\n");
1680 while (fgets(CS buffer, sizeof(buffer), stdin) != NULL)
1682 uschar *list = buffer;
1690 sep1 = sep2 = list[1];
1697 uschar *item1 = string_nextinlist(&lp1, &sep1, item, sizeof(item));
1698 uschar *item2 = string_nextinlist(&lp2, &sep2, NULL, 0);
1700 if (item1 == NULL && item2 == NULL) break;
1701 if (item == NULL || item2 == NULL || Ustrcmp(item1, item2) != 0)
1703 printf("***ERROR\nitem1=\"%s\"\nitem2=\"%s\"\n",
1704 (item1 == NULL)? "NULL" : CS item1,
1705 (item2 == NULL)? "NULL" : CS item2);
1708 else printf(" \"%s\"\n", CS item1);
1712 /* This is a horrible lash-up, but it serves its purpose. */
1714 printf("Testing string_format\n");
1716 while (fgets(CS buffer, sizeof(buffer), stdin) != NULL)
1719 long long llargs[3];
1729 buffer[Ustrlen(buffer) - 1] = 0;
1731 s = Ustrchr(buffer, ',');
1732 if (s == NULL) s = buffer + Ustrlen(buffer);
1734 Ustrncpy(format, buffer, s - buffer);
1735 format[s-buffer] = 0;
1742 s = Ustrchr(ss, ',');
1743 if (s == NULL) s = ss + Ustrlen(ss);
1747 Ustrncpy(outbuf, ss, s-ss);
1748 if (Ustrchr(outbuf, '.') != NULL)
1751 dargs[n++] = Ustrtod(outbuf, NULL);
1753 else if (Ustrstr(outbuf, "ll") != NULL)
1756 llargs[n++] = strtoull(CS outbuf, NULL, 10);
1760 args[n++] = (void *)Uatoi(outbuf);
1764 else if (Ustrcmp(ss, "*") == 0)
1766 args[n++] = (void *)(&count);
1772 uschar *sss = malloc(s - ss + 1);
1773 Ustrncpy(sss, ss, s-ss);
1780 if (!dflag && !llflag)
1781 printf("%s\n", string_format(outbuf, sizeof(outbuf), CS format,
1782 args[0], args[1], args[2])? "True" : "False");
1785 printf("%s\n", string_format(outbuf, sizeof(outbuf), CS format,
1786 dargs[0], dargs[1], dargs[2])? "True" : "False");
1788 else printf("%s\n", string_format(outbuf, sizeof(outbuf), CS format,
1789 llargs[0], llargs[1], llargs[2])? "True" : "False");
1791 printf("%s\n", CS outbuf);
1792 if (countset) printf("count=%d\n", count);
1799 /* End of string.c */