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. */
16 #ifndef COMPILE_UTILITY
17 /*************************************************
18 * Test for IP address *
19 *************************************************/
21 /* This used just to be a regular expression, but with IPv6 things are a bit
22 more complicated. If the address contains a colon, it is assumed to be a v6
23 address (assuming HAVE_IPV6 is set). If a mask is permitted and one is present,
24 and maskptr is not NULL, its offset is placed there.
28 maskptr NULL if no mask is permitted to follow
29 otherwise, points to an int where the offset of '/' is placed
30 if there is no / followed by trailing digits, *maskptr is set 0
32 Returns: 0 if the string is not a textual representation of an IP address
33 4 if it is an IPv4 address
34 6 if it is an IPv6 address
38 string_is_ip_address(const uschar *s, int *maskptr)
42 /* If an optional mask is permitted, check for it. If found, pass back the
47 const uschar *ss = s + Ustrlen(s);
49 if (s != ss && isdigit(*(--ss)))
51 while (ss > s && isdigit(ss[-1])) ss--;
52 if (ss > s && *(--ss) == '/') *maskptr = ss - s;
56 /* A colon anywhere in the string => IPv6 address */
58 if (Ustrchr(s, ':') != NULL)
60 BOOL had_double_colon = FALSE;
65 /* An IPv6 address must start with hex digit or double colon. A single
68 if (*s == ':' && *(++s) != ':') return 0;
70 /* Now read up to 8 components consisting of up to 4 hex digits each. There
71 may be one and only one appearance of double colon, which implies any number
72 of binary zero bits. The number of preceding components is held in count. */
74 for (int count = 0; count < 8; count++)
76 /* If the end of the string is reached before reading 8 components, the
77 address is valid provided a double colon has been read. This also applies
78 if we hit the / that introduces a mask or the % that introduces the
79 interface specifier (scope id) of a link-local address. */
81 if (*s == 0 || *s == '%' || *s == '/') return had_double_colon ? yield : 0;
83 /* If a component starts with an additional colon, we have hit a double
84 colon. This is permitted to appear once only, and counts as at least
85 one component. The final component may be of this form. */
89 if (had_double_colon) return 0;
90 had_double_colon = TRUE;
95 /* If the remainder of the string contains a dot but no colons, we
96 can expect a trailing IPv4 address. This is valid if either there has
97 been no double-colon and this is the 7th component (with the IPv4 address
98 being the 7th & 8th components), OR if there has been a double-colon
99 and fewer than 6 components. */
101 if (Ustrchr(s, ':') == NULL && Ustrchr(s, '.') != NULL)
103 if ((!had_double_colon && count != 6) ||
104 (had_double_colon && count > 6)) return 0;
110 /* Check for at least one and not more than 4 hex digits for this
113 if (!isxdigit(*s++)) return 0;
114 if (isxdigit(*s) && isxdigit(*(++s)) && isxdigit(*(++s))) s++;
116 /* If the component is terminated by colon and there is more to
117 follow, skip over the colon. If there is no more to follow the address is
120 if (*s == ':' && *(++s) == 0) return 0;
123 /* If about to handle a trailing IPv4 address, drop through. Otherwise
124 all is well if we are at the end of the string or at the mask or at a percent
125 sign, which introduces the interface specifier (scope id) of a link local
129 return (*s == 0 || *s == '%' ||
130 (*s == '/' && maskptr != NULL && *maskptr != 0))? yield : 0;
133 /* Test for IPv4 address, which may be the tail-end of an IPv6 address. */
135 for (int i = 0; i < 4; i++)
140 if (i != 0 && *s++ != '.') return 0;
141 n = strtol(CCS s, CSS &end, 10);
142 if (n > 255 || n < 0 || end <= s || end > s+3) return 0;
146 return !*s || (*s == '/' && maskptr && *maskptr != 0) ? yield : 0;
148 #endif /* COMPILE_UTILITY */
151 /*************************************************
152 * Format message size *
153 *************************************************/
155 /* Convert a message size in bytes to printing form, rounding
156 according to the magnitude of the number. A value of zero causes
157 a string of spaces to be returned.
160 size the message size in bytes
161 buffer where to put the answer
163 Returns: pointer to the buffer
164 a string of exactly 5 characters is normally returned
168 string_format_size(int size, uschar *buffer)
170 if (size == 0) Ustrcpy(buffer, " ");
171 else if (size < 1024) sprintf(CS buffer, "%5d", size);
172 else if (size < 10*1024)
173 sprintf(CS buffer, "%4.1fK", (double)size / 1024.0);
174 else if (size < 1024*1024)
175 sprintf(CS buffer, "%4dK", (size + 512)/1024);
176 else if (size < 10*1024*1024)
177 sprintf(CS buffer, "%4.1fM", (double)size / (1024.0 * 1024.0));
179 sprintf(CS buffer, "%4dM", (size + 512 * 1024)/(1024*1024));
185 #ifndef COMPILE_UTILITY
186 /*************************************************
187 * Convert a number to base 62 format *
188 *************************************************/
190 /* Convert a long integer into an ASCII base 62 string. For Cygwin the value of
191 BASE_62 is actually 36. Always return exactly 6 characters plus zero, in a
194 Argument: a long integer
195 Returns: pointer to base 62 string
199 string_base62(unsigned long int value)
201 static uschar yield[7];
202 uschar *p = yield + sizeof(yield) - 1;
206 *(--p) = base62_chars[value % BASE_62];
211 #endif /* COMPILE_UTILITY */
215 /*************************************************
216 * Interpret escape sequence *
217 *************************************************/
219 /* This function is called from several places where escape sequences are to be
220 interpreted in strings.
223 pp points a pointer to the initiating "\" in the string;
224 the pointer gets updated to point to the final character
225 Returns: the value of the character escape
229 string_interpret_escape(const uschar **pp)
231 #ifdef COMPILE_UTILITY
232 const uschar *hex_digits= CUS"0123456789abcdef";
235 const uschar *p = *pp;
237 if (isdigit(ch) && ch != '8' && ch != '9')
240 if (isdigit(p[1]) && p[1] != '8' && p[1] != '9')
242 ch = ch * 8 + *(++p) - '0';
243 if (isdigit(p[1]) && p[1] != '8' && p[1] != '9')
244 ch = ch * 8 + *(++p) - '0';
249 case 'b': ch = '\b'; break;
250 case 'f': ch = '\f'; break;
251 case 'n': ch = '\n'; break;
252 case 'r': ch = '\r'; break;
253 case 't': ch = '\t'; break;
254 case 'v': ch = '\v'; break;
260 Ustrchr(hex_digits, tolower(*(++p))) - hex_digits;
261 if (isxdigit(p[1])) ch = ch * 16 +
262 Ustrchr(hex_digits, tolower(*(++p))) - hex_digits;
272 #ifndef COMPILE_UTILITY
273 /*************************************************
274 * Ensure string is printable *
275 *************************************************/
277 /* This function is called for critical strings. It checks for any
278 non-printing characters, and if any are found, it makes a new copy
279 of the string with suitable escape sequences. It is most often called by the
280 macro string_printing(), which sets allow_tab TRUE.
284 allow_tab TRUE to allow tab as a printing character
286 Returns: string with non-printers encoded as printing sequences
290 string_printing2(const uschar *s, BOOL allow_tab)
292 int nonprintcount = 0;
300 if (!mac_isprint(c) || (!allow_tab && c == '\t')) nonprintcount++;
304 if (nonprintcount == 0) return s;
306 /* Get a new block of store guaranteed big enough to hold the
309 ss = store_get(length + nonprintcount * 3 + 1);
311 /* Copy everything, escaping non printers. */
319 if (mac_isprint(c) && (allow_tab || c != '\t')) *tt++ = *t++; else
324 case '\n': *tt++ = 'n'; break;
325 case '\r': *tt++ = 'r'; break;
326 case '\b': *tt++ = 'b'; break;
327 case '\v': *tt++ = 'v'; break;
328 case '\f': *tt++ = 'f'; break;
329 case '\t': *tt++ = 't'; break;
330 default: sprintf(CS tt, "%03o", *t); tt += 3; break;
338 #endif /* COMPILE_UTILITY */
340 /*************************************************
341 * Undo printing escapes in string *
342 *************************************************/
344 /* This function is the reverse of string_printing2. It searches for
345 backslash characters and if any are found, it makes a new copy of the
346 string with escape sequences parsed. Otherwise it returns the original
352 Returns: string with printing escapes parsed back
356 string_unprinting(uschar *s)
358 uschar *p, *q, *r, *ss;
361 p = Ustrchr(s, '\\');
364 len = Ustrlen(s) + 1;
379 *q++ = string_interpret_escape((const uschar **)&p);
384 r = Ustrchr(p, '\\');
410 /*************************************************
411 * Copy and save string *
412 *************************************************/
414 /* This function assumes that memcpy() is faster than strcpy().
416 Argument: string to copy
417 Returns: copy of string in new store
421 string_copy(const uschar *s)
423 int len = Ustrlen(s) + 1;
424 uschar *ss = store_get(len);
431 /*************************************************
432 * Copy and save string in malloc'd store *
433 *************************************************/
435 /* This function assumes that memcpy() is faster than strcpy().
437 Argument: string to copy
438 Returns: copy of string in new store
442 string_copy_malloc(const uschar *s)
444 int len = Ustrlen(s) + 1;
445 uschar *ss = store_malloc(len);
452 /*************************************************
453 * Copy, lowercase and save string *
454 *************************************************/
457 Argument: string to copy
458 Returns: copy of string in new store, with letters lowercased
462 string_copylc(const uschar *s)
464 uschar *ss = store_get(Ustrlen(s) + 1);
466 while (*s != 0) *p++ = tolower(*s++);
473 /*************************************************
474 * Copy and save string, given length *
475 *************************************************/
477 /* It is assumed the data contains no zeros. A zero is added
482 n number of characters
484 Returns: copy of string in new store
488 string_copyn(const uschar *s, int n)
490 uschar *ss = store_get(n + 1);
497 /*************************************************
498 * Copy, lowercase, and save string, given length *
499 *************************************************/
501 /* It is assumed the data contains no zeros. A zero is added
506 n number of characters
508 Returns: copy of string in new store, with letters lowercased
512 string_copynlc(uschar *s, int n)
514 uschar *ss = store_get(n + 1);
516 while (n-- > 0) *p++ = tolower(*s++);
523 /*************************************************
524 * Copy string if long, inserting newlines *
525 *************************************************/
527 /* If the given string is longer than 75 characters, it is copied, and within
528 the copy, certain space characters are converted into newlines.
530 Argument: pointer to the string
531 Returns: pointer to the possibly altered string
535 string_split_message(uschar *msg)
539 if (msg == NULL || Ustrlen(msg) <= 75) return msg;
540 s = ss = msg = string_copy(msg);
545 while (i < 75 && *ss != 0 && *ss != '\n') ss++, i++;
557 if (t[-1] == ':') { tt = t; break; }
558 if (tt == NULL) tt = t;
562 if (tt == NULL) /* Can't split behind - try ahead */
567 if (*t == ' ' || *t == '\n')
573 if (tt == NULL) break; /* Can't find anywhere to split */
584 /*************************************************
585 * Copy returned DNS domain name, de-escaping *
586 *************************************************/
588 /* If a domain name contains top-bit characters, some resolvers return
589 the fully qualified name with those characters turned into escapes. The
590 convention is a backslash followed by _decimal_ digits. We convert these
591 back into the original binary values. This will be relevant when
592 allow_utf8_domains is set true and UTF-8 characters are used in domain
593 names. Backslash can also be used to escape other characters, though we
594 shouldn't come across them in domain names.
596 Argument: the domain name string
597 Returns: copy of string in new store, de-escaped
601 string_copy_dnsdomain(uschar *s)
604 uschar *ss = yield = store_get(Ustrlen(s) + 1);
612 else if (isdigit(s[1]))
614 *ss++ = (s[1] - '0')*100 + (s[2] - '0')*10 + s[3] - '0';
617 else if (*(++s) != 0)
628 #ifndef COMPILE_UTILITY
629 /*************************************************
630 * Copy space-terminated or quoted string *
631 *************************************************/
633 /* This function copies from a string until its end, or until whitespace is
634 encountered, unless the string begins with a double quote, in which case the
635 terminating quote is sought, and escaping within the string is done. The length
636 of a de-quoted string can be no longer than the original, since escaping always
637 turns n characters into 1 character.
639 Argument: pointer to the pointer to the first character, which gets updated
640 Returns: the new string
644 string_dequote(const uschar **sptr)
646 const uschar *s = *sptr;
649 /* First find the end of the string */
652 while (*s != 0 && !isspace(*s)) s++;
656 while (*s && *s != '\"')
658 if (*s == '\\') (void)string_interpret_escape(&s);
664 /* Get enough store to copy into */
666 t = yield = store_get(s - *sptr + 1);
673 while (*s != 0 && !isspace(*s)) *t++ = *s++;
678 while (*s != 0 && *s != '\"')
680 if (*s == '\\') *t++ = string_interpret_escape(&s);
687 /* Update the pointer and return the terminated copy */
693 #endif /* COMPILE_UTILITY */
697 /*************************************************
698 * Format a string and save it *
699 *************************************************/
701 /* The formatting is done by string_vformat, which checks the length of
705 format a printf() format - deliberately char * rather than uschar *
706 because it will most usually be a literal string
707 ... arguments for format
709 Returns: pointer to fresh piece of store containing sprintf'ed string
713 string_sprintf(const char *format, ...)
715 #ifdef COMPILE_UTILITY
716 uschar buffer[STRING_SPRINTF_BUFFER_SIZE];
717 gstring g = { .size = STRING_SPRINTF_BUFFER_SIZE, .ptr = 0, .s = buffer };
720 gstring * gp = string_get(STRING_SPRINTF_BUFFER_SIZE);
725 va_start(ap, format);
726 gp2 = string_vformat(gp, FALSE, format, ap);
727 gp->s[gp->ptr] = '\0';
731 log_write(0, LOG_MAIN|LOG_PANIC_DIE,
732 "string_sprintf expansion was longer than %d; format string was (%s)\n"
733 "expansion started '%.32s'",
734 gp->size, format, gp->s);
736 #ifdef COMPILE_UTILITY
737 return string_copy(gp->s);
739 gstring_reset_unused(gp);
746 /*************************************************
747 * Case-independent strncmp() function *
748 *************************************************/
754 n number of characters to compare
756 Returns: < 0, = 0, or > 0, according to the comparison
760 strncmpic(const uschar *s, const uschar *t, int n)
764 int c = tolower(*s++) - tolower(*t++);
771 /*************************************************
772 * Case-independent strcmp() function *
773 *************************************************/
780 Returns: < 0, = 0, or > 0, according to the comparison
784 strcmpic(const uschar *s, const uschar *t)
788 int c = tolower(*s++) - tolower(*t++);
789 if (c != 0) return c;
795 /*************************************************
796 * Case-independent strstr() function *
797 *************************************************/
799 /* The third argument specifies whether whitespace is required
800 to follow the matched string.
804 t substring to search for
805 space_follows if TRUE, match only if whitespace follows
807 Returns: pointer to substring in string, or NULL if not found
811 strstric(uschar *s, uschar *t, BOOL space_follows)
814 uschar *yield = NULL;
815 int cl = tolower(*p);
816 int cu = toupper(*p);
820 if (*s == cl || *s == cu)
822 if (yield == NULL) yield = s;
825 if (!space_follows || s[1] == ' ' || s[1] == '\n' ) return yield;
833 else if (yield != NULL)
847 #ifdef COMPILE_UTILITY
848 /* Dummy version for this function; it should never be called */
850 gstring_grow(gstring * g, int p, int count)
858 #ifndef COMPILE_UTILITY
859 /*************************************************
860 * Get next string from separated list *
861 *************************************************/
863 /* Leading and trailing space is removed from each item. The separator in the
864 list is controlled by the int pointed to by the separator argument as follows:
866 If the value is > 0 it is used as the separator. This is typically used for
867 sublists such as slash-separated options. The value is always a printing
870 (If the value is actually > UCHAR_MAX there is only one item in the list.
871 This is used for some cases when called via functions that sometimes
872 plough through lists, and sometimes are given single items.)
874 If the value is <= 0, the string is inspected for a leading <x, where x is an
875 ispunct() or an iscntrl() character. If found, x is used as the separator. If
878 (a) if separator == 0, ':' is used
879 (b) if separator <0, -separator is used
881 In all cases the value of the separator that is used is written back to the
882 int so that it is used on subsequent calls as we progress through the list.
884 A literal ispunct() separator can be represented in an item by doubling, but
885 there is no way to include an iscntrl() separator as part of the data.
888 listptr points to a pointer to the current start of the list; the
889 pointer gets updated to point after the end of the next item
890 separator a pointer to the separator character in an int (see above)
891 buffer where to put a copy of the next string in the list; or
892 NULL if the next string is returned in new memory
893 buflen when buffer is not NULL, the size of buffer; otherwise ignored
895 Returns: pointer to buffer, containing the next substring,
896 or NULL if no more substrings
900 string_nextinlist(const uschar **listptr, int *separator, uschar *buffer, int buflen)
902 int sep = *separator;
903 const uschar *s = *listptr;
908 /* This allows for a fixed specified separator to be an iscntrl() character,
909 but at the time of implementation, this is never the case. However, it's best
910 to be conservative. */
912 while (isspace(*s) && *s != sep) s++;
914 /* A change of separator is permitted, so look for a leading '<' followed by an
915 allowed character. */
919 if (*s == '<' && (ispunct(s[1]) || iscntrl(s[1])))
923 while (isspace(*s) && *s != sep) s++;
926 sep = sep ? -sep : ':';
930 /* An empty string has no list elements */
932 if (!*s) return NULL;
934 /* Note whether whether or not the separator is an iscntrl() character. */
936 sep_is_special = iscntrl(sep);
938 /* Handle the case when a buffer is provided. */
945 if (*s == sep && (*(++s) != sep || sep_is_special)) break;
946 if (p < buflen - 1) buffer[p++] = *s;
948 while (p > 0 && isspace(buffer[p-1])) p--;
952 /* Handle the case when a buffer is not provided. */
958 /* We know that *s != 0 at this point. However, it might be pointing to a
959 separator, which could indicate an empty string, or (if an ispunct()
960 character) could be doubled to indicate a separator character as data at the
961 start of a string. Avoid getting working memory for an empty item. */
966 if (*s != sep || sep_is_special)
969 return string_copy(US"");
973 /* Not an empty string; the first character is guaranteed to be a data
979 for (ss = s + 1; *ss && *ss != sep; ) ss++;
980 g = string_catn(g, s, ss-s);
982 if (!*s || *++s != sep || sep_is_special) break;
984 while (g->ptr > 0 && isspace(g->s[g->ptr-1])) g->ptr--;
985 buffer = string_from_gstring(g);
986 gstring_reset_unused(g);
989 /* Update the current pointer and return the new string */
996 static const uschar *
997 Ustrnchr(const uschar * s, int c, unsigned * len)
1002 if (!*s) return NULL;
1015 /************************************************
1016 * Add element to separated list *
1017 ************************************************/
1018 /* This function is used to build a list, returning an allocated null-terminated
1019 growable string. The given element has any embedded separator characters
1022 Despite having the same growable-string interface as string_cat() the list is
1023 always returned null-terminated.
1026 list expanding-string for the list that is being built, or NULL
1027 if this is a new list that has no contents yet
1028 sep list separator character
1029 ele new element to be appended to the list
1031 Returns: pointer to the start of the list, changed if copied for expansion.
1035 string_append_listele(gstring * list, uschar sep, const uschar * ele)
1039 if (list && list->ptr)
1040 list = string_catn(list, &sep, 1);
1042 while((sp = Ustrchr(ele, sep)))
1044 list = string_catn(list, ele, sp-ele+1);
1045 list = string_catn(list, &sep, 1);
1048 list = string_cat(list, ele);
1049 (void) string_from_gstring(list);
1055 string_append_listele_n(gstring * list, uschar sep, const uschar * ele,
1060 if (list && list->ptr)
1061 list = string_catn(list, &sep, 1);
1063 while((sp = Ustrnchr(ele, sep, &len)))
1065 list = string_catn(list, ele, sp-ele+1);
1066 list = string_catn(list, &sep, 1);
1070 list = string_catn(list, ele, len);
1071 (void) string_from_gstring(list);
1077 /* A slightly-bogus listmaker utility; the separator is a string so
1078 can be multiple chars - there is no checking for the element content
1079 containing any of the separator. */
1082 string_append2_listele_n(gstring * list, const uschar * sepstr,
1083 const uschar * ele, unsigned len)
1085 if (list && list->ptr)
1086 list = string_cat(list, sepstr);
1088 list = string_catn(list, ele, len);
1089 (void) string_from_gstring(list);
1095 /************************************************/
1096 /* Create a growable-string with some preassigned space */
1099 string_get(unsigned size)
1101 gstring * g = store_get(sizeof(gstring) + size);
1108 /* NUL-terminate the C string in the growable-string, and return it. */
1111 string_from_gstring(gstring * g)
1113 if (!g) return NULL;
1114 g->s[g->ptr] = '\0';
1119 gstring_reset_unused(gstring * g)
1121 store_reset(g->s + (g->size = g->ptr + 1));
1125 /* Add more space to a growable-string.
1128 g the growable-string
1129 p current end of data
1130 count amount to grow by
1134 gstring_grow(gstring * g, int p, int count)
1136 int oldsize = g->size;
1138 /* Mostly, string_cat() is used to build small strings of a few hundred
1139 characters at most. There are times, however, when the strings are very much
1140 longer (for example, a lookup that returns a vast number of alias addresses).
1141 To try to keep things reasonable, we use increments whose size depends on the
1142 existing length of the string. */
1144 unsigned inc = oldsize < 4096 ? 127 : 1023;
1145 g->size = ((p + count + inc) & ~inc) + 1;
1147 /* Try to extend an existing allocation. If the result of calling
1148 store_extend() is false, either there isn't room in the current memory block,
1149 or this string is not the top item on the dynamic store stack. We then have
1150 to get a new chunk of store and copy the old string. When building large
1151 strings, it is helpful to call store_release() on the old string, to release
1152 memory blocks that have become empty. (The block will be freed if the string
1153 is at its start.) However, we can do this only if we know that the old string
1154 was the last item on the dynamic memory stack. This is the case if it matches
1157 if (!store_extend(g->s, oldsize, g->size))
1158 g->s = store_newblock(g->s, g->size, p);
1163 /*************************************************
1164 * Add chars to string *
1165 *************************************************/
1166 /* This function is used when building up strings of unknown length. Room is
1167 always left for a terminating zero to be added to the string that is being
1168 built. This function does not require the string that is being added to be NUL
1169 terminated, because the number of characters to add is given explicitly. It is
1170 sometimes called to extract parts of other strings.
1173 string points to the start of the string that is being built, or NULL
1174 if this is a new string that has no contents yet
1175 s points to characters to add
1176 count count of characters to add; must not exceed the length of s, if s
1179 Returns: pointer to the start of the string, changed if copied for expansion.
1180 Note that a NUL is not added, though space is left for one. This is
1181 because string_cat() is often called multiple times to build up a
1182 string - there's no point adding the NUL till the end.
1185 /* coverity[+alloc] */
1188 string_catn(gstring * g, const uschar *s, int count)
1194 unsigned inc = count < 4096 ? 127 : 1023;
1195 unsigned size = ((count + inc) & ~inc) + 1;
1196 g = string_get(size);
1200 if (p + count >= g->size)
1201 gstring_grow(g, p, count);
1203 /* Because we always specify the exact number of characters to copy, we can
1204 use memcpy(), which is likely to be more efficient than strncopy() because the
1205 latter has to check for zero bytes. */
1207 memcpy(g->s + p, s, count);
1214 string_cat(gstring *string, const uschar *s)
1216 return string_catn(string, s, Ustrlen(s));
1221 /*************************************************
1222 * Append strings to another string *
1223 *************************************************/
1225 /* This function can be used to build a string from many other strings.
1226 It calls string_cat() to do the dirty work.
1229 string expanding-string that is being built, or NULL
1230 if this is a new string that has no contents yet
1231 count the number of strings to append
1232 ... "count" uschar* arguments, which must be valid zero-terminated
1235 Returns: pointer to the start of the string, changed if copied for expansion.
1236 The string is not zero-terminated - see string_cat() above.
1239 __inline__ gstring *
1240 string_append(gstring *string, int count, ...)
1244 va_start(ap, count);
1247 uschar *t = va_arg(ap, uschar *);
1248 string = string_cat(string, t);
1258 /*************************************************
1259 * Format a string with length checks *
1260 *************************************************/
1262 /* This function is used to format a string with checking of the length of the
1263 output for all conversions. It protects Exim from absent-mindedness when
1264 calling functions like debug_printf and string_sprintf, and elsewhere. There
1265 are two different entry points to what is actually the same function, depending
1266 on whether the variable length list of data arguments are given explicitly or
1269 The formats are the usual printf() ones, with some omissions (never used) and
1270 three additions for strings: %S forces lower case, %T forces upper case, and
1271 %#s or %#S prints nothing for a NULL string. Without the # "NULL" is printed
1272 (useful in debugging). There is also the addition of %D and %M, which insert
1273 the date in the form used for datestamped log files.
1276 buffer a buffer in which to put the formatted string
1277 buflen the length of the buffer
1278 format the format string - deliberately char * and not uschar *
1279 ... or ap variable list of supplementary arguments
1281 Returns: TRUE if the result fitted in the buffer
1285 string_format(uschar * buffer, int buflen, const char * format, ...)
1287 gstring g = { .size = buflen, .ptr = 0, .s = buffer }, *gp;
1289 va_start(ap, format);
1290 gp = string_vformat(&g, FALSE, format, ap);
1300 /* Bulid or append to a growing-string, sprintf-style.
1302 If the "extend" argument is true, the string passed in can be NULL,
1303 empty, or non-empty.
1305 If the "extend" argument is false, the string passed in may not be NULL,
1306 will not be grown, and is usable in the original place after return.
1307 The return value can be NULL to signify overflow.
1309 Returns the possibly-new (if copy for growth was needed) string,
1314 string_vformat(gstring * g, BOOL extend, const char *format, va_list ap)
1316 enum ltypes { L_NORMAL=1, L_SHORT=2, L_LONG=3, L_LONGLONG=4, L_LONGDOUBLE=5, L_SIZE=6 };
1318 int width, precision, off, lim;
1319 const char * fp = format; /* Deliberately not unsigned */
1321 string_datestamp_offset = -1; /* Datestamp not inserted */
1322 string_datestamp_length = 0; /* Datestamp not inserted */
1323 string_datestamp_type = 0; /* Datestamp not inserted */
1325 #ifdef COMPILE_UTILITY
1330 /* Ensure we have a string, to save on checking later */
1331 if (!g) g = string_get(16);
1332 #endif /*!COMPILE_UTILITY*/
1334 lim = g->size - 1; /* leave one for a nul */
1335 off = g->ptr; /* remember initial offset in gstring */
1337 /* Scan the format and handle the insertions */
1341 int length = L_NORMAL;
1344 const char *null = "NULL"; /* ) These variables */
1345 const char *item_start, *s; /* ) are deliberately */
1346 char newformat[16]; /* ) not unsigned */
1347 char * gp = CS g->s + g->ptr; /* ) */
1349 /* Non-% characters just get copied verbatim */
1353 /* Avoid string_copyn() due to COMPILE_UTILITY */
1354 if (g->ptr >= lim - 1)
1356 if (!extend) return NULL;
1357 gstring_grow(g, g->ptr, 1);
1360 g->s[g->ptr++] = (uschar) *fp++;
1364 /* Deal with % characters. Pick off the width and precision, for checking
1365 strings, skipping over the flag and modifier characters. */
1368 width = precision = -1;
1370 if (strchr("-+ #0", *(++fp)) != NULL)
1372 if (*fp == '#') null = "";
1376 if (isdigit((uschar)*fp))
1378 width = *fp++ - '0';
1379 while (isdigit((uschar)*fp)) width = width * 10 + *fp++ - '0';
1381 else if (*fp == '*')
1383 width = va_arg(ap, int);
1390 precision = va_arg(ap, int);
1394 for (precision = 0; isdigit((uschar)*fp); fp++)
1395 precision = precision*10 + *fp - '0';
1397 /* Skip over 'h', 'L', 'l', 'll' and 'z', remembering the item length */
1400 { fp++; length = L_SHORT; }
1401 else if (*fp == 'L')
1402 { fp++; length = L_LONGDOUBLE; }
1403 else if (*fp == 'l')
1405 { fp += 2; length = L_LONGLONG; }
1407 { fp++; length = L_LONG; }
1408 else if (*fp == 'z')
1409 { fp++; length = L_SIZE; }
1411 /* Handle each specific format type. */
1416 nptr = va_arg(ap, int *);
1417 *nptr = g->ptr - off;
1425 width = length > L_LONG ? 24 : 12;
1426 if (g->ptr >= lim - width)
1428 if (!extend) return NULL;
1429 gstring_grow(g, g->ptr, width);
1431 gp = CS g->s + g->ptr;
1433 strncpy(newformat, item_start, fp - item_start);
1434 newformat[fp - item_start] = 0;
1436 /* Short int is promoted to int when passing through ..., so we must use
1437 int for va_arg(). */
1443 g->ptr += sprintf(gp, newformat, va_arg(ap, int)); break;
1445 g->ptr += sprintf(gp, newformat, va_arg(ap, long int)); break;
1447 g->ptr += sprintf(gp, newformat, va_arg(ap, LONGLONG_T)); break;
1449 g->ptr += sprintf(gp, newformat, va_arg(ap, size_t)); break;
1456 if (g->ptr >= lim - 24)
1458 if (!extend) return NULL;
1459 gstring_grow(g, g->ptr, 24);
1461 gp = CS g->s + g->ptr;
1463 /* sprintf() saying "(nil)" for a null pointer seems unreliable.
1464 Handle it explicitly. */
1465 if ((ptr = va_arg(ap, void *)))
1467 strncpy(newformat, item_start, fp - item_start);
1468 newformat[fp - item_start] = 0;
1469 g->ptr += sprintf(gp, newformat, ptr);
1472 g->ptr += sprintf(gp, "(nil)");
1476 /* %f format is inherently insecure if the numbers that it may be
1477 handed are unknown (e.g. 1e300). However, in Exim, %f is used for
1478 printing load averages, and these are actually stored as integers
1479 (load average * 1000) so the size of the numbers is constrained.
1480 It is also used for formatting sending rates, where the simplicity
1481 of the format prevents overflow. */
1488 if (precision < 0) precision = 6;
1489 if (g->ptr >= lim - precision - 8)
1491 if (!extend) return NULL;
1492 gstring_grow(g, g->ptr, precision+8);
1494 gp = CS g->s + g->ptr;
1496 strncpy(newformat, item_start, fp - item_start);
1497 newformat[fp-item_start] = 0;
1498 if (length == L_LONGDOUBLE)
1499 g->ptr += sprintf(gp, newformat, va_arg(ap, long double));
1501 g->ptr += sprintf(gp, newformat, va_arg(ap, double));
1507 if (g->ptr >= lim - 1)
1509 if (!extend) return NULL;
1510 gstring_grow(g, g->ptr, 1);
1513 g->s[g->ptr++] = (uschar) '%';
1517 if (g->ptr >= lim - 1)
1519 if (!extend) return NULL;
1520 gstring_grow(g, g->ptr, 1);
1523 g->s[g->ptr++] = (uschar) va_arg(ap, int);
1526 case 'D': /* Insert daily datestamp for log file names */
1527 s = CS tod_stamp(tod_log_datestamp_daily);
1528 string_datestamp_offset = g->ptr; /* Passed back via global */
1529 string_datestamp_length = Ustrlen(s); /* Passed back via global */
1530 string_datestamp_type = tod_log_datestamp_daily;
1531 slen = string_datestamp_length;
1534 case 'M': /* Insert monthly datestamp for log file names */
1535 s = CS tod_stamp(tod_log_datestamp_monthly);
1536 string_datestamp_offset = g->ptr; /* Passed back via global */
1537 string_datestamp_length = Ustrlen(s); /* Passed back via global */
1538 string_datestamp_type = tod_log_datestamp_monthly;
1539 slen = string_datestamp_length;
1543 case 'S': /* Forces *lower* case */
1544 case 'T': /* Forces *upper* case */
1545 s = va_arg(ap, char *);
1550 INSERT_STRING: /* Come to from %D or %M above */
1553 BOOL truncated = FALSE;
1555 /* If the width is specified, check that there is a precision
1556 set; if not, set it to the width to prevent overruns of long
1561 if (precision < 0) precision = width;
1564 /* If a width is not specified and the precision is specified, set
1565 the width to the precision, or the string length if shorted. */
1567 else if (precision >= 0)
1568 width = precision < slen ? precision : slen;
1570 /* If neither are specified, set them both to the string length. */
1573 width = precision = slen;
1577 if (g->ptr == lim) return NULL;
1578 if (g->ptr >= lim - width)
1581 width = precision = lim - g->ptr - 1;
1582 if (width < 0) width = 0;
1583 if (precision < 0) precision = 0;
1586 else if (g->ptr >= lim - width)
1588 gstring_grow(g, g->ptr, width - (lim - g->ptr));
1590 gp = CS g->s + g->ptr;
1593 g->ptr += sprintf(gp, "%*.*s", width, precision, s);
1595 while (*gp) { *gp = tolower(*gp); gp++; }
1596 else if (fp[-1] == 'T')
1597 while (*gp) { *gp = toupper(*gp); gp++; }
1599 if (truncated) return NULL;
1603 /* Some things are never used in Exim; also catches junk. */
1606 strncpy(newformat, item_start, fp - item_start);
1607 newformat[fp-item_start] = 0;
1608 log_write(0, LOG_MAIN|LOG_PANIC_DIE, "string_format: unsupported type "
1609 "in \"%s\" in \"%s\"", newformat, format);
1619 #ifndef COMPILE_UTILITY
1622 string_fmt_append(gstring * g, const char *format, ...)
1625 va_start(ap, format);
1626 g = string_vformat(g, TRUE, format, ap);
1633 /*************************************************
1634 * Generate an "open failed" message *
1635 *************************************************/
1637 /* This function creates a message after failure to open a file. It includes a
1638 string supplied as data, adds the strerror() text, and if the failure was
1639 "Permission denied", reads and includes the euid and egid.
1642 eno the value of errno after the failure
1643 format a text format string - deliberately not uschar *
1644 ... arguments for the format string
1646 Returns: a message, in dynamic store
1650 string_open_failed(int eno, const char *format, ...)
1653 gstring * g = string_get(1024);
1655 g = string_catn(g, US"failed to open ", 15);
1657 /* Use the checked formatting routine to ensure that the buffer
1658 does not overflow. It should not, since this is called only for internally
1659 specified messages. If it does, the message just gets truncated, and there
1660 doesn't seem much we can do about that. */
1662 va_start(ap, format);
1663 (void) string_vformat(g, FALSE, format, ap);
1664 string_from_gstring(g);
1665 gstring_reset_unused(g);
1668 return eno == EACCES
1669 ? string_sprintf("%s: %s (euid=%ld egid=%ld)", g->s, strerror(eno),
1670 (long int)geteuid(), (long int)getegid())
1671 : string_sprintf("%s: %s", g->s, strerror(eno));
1673 #endif /* COMPILE_UTILITY */
1679 #ifndef COMPILE_UTILITY
1680 /* qsort(3), currently used to sort the environment variables
1681 for -bP environment output, needs a function to compare two pointers to string
1682 pointers. Here it is. */
1685 string_compare_by_pointer(const void *a, const void *b)
1687 return Ustrcmp(* CUSS a, * CUSS b);
1689 #endif /* COMPILE_UTILITY */
1694 /*************************************************
1695 **************************************************
1696 * Stand-alone test program *
1697 **************************************************
1698 *************************************************/
1705 printf("Testing is_ip_address\n");
1707 while (fgets(CS buffer, sizeof(buffer), stdin) != NULL)
1710 buffer[Ustrlen(buffer) - 1] = 0;
1711 printf("%d\n", string_is_ip_address(buffer, NULL));
1712 printf("%d %d %s\n", string_is_ip_address(buffer, &offset), offset, buffer);
1715 printf("Testing string_nextinlist\n");
1717 while (fgets(CS buffer, sizeof(buffer), stdin) != NULL)
1719 uschar *list = buffer;
1727 sep1 = sep2 = list[1];
1734 uschar *item1 = string_nextinlist(&lp1, &sep1, item, sizeof(item));
1735 uschar *item2 = string_nextinlist(&lp2, &sep2, NULL, 0);
1737 if (item1 == NULL && item2 == NULL) break;
1738 if (item == NULL || item2 == NULL || Ustrcmp(item1, item2) != 0)
1740 printf("***ERROR\nitem1=\"%s\"\nitem2=\"%s\"\n",
1741 (item1 == NULL)? "NULL" : CS item1,
1742 (item2 == NULL)? "NULL" : CS item2);
1745 else printf(" \"%s\"\n", CS item1);
1749 /* This is a horrible lash-up, but it serves its purpose. */
1751 printf("Testing string_format\n");
1753 while (fgets(CS buffer, sizeof(buffer), stdin) != NULL)
1756 long long llargs[3];
1766 buffer[Ustrlen(buffer) - 1] = 0;
1768 s = Ustrchr(buffer, ',');
1769 if (s == NULL) s = buffer + Ustrlen(buffer);
1771 Ustrncpy(format, buffer, s - buffer);
1772 format[s-buffer] = 0;
1779 s = Ustrchr(ss, ',');
1780 if (s == NULL) s = ss + Ustrlen(ss);
1784 Ustrncpy(outbuf, ss, s-ss);
1785 if (Ustrchr(outbuf, '.') != NULL)
1788 dargs[n++] = Ustrtod(outbuf, NULL);
1790 else if (Ustrstr(outbuf, "ll") != NULL)
1793 llargs[n++] = strtoull(CS outbuf, NULL, 10);
1797 args[n++] = (void *)Uatoi(outbuf);
1801 else if (Ustrcmp(ss, "*") == 0)
1803 args[n++] = (void *)(&count);
1809 uschar *sss = malloc(s - ss + 1);
1810 Ustrncpy(sss, ss, s-ss);
1817 if (!dflag && !llflag)
1818 printf("%s\n", string_format(outbuf, sizeof(outbuf), CS format,
1819 args[0], args[1], args[2])? "True" : "False");
1822 printf("%s\n", string_format(outbuf, sizeof(outbuf), CS format,
1823 dargs[0], dargs[1], dargs[2])? "True" : "False");
1825 else printf("%s\n", string_format(outbuf, sizeof(outbuf), CS format,
1826 llargs[0], llargs[1], llargs[2])? "True" : "False");
1828 printf("%s\n", CS outbuf);
1829 if (countset) printf("count=%d\n", count);
1836 /* End of string.c */