1*68d75effSDimitry Andric //===-- sanitizer_printf.cpp ----------------------------------------------===// 2*68d75effSDimitry Andric // 3*68d75effSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*68d75effSDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 5*68d75effSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6*68d75effSDimitry Andric // 7*68d75effSDimitry Andric //===----------------------------------------------------------------------===// 8*68d75effSDimitry Andric // 9*68d75effSDimitry Andric // This file is shared between AddressSanitizer and ThreadSanitizer. 10*68d75effSDimitry Andric // 11*68d75effSDimitry Andric // Internal printf function, used inside run-time libraries. 12*68d75effSDimitry Andric // We can't use libc printf because we intercept some of the functions used 13*68d75effSDimitry Andric // inside it. 14*68d75effSDimitry Andric //===----------------------------------------------------------------------===// 15*68d75effSDimitry Andric 16*68d75effSDimitry Andric #include "sanitizer_common.h" 17*68d75effSDimitry Andric #include "sanitizer_flags.h" 18*68d75effSDimitry Andric #include "sanitizer_libc.h" 19*68d75effSDimitry Andric 20*68d75effSDimitry Andric #include <stdio.h> 21*68d75effSDimitry Andric #include <stdarg.h> 22*68d75effSDimitry Andric 23*68d75effSDimitry Andric #if SANITIZER_WINDOWS && defined(_MSC_VER) && _MSC_VER < 1800 && \ 24*68d75effSDimitry Andric !defined(va_copy) 25*68d75effSDimitry Andric # define va_copy(dst, src) ((dst) = (src)) 26*68d75effSDimitry Andric #endif 27*68d75effSDimitry Andric 28*68d75effSDimitry Andric namespace __sanitizer { 29*68d75effSDimitry Andric 30*68d75effSDimitry Andric static int AppendChar(char **buff, const char *buff_end, char c) { 31*68d75effSDimitry Andric if (*buff < buff_end) { 32*68d75effSDimitry Andric **buff = c; 33*68d75effSDimitry Andric (*buff)++; 34*68d75effSDimitry Andric } 35*68d75effSDimitry Andric return 1; 36*68d75effSDimitry Andric } 37*68d75effSDimitry Andric 38*68d75effSDimitry Andric // Appends number in a given base to buffer. If its length is less than 39*68d75effSDimitry Andric // |minimal_num_length|, it is padded with leading zeroes or spaces, depending 40*68d75effSDimitry Andric // on the value of |pad_with_zero|. 41*68d75effSDimitry Andric static int AppendNumber(char **buff, const char *buff_end, u64 absolute_value, 42*68d75effSDimitry Andric u8 base, u8 minimal_num_length, bool pad_with_zero, 43*68d75effSDimitry Andric bool negative, bool uppercase) { 44*68d75effSDimitry Andric uptr const kMaxLen = 30; 45*68d75effSDimitry Andric RAW_CHECK(base == 10 || base == 16); 46*68d75effSDimitry Andric RAW_CHECK(base == 10 || !negative); 47*68d75effSDimitry Andric RAW_CHECK(absolute_value || !negative); 48*68d75effSDimitry Andric RAW_CHECK(minimal_num_length < kMaxLen); 49*68d75effSDimitry Andric int result = 0; 50*68d75effSDimitry Andric if (negative && minimal_num_length) 51*68d75effSDimitry Andric --minimal_num_length; 52*68d75effSDimitry Andric if (negative && pad_with_zero) 53*68d75effSDimitry Andric result += AppendChar(buff, buff_end, '-'); 54*68d75effSDimitry Andric uptr num_buffer[kMaxLen]; 55*68d75effSDimitry Andric int pos = 0; 56*68d75effSDimitry Andric do { 57*68d75effSDimitry Andric RAW_CHECK_MSG((uptr)pos < kMaxLen, "AppendNumber buffer overflow"); 58*68d75effSDimitry Andric num_buffer[pos++] = absolute_value % base; 59*68d75effSDimitry Andric absolute_value /= base; 60*68d75effSDimitry Andric } while (absolute_value > 0); 61*68d75effSDimitry Andric if (pos < minimal_num_length) { 62*68d75effSDimitry Andric // Make sure compiler doesn't insert call to memset here. 63*68d75effSDimitry Andric internal_memset(&num_buffer[pos], 0, 64*68d75effSDimitry Andric sizeof(num_buffer[0]) * (minimal_num_length - pos)); 65*68d75effSDimitry Andric pos = minimal_num_length; 66*68d75effSDimitry Andric } 67*68d75effSDimitry Andric RAW_CHECK(pos > 0); 68*68d75effSDimitry Andric pos--; 69*68d75effSDimitry Andric for (; pos >= 0 && num_buffer[pos] == 0; pos--) { 70*68d75effSDimitry Andric char c = (pad_with_zero || pos == 0) ? '0' : ' '; 71*68d75effSDimitry Andric result += AppendChar(buff, buff_end, c); 72*68d75effSDimitry Andric } 73*68d75effSDimitry Andric if (negative && !pad_with_zero) result += AppendChar(buff, buff_end, '-'); 74*68d75effSDimitry Andric for (; pos >= 0; pos--) { 75*68d75effSDimitry Andric char digit = static_cast<char>(num_buffer[pos]); 76*68d75effSDimitry Andric digit = (digit < 10) ? '0' + digit : (uppercase ? 'A' : 'a') + digit - 10; 77*68d75effSDimitry Andric result += AppendChar(buff, buff_end, digit); 78*68d75effSDimitry Andric } 79*68d75effSDimitry Andric return result; 80*68d75effSDimitry Andric } 81*68d75effSDimitry Andric 82*68d75effSDimitry Andric static int AppendUnsigned(char **buff, const char *buff_end, u64 num, u8 base, 83*68d75effSDimitry Andric u8 minimal_num_length, bool pad_with_zero, 84*68d75effSDimitry Andric bool uppercase) { 85*68d75effSDimitry Andric return AppendNumber(buff, buff_end, num, base, minimal_num_length, 86*68d75effSDimitry Andric pad_with_zero, false /* negative */, uppercase); 87*68d75effSDimitry Andric } 88*68d75effSDimitry Andric 89*68d75effSDimitry Andric static int AppendSignedDecimal(char **buff, const char *buff_end, s64 num, 90*68d75effSDimitry Andric u8 minimal_num_length, bool pad_with_zero) { 91*68d75effSDimitry Andric bool negative = (num < 0); 92*68d75effSDimitry Andric return AppendNumber(buff, buff_end, (u64)(negative ? -num : num), 10, 93*68d75effSDimitry Andric minimal_num_length, pad_with_zero, negative, 94*68d75effSDimitry Andric false /* uppercase */); 95*68d75effSDimitry Andric } 96*68d75effSDimitry Andric 97*68d75effSDimitry Andric 98*68d75effSDimitry Andric // Use the fact that explicitly requesting 0 width (%0s) results in UB and 99*68d75effSDimitry Andric // interpret width == 0 as "no width requested": 100*68d75effSDimitry Andric // width == 0 - no width requested 101*68d75effSDimitry Andric // width < 0 - left-justify s within and pad it to -width chars, if necessary 102*68d75effSDimitry Andric // width > 0 - right-justify s, not implemented yet 103*68d75effSDimitry Andric static int AppendString(char **buff, const char *buff_end, int width, 104*68d75effSDimitry Andric int max_chars, const char *s) { 105*68d75effSDimitry Andric if (!s) 106*68d75effSDimitry Andric s = "<null>"; 107*68d75effSDimitry Andric int result = 0; 108*68d75effSDimitry Andric for (; *s; s++) { 109*68d75effSDimitry Andric if (max_chars >= 0 && result >= max_chars) 110*68d75effSDimitry Andric break; 111*68d75effSDimitry Andric result += AppendChar(buff, buff_end, *s); 112*68d75effSDimitry Andric } 113*68d75effSDimitry Andric // Only the left justified strings are supported. 114*68d75effSDimitry Andric while (width < -result) 115*68d75effSDimitry Andric result += AppendChar(buff, buff_end, ' '); 116*68d75effSDimitry Andric return result; 117*68d75effSDimitry Andric } 118*68d75effSDimitry Andric 119*68d75effSDimitry Andric static int AppendPointer(char **buff, const char *buff_end, u64 ptr_value) { 120*68d75effSDimitry Andric int result = 0; 121*68d75effSDimitry Andric result += AppendString(buff, buff_end, 0, -1, "0x"); 122*68d75effSDimitry Andric result += AppendUnsigned(buff, buff_end, ptr_value, 16, 123*68d75effSDimitry Andric SANITIZER_POINTER_FORMAT_LENGTH, 124*68d75effSDimitry Andric true /* pad_with_zero */, false /* uppercase */); 125*68d75effSDimitry Andric return result; 126*68d75effSDimitry Andric } 127*68d75effSDimitry Andric 128*68d75effSDimitry Andric int VSNPrintf(char *buff, int buff_length, 129*68d75effSDimitry Andric const char *format, va_list args) { 130*68d75effSDimitry Andric static const char *kPrintfFormatsHelp = 131*68d75effSDimitry Andric "Supported Printf formats: %([0-9]*)?(z|ll)?{d,u,x,X}; %p; " 132*68d75effSDimitry Andric "%[-]([0-9]*)?(\\.\\*)?s; %c\n"; 133*68d75effSDimitry Andric RAW_CHECK(format); 134*68d75effSDimitry Andric RAW_CHECK(buff_length > 0); 135*68d75effSDimitry Andric const char *buff_end = &buff[buff_length - 1]; 136*68d75effSDimitry Andric const char *cur = format; 137*68d75effSDimitry Andric int result = 0; 138*68d75effSDimitry Andric for (; *cur; cur++) { 139*68d75effSDimitry Andric if (*cur != '%') { 140*68d75effSDimitry Andric result += AppendChar(&buff, buff_end, *cur); 141*68d75effSDimitry Andric continue; 142*68d75effSDimitry Andric } 143*68d75effSDimitry Andric cur++; 144*68d75effSDimitry Andric bool left_justified = *cur == '-'; 145*68d75effSDimitry Andric if (left_justified) 146*68d75effSDimitry Andric cur++; 147*68d75effSDimitry Andric bool have_width = (*cur >= '0' && *cur <= '9'); 148*68d75effSDimitry Andric bool pad_with_zero = (*cur == '0'); 149*68d75effSDimitry Andric int width = 0; 150*68d75effSDimitry Andric if (have_width) { 151*68d75effSDimitry Andric while (*cur >= '0' && *cur <= '9') { 152*68d75effSDimitry Andric width = width * 10 + *cur++ - '0'; 153*68d75effSDimitry Andric } 154*68d75effSDimitry Andric } 155*68d75effSDimitry Andric bool have_precision = (cur[0] == '.' && cur[1] == '*'); 156*68d75effSDimitry Andric int precision = -1; 157*68d75effSDimitry Andric if (have_precision) { 158*68d75effSDimitry Andric cur += 2; 159*68d75effSDimitry Andric precision = va_arg(args, int); 160*68d75effSDimitry Andric } 161*68d75effSDimitry Andric bool have_z = (*cur == 'z'); 162*68d75effSDimitry Andric cur += have_z; 163*68d75effSDimitry Andric bool have_ll = !have_z && (cur[0] == 'l' && cur[1] == 'l'); 164*68d75effSDimitry Andric cur += have_ll * 2; 165*68d75effSDimitry Andric s64 dval; 166*68d75effSDimitry Andric u64 uval; 167*68d75effSDimitry Andric const bool have_length = have_z || have_ll; 168*68d75effSDimitry Andric const bool have_flags = have_width || have_length; 169*68d75effSDimitry Andric // At the moment only %s supports precision and left-justification. 170*68d75effSDimitry Andric CHECK(!((precision >= 0 || left_justified) && *cur != 's')); 171*68d75effSDimitry Andric switch (*cur) { 172*68d75effSDimitry Andric case 'd': { 173*68d75effSDimitry Andric dval = have_ll ? va_arg(args, s64) 174*68d75effSDimitry Andric : have_z ? va_arg(args, sptr) 175*68d75effSDimitry Andric : va_arg(args, int); 176*68d75effSDimitry Andric result += AppendSignedDecimal(&buff, buff_end, dval, width, 177*68d75effSDimitry Andric pad_with_zero); 178*68d75effSDimitry Andric break; 179*68d75effSDimitry Andric } 180*68d75effSDimitry Andric case 'u': 181*68d75effSDimitry Andric case 'x': 182*68d75effSDimitry Andric case 'X': { 183*68d75effSDimitry Andric uval = have_ll ? va_arg(args, u64) 184*68d75effSDimitry Andric : have_z ? va_arg(args, uptr) 185*68d75effSDimitry Andric : va_arg(args, unsigned); 186*68d75effSDimitry Andric bool uppercase = (*cur == 'X'); 187*68d75effSDimitry Andric result += AppendUnsigned(&buff, buff_end, uval, (*cur == 'u') ? 10 : 16, 188*68d75effSDimitry Andric width, pad_with_zero, uppercase); 189*68d75effSDimitry Andric break; 190*68d75effSDimitry Andric } 191*68d75effSDimitry Andric case 'p': { 192*68d75effSDimitry Andric RAW_CHECK_MSG(!have_flags, kPrintfFormatsHelp); 193*68d75effSDimitry Andric result += AppendPointer(&buff, buff_end, va_arg(args, uptr)); 194*68d75effSDimitry Andric break; 195*68d75effSDimitry Andric } 196*68d75effSDimitry Andric case 's': { 197*68d75effSDimitry Andric RAW_CHECK_MSG(!have_length, kPrintfFormatsHelp); 198*68d75effSDimitry Andric // Only left-justified width is supported. 199*68d75effSDimitry Andric CHECK(!have_width || left_justified); 200*68d75effSDimitry Andric result += AppendString(&buff, buff_end, left_justified ? -width : width, 201*68d75effSDimitry Andric precision, va_arg(args, char*)); 202*68d75effSDimitry Andric break; 203*68d75effSDimitry Andric } 204*68d75effSDimitry Andric case 'c': { 205*68d75effSDimitry Andric RAW_CHECK_MSG(!have_flags, kPrintfFormatsHelp); 206*68d75effSDimitry Andric result += AppendChar(&buff, buff_end, va_arg(args, int)); 207*68d75effSDimitry Andric break; 208*68d75effSDimitry Andric } 209*68d75effSDimitry Andric case '%' : { 210*68d75effSDimitry Andric RAW_CHECK_MSG(!have_flags, kPrintfFormatsHelp); 211*68d75effSDimitry Andric result += AppendChar(&buff, buff_end, '%'); 212*68d75effSDimitry Andric break; 213*68d75effSDimitry Andric } 214*68d75effSDimitry Andric default: { 215*68d75effSDimitry Andric RAW_CHECK_MSG(false, kPrintfFormatsHelp); 216*68d75effSDimitry Andric } 217*68d75effSDimitry Andric } 218*68d75effSDimitry Andric } 219*68d75effSDimitry Andric RAW_CHECK(buff <= buff_end); 220*68d75effSDimitry Andric AppendChar(&buff, buff_end + 1, '\0'); 221*68d75effSDimitry Andric return result; 222*68d75effSDimitry Andric } 223*68d75effSDimitry Andric 224*68d75effSDimitry Andric static void (*PrintfAndReportCallback)(const char *); 225*68d75effSDimitry Andric void SetPrintfAndReportCallback(void (*callback)(const char *)) { 226*68d75effSDimitry Andric PrintfAndReportCallback = callback; 227*68d75effSDimitry Andric } 228*68d75effSDimitry Andric 229*68d75effSDimitry Andric // Can be overriden in frontend. 230*68d75effSDimitry Andric #if SANITIZER_GO && defined(TSAN_EXTERNAL_HOOKS) 231*68d75effSDimitry Andric // Implementation must be defined in frontend. 232*68d75effSDimitry Andric extern "C" void __sanitizer_on_print(const char *str); 233*68d75effSDimitry Andric #else 234*68d75effSDimitry Andric SANITIZER_INTERFACE_WEAK_DEF(void, __sanitizer_on_print, const char *str) { 235*68d75effSDimitry Andric (void)str; 236*68d75effSDimitry Andric } 237*68d75effSDimitry Andric #endif 238*68d75effSDimitry Andric 239*68d75effSDimitry Andric static void CallPrintfAndReportCallback(const char *str) { 240*68d75effSDimitry Andric __sanitizer_on_print(str); 241*68d75effSDimitry Andric if (PrintfAndReportCallback) 242*68d75effSDimitry Andric PrintfAndReportCallback(str); 243*68d75effSDimitry Andric } 244*68d75effSDimitry Andric 245*68d75effSDimitry Andric static void NOINLINE SharedPrintfCodeNoBuffer(bool append_pid, 246*68d75effSDimitry Andric char *local_buffer, 247*68d75effSDimitry Andric int buffer_size, 248*68d75effSDimitry Andric const char *format, 249*68d75effSDimitry Andric va_list args) { 250*68d75effSDimitry Andric va_list args2; 251*68d75effSDimitry Andric va_copy(args2, args); 252*68d75effSDimitry Andric const int kLen = 16 * 1024; 253*68d75effSDimitry Andric int needed_length; 254*68d75effSDimitry Andric char *buffer = local_buffer; 255*68d75effSDimitry Andric // First try to print a message using a local buffer, and then fall back to 256*68d75effSDimitry Andric // mmaped buffer. 257*68d75effSDimitry Andric for (int use_mmap = 0; use_mmap < 2; use_mmap++) { 258*68d75effSDimitry Andric if (use_mmap) { 259*68d75effSDimitry Andric va_end(args); 260*68d75effSDimitry Andric va_copy(args, args2); 261*68d75effSDimitry Andric buffer = (char*)MmapOrDie(kLen, "Report"); 262*68d75effSDimitry Andric buffer_size = kLen; 263*68d75effSDimitry Andric } 264*68d75effSDimitry Andric needed_length = 0; 265*68d75effSDimitry Andric // Check that data fits into the current buffer. 266*68d75effSDimitry Andric # define CHECK_NEEDED_LENGTH \ 267*68d75effSDimitry Andric if (needed_length >= buffer_size) { \ 268*68d75effSDimitry Andric if (!use_mmap) continue; \ 269*68d75effSDimitry Andric RAW_CHECK_MSG(needed_length < kLen, \ 270*68d75effSDimitry Andric "Buffer in Report is too short!\n"); \ 271*68d75effSDimitry Andric } 272*68d75effSDimitry Andric // Fuchsia's logging infrastructure always keeps track of the logging 273*68d75effSDimitry Andric // process, thread, and timestamp, so never prepend such information. 274*68d75effSDimitry Andric if (!SANITIZER_FUCHSIA && append_pid) { 275*68d75effSDimitry Andric int pid = internal_getpid(); 276*68d75effSDimitry Andric const char *exe_name = GetProcessName(); 277*68d75effSDimitry Andric if (common_flags()->log_exe_name && exe_name) { 278*68d75effSDimitry Andric needed_length += internal_snprintf(buffer, buffer_size, 279*68d75effSDimitry Andric "==%s", exe_name); 280*68d75effSDimitry Andric CHECK_NEEDED_LENGTH 281*68d75effSDimitry Andric } 282*68d75effSDimitry Andric needed_length += internal_snprintf( 283*68d75effSDimitry Andric buffer + needed_length, buffer_size - needed_length, "==%d==", pid); 284*68d75effSDimitry Andric CHECK_NEEDED_LENGTH 285*68d75effSDimitry Andric } 286*68d75effSDimitry Andric needed_length += VSNPrintf(buffer + needed_length, 287*68d75effSDimitry Andric buffer_size - needed_length, format, args); 288*68d75effSDimitry Andric CHECK_NEEDED_LENGTH 289*68d75effSDimitry Andric // If the message fit into the buffer, print it and exit. 290*68d75effSDimitry Andric break; 291*68d75effSDimitry Andric # undef CHECK_NEEDED_LENGTH 292*68d75effSDimitry Andric } 293*68d75effSDimitry Andric RawWrite(buffer); 294*68d75effSDimitry Andric 295*68d75effSDimitry Andric // Remove color sequences from the message. 296*68d75effSDimitry Andric RemoveANSIEscapeSequencesFromString(buffer); 297*68d75effSDimitry Andric CallPrintfAndReportCallback(buffer); 298*68d75effSDimitry Andric LogMessageOnPrintf(buffer); 299*68d75effSDimitry Andric 300*68d75effSDimitry Andric // If we had mapped any memory, clean up. 301*68d75effSDimitry Andric if (buffer != local_buffer) 302*68d75effSDimitry Andric UnmapOrDie((void *)buffer, buffer_size); 303*68d75effSDimitry Andric va_end(args2); 304*68d75effSDimitry Andric } 305*68d75effSDimitry Andric 306*68d75effSDimitry Andric static void NOINLINE SharedPrintfCode(bool append_pid, const char *format, 307*68d75effSDimitry Andric va_list args) { 308*68d75effSDimitry Andric // |local_buffer| is small enough not to overflow the stack and/or violate 309*68d75effSDimitry Andric // the stack limit enforced by TSan (-Wframe-larger-than=512). On the other 310*68d75effSDimitry Andric // hand, the bigger the buffer is, the more the chance the error report will 311*68d75effSDimitry Andric // fit into it. 312*68d75effSDimitry Andric char local_buffer[400]; 313*68d75effSDimitry Andric SharedPrintfCodeNoBuffer(append_pid, local_buffer, ARRAY_SIZE(local_buffer), 314*68d75effSDimitry Andric format, args); 315*68d75effSDimitry Andric } 316*68d75effSDimitry Andric 317*68d75effSDimitry Andric FORMAT(1, 2) 318*68d75effSDimitry Andric void Printf(const char *format, ...) { 319*68d75effSDimitry Andric va_list args; 320*68d75effSDimitry Andric va_start(args, format); 321*68d75effSDimitry Andric SharedPrintfCode(false, format, args); 322*68d75effSDimitry Andric va_end(args); 323*68d75effSDimitry Andric } 324*68d75effSDimitry Andric 325*68d75effSDimitry Andric // Like Printf, but prints the current PID before the output string. 326*68d75effSDimitry Andric FORMAT(1, 2) 327*68d75effSDimitry Andric void Report(const char *format, ...) { 328*68d75effSDimitry Andric va_list args; 329*68d75effSDimitry Andric va_start(args, format); 330*68d75effSDimitry Andric SharedPrintfCode(true, format, args); 331*68d75effSDimitry Andric va_end(args); 332*68d75effSDimitry Andric } 333*68d75effSDimitry Andric 334*68d75effSDimitry Andric // Writes at most "length" symbols to "buffer" (including trailing '\0'). 335*68d75effSDimitry Andric // Returns the number of symbols that should have been written to buffer 336*68d75effSDimitry Andric // (not including trailing '\0'). Thus, the string is truncated 337*68d75effSDimitry Andric // iff return value is not less than "length". 338*68d75effSDimitry Andric FORMAT(3, 4) 339*68d75effSDimitry Andric int internal_snprintf(char *buffer, uptr length, const char *format, ...) { 340*68d75effSDimitry Andric va_list args; 341*68d75effSDimitry Andric va_start(args, format); 342*68d75effSDimitry Andric int needed_length = VSNPrintf(buffer, length, format, args); 343*68d75effSDimitry Andric va_end(args); 344*68d75effSDimitry Andric return needed_length; 345*68d75effSDimitry Andric } 346*68d75effSDimitry Andric 347*68d75effSDimitry Andric FORMAT(2, 3) 348*68d75effSDimitry Andric void InternalScopedString::append(const char *format, ...) { 349*68d75effSDimitry Andric CHECK_LT(length_, size()); 350*68d75effSDimitry Andric va_list args; 351*68d75effSDimitry Andric va_start(args, format); 352*68d75effSDimitry Andric VSNPrintf(data() + length_, size() - length_, format, args); 353*68d75effSDimitry Andric va_end(args); 354*68d75effSDimitry Andric length_ += internal_strlen(data() + length_); 355*68d75effSDimitry Andric CHECK_LT(length_, size()); 356*68d75effSDimitry Andric } 357*68d75effSDimitry Andric 358*68d75effSDimitry Andric } // namespace __sanitizer 359