Branch data     Line data    Source code

       1                 :            : // Copyright (c) 2020-2021 The Bitcoin Core developers
       2                 :            : // Distributed under the MIT software license, see the accompanying
       3                 :            : // file COPYING or http://www.opensource.org/licenses/mit-license.php.
       4                 :            : 
       5                 :            : #include <test/fuzz/FuzzedDataProvider.h>
       6                 :            : #include <test/fuzz/fuzz.h>
       7                 :            : #include <test/fuzz/util.h>
       8                 :            : #include <tinyformat.h>
       9                 :            : #include <util/strencodings.h>
      10                 :            : #include <util/translation.h>
      11                 :            : 
      12                 :            : #include <algorithm>
      13                 :            : #include <cstdint>
      14                 :            : #include <string>
      15                 :            : #include <vector>
      16                 :            : 
      17         [ -  + ]:        657 : FUZZ_TARGET(str_printf)
      18                 :            : {
      19                 :        311 :     FuzzedDataProvider fuzzed_data_provider(buffer.data(), buffer.size());
      20                 :        311 :     const std::string format_string = fuzzed_data_provider.ConsumeRandomLengthString(64);
      21   [ +  -  +  - ]:        311 :     const bilingual_str bilingual_string{format_string, format_string};
      22                 :            : 
      23         [ +  - ]:        311 :     const int digits_in_format_specifier = std::count_if(format_string.begin(), format_string.end(), IsDigit);
      24                 :            : 
      25         [ +  - ]:        173 :     // Avoid triggering the following crash bug:
      26                 :            :     // * strprintf("%987654321000000:", 1);
      27                 :            :     //
      28                 :            :     // Avoid triggering the following OOM bug:
      29                 :            :     // * strprintf("%.222222200000000$", 1.1);
      30                 :            :     //
      31                 :            :     // Upstream bug report: https://github.com/c42f/tinyformat/issues/70
      32   [ +  +  +  + ]:        311 :     if (format_string.find('%') != std::string::npos && digits_in_format_specifier >= 7) {
      33                 :          1 :         return;
      34                 :            :     }
      35                 :            : 
      36                 :            :     // Avoid triggering the following crash bug:
      37                 :            :     // * strprintf("%1$*1$*", -11111111);
      38                 :            :     //
      39                 :            :     // Upstream bug report: https://github.com/c42f/tinyformat/issues/70
      40   [ +  +  +  +  :        310 :     if (format_string.find('%') != std::string::npos && format_string.find('$') != std::string::npos && format_string.find('*') != std::string::npos && digits_in_format_specifier > 0) {
             +  +  -  + ]
      41                 :          1 :         return;
      42                 :            :     }
      43                 :            : 
      44                 :            :     // Avoid triggering the following crash bug:
      45                 :            :     // * strprintf("%.1s", (char*)nullptr);
      46                 :            :     //
      47                 :            :     // (void)strprintf(format_string, (char*)nullptr);
      48                 :            :     //
      49                 :            :     // Upstream bug report: https://github.com/c42f/tinyformat/issues/70
      50                 :            : 
      51                 :            :     try {
      52         [ +  + ]:        309 :         CallOneOf(
      53                 :            :             fuzzed_data_provider,
      54                 :        406 :             [&] {
      55         [ +  + ]:         97 :                 (void)strprintf(format_string, fuzzed_data_provider.ConsumeRandomLengthString(32));
      56         [ -  + ]:         36 :                 (void)tinyformat::format(bilingual_string, fuzzed_data_provider.ConsumeRandomLengthString(32));
      57                 :         97 :             },
      58                 :        335 :             [&] {
      59         [ +  + ]:         26 :                 (void)strprintf(format_string, fuzzed_data_provider.ConsumeRandomLengthString(32).c_str());
      60         [ -  + ]:         18 :                 (void)tinyformat::format(bilingual_string, fuzzed_data_provider.ConsumeRandomLengthString(32).c_str());
      61                 :         26 :             },
      62                 :        362 :             [&] {
      63                 :         53 :                 (void)strprintf(format_string, fuzzed_data_provider.ConsumeIntegral<signed char>());
      64                 :         53 :                 (void)tinyformat::format(bilingual_string, fuzzed_data_provider.ConsumeIntegral<signed char>());
      65                 :         53 :             },
      66                 :        368 :             [&] {
      67                 :         59 :                 (void)strprintf(format_string, fuzzed_data_provider.ConsumeIntegral<unsigned char>());
      68                 :         59 :                 (void)tinyformat::format(bilingual_string, fuzzed_data_provider.ConsumeIntegral<unsigned char>());
      69                 :         59 :             },
      70                 :        361 :             [&] {
      71                 :         52 :                 (void)strprintf(format_string, fuzzed_data_provider.ConsumeIntegral<char>());
      72                 :         52 :                 (void)tinyformat::format(bilingual_string, fuzzed_data_provider.ConsumeIntegral<char>());
      73                 :         52 :             },
      74                 :        504 :             [&] {
      75                 :         22 :                 (void)strprintf(format_string, fuzzed_data_provider.ConsumeBool());
      76                 :         22 :                 (void)tinyformat::format(bilingual_string, fuzzed_data_provider.ConsumeBool());
      77                 :         22 :             });
      78         [ +  - ]:        309 :     } catch (const tinyformat::format_error&) {
      79         [ +  - ]:        191 :     }
      80                 :            : 
      81   [ +  +  +  + ]:        309 :     if (format_string.find('%') != std::string::npos && format_string.find('c') != std::string::npos) {
      82                 :            :         // Avoid triggering the following:
      83                 :            :         // * strprintf("%c", 1.31783e+38);
      84                 :            :         // tinyformat.h:244:36: runtime error: 1.31783e+38 is outside the range of representable values of type 'char'
      85                 :         18 :         return;
      86                 :            :     }
      87                 :            : 
      88   [ +  +  +  + ]:        291 :     if (format_string.find('%') != std::string::npos && format_string.find('*') != std::string::npos) {
      89                 :            :         // Avoid triggering the following:
      90                 :            :         // * strprintf("%*", -2.33527e+38);
      91                 :            :         // tinyformat.h:283:65: runtime error: -2.33527e+38 is outside the range of representable values of type 'int'
      92                 :            :         // * strprintf("%*", -2147483648);
      93                 :            :         // tinyformat.h:763:25: runtime error: negation of -2147483648 cannot be represented in type 'int'; cast to an unsigned type to negate this value to itself
      94                 :         54 :         return;
      95                 :            :     }
      96                 :            : 
      97                 :            :     try {
      98         [ +  + ]:        237 :         CallOneOf(
      99                 :            :             fuzzed_data_provider,
     100                 :        385 :             [&] {
     101                 :        148 :                 (void)strprintf(format_string, fuzzed_data_provider.ConsumeFloatingPoint<float>());
     102                 :        148 :                 (void)tinyformat::format(bilingual_string, fuzzed_data_provider.ConsumeFloatingPoint<float>());
     103                 :        148 :             },
     104                 :        245 :             [&] {
     105                 :          8 :                 (void)strprintf(format_string, fuzzed_data_provider.ConsumeFloatingPoint<double>());
     106                 :          8 :                 (void)tinyformat::format(bilingual_string, fuzzed_data_provider.ConsumeFloatingPoint<double>());
     107                 :          8 :             },
     108                 :        246 :             [&] {
     109                 :          9 :                 (void)strprintf(format_string, fuzzed_data_provider.ConsumeIntegral<int16_t>());
     110                 :          9 :                 (void)tinyformat::format(bilingual_string, fuzzed_data_provider.ConsumeIntegral<int16_t>());
     111                 :          9 :             },
     112                 :        247 :             [&] {
     113                 :         10 :                 (void)strprintf(format_string, fuzzed_data_provider.ConsumeIntegral<uint16_t>());
     114                 :         10 :                 (void)tinyformat::format(bilingual_string, fuzzed_data_provider.ConsumeIntegral<uint16_t>());
     115                 :         10 :             },
     116                 :        249 :             [&] {
     117                 :         12 :                 (void)strprintf(format_string, fuzzed_data_provider.ConsumeIntegral<int32_t>());
     118                 :         12 :                 (void)tinyformat::format(bilingual_string, fuzzed_data_provider.ConsumeIntegral<int32_t>());
     119                 :         12 :             },
     120                 :        250 :             [&] {
     121                 :         13 :                 (void)strprintf(format_string, fuzzed_data_provider.ConsumeIntegral<uint32_t>());
     122                 :         13 :                 (void)tinyformat::format(bilingual_string, fuzzed_data_provider.ConsumeIntegral<uint32_t>());
     123                 :         13 :             },
     124                 :        257 :             [&] {
     125                 :         20 :                 (void)strprintf(format_string, fuzzed_data_provider.ConsumeIntegral<int64_t>());
     126                 :         20 :                 (void)tinyformat::format(bilingual_string, fuzzed_data_provider.ConsumeIntegral<int64_t>());
     127                 :         20 :             },
     128                 :        254 :             [&] {
     129                 :         17 :                 (void)strprintf(format_string, fuzzed_data_provider.ConsumeIntegral<uint64_t>());
     130                 :         17 :                 (void)tinyformat::format(bilingual_string, fuzzed_data_provider.ConsumeIntegral<uint64_t>());
     131                 :         17 :             });
     132         [ +  - ]:        237 :     } catch (const tinyformat::format_error&) {
     133         [ +  - ]:        145 :     }
     134         [ -  + ]:        647 : }