| Elliott Hughes | 413817f | 2020-10-26 15:05:35 -0700 | [diff] [blame] | 1 | /* | 
|  | 2 | * Copyright (C) 2020 The Android Open Source Project | 
|  | 3 | * All rights reserved. | 
|  | 4 | * | 
|  | 5 | * Redistribution and use in source and binary forms, with or without | 
|  | 6 | * modification, are permitted provided that the following conditions | 
|  | 7 | * are met: | 
|  | 8 | *  * Redistributions of source code must retain the above copyright | 
|  | 9 | *    notice, this list of conditions and the following disclaimer. | 
|  | 10 | *  * Redistributions in binary form must reproduce the above copyright | 
|  | 11 | *    notice, this list of conditions and the following disclaimer in | 
|  | 12 | *    the documentation and/or other materials provided with the | 
|  | 13 | *    distribution. | 
|  | 14 | * | 
|  | 15 | * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS | 
|  | 16 | * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT | 
|  | 17 | * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS | 
|  | 18 | * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE | 
|  | 19 | * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, | 
|  | 20 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, | 
|  | 21 | * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS | 
|  | 22 | * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED | 
|  | 23 | * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, | 
|  | 24 | * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT | 
|  | 25 | * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF | 
|  | 26 | * SUCH DAMAGE. | 
|  | 27 | */ | 
|  | 28 |  | 
|  | 29 | #include <cxxabi.h> | 
|  | 30 | #include <gtest/gtest.h> | 
| Ryan Prichard | 1a5e871 | 2024-02-23 16:43:48 -0800 | [diff] [blame] | 31 | #include <string.h> | 
| Elliott Hughes | 413817f | 2020-10-26 15:05:35 -0700 | [diff] [blame] | 32 |  | 
| Elliott Hughes | 413817f | 2020-10-26 15:05:35 -0700 | [diff] [blame] | 33 | TEST(__cxa_demangle, cxa_demangle_fuzz_152588929) { | 
|  | 34 | #if defined(__aarch64__) | 
| Ryan Prichard | 1a5e871 | 2024-02-23 16:43:48 -0800 | [diff] [blame] | 35 | // Test the C++ demangler on an invalid mangled string. libc++abi currently | 
|  | 36 | // parses it like so: | 
|  | 37 | //    (1 "\006") (I (L e "eeEEEEEEEEEEEEEEEEEEEEEEEEEEEEEE" E) E) | 
|  | 38 | // There are a few interesting things about this mangled input: | 
|  | 39 | //  - The IA64 C++ ABI specifies that an FP literal's hex chars are lowercase. | 
|  | 40 | //    The libc++abi demangler currently accepts uppercase A-F digits, which is | 
|  | 41 | //    confusing because 'E' is supposed to mark the end of the <expr-primary>. | 
|  | 42 | //  - libc++abi uses snprintf("%a") which puts an unspecified number of bits | 
|  | 43 | //    in the digit before the decimal point. | 
|  | 44 | //  - The identifier name is "\006", and the IA64 C++ ABI spec is explicit | 
|  | 45 | //    about not specifying the encoding for characters outside of | 
|  | 46 | //    [_A-Za-z0-9]. | 
|  | 47 | //  - The 'e' type is documented as "long double, __float80", and in practice | 
|  | 48 | //    the length of the literal depends on the arch. For arm64, it is a | 
|  | 49 | //    128-bit FP type encoded using 32 hex chars. The situation with x86-64 | 
|  | 50 | //    Android OTOH is messy because Clang uses 'g' for its 128-bit | 
|  | 51 | //    long double. | 
| Ryan Prichard | c2adad1 | 2022-12-08 16:52:39 -0800 | [diff] [blame] | 52 | char* p = abi::__cxa_demangle("1\006ILeeeEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEE", 0, 0, 0); | 
| Ryan Prichard | 1a5e871 | 2024-02-23 16:43:48 -0800 | [diff] [blame] | 53 | if (p && !strcmp(p, "\x6<-0x1.cecececececececececececececep+11983")) { | 
|  | 54 | // Prior to llvm.org/D77924, libc++abi left off the "L>" suffix. | 
|  | 55 | } else if (p && !strcmp(p, "\x6<-0x1.cecececececececececececececep+11983L>")) { | 
|  | 56 | // After llvm.org/D77924, the "L>" suffix is present. libc++abi | 
|  | 57 | // accepts A-F digits but decodes each using (digit - 'a' + 10), turning 'E' | 
|  | 58 | // into -18. | 
|  | 59 | } else { | 
|  | 60 | // TODO: Remove the other accepted outputs, because libc++abi probably | 
|  | 61 | // should reject this input. | 
|  | 62 | ASSERT_EQ(nullptr, p) << p; | 
|  | 63 | } | 
| Elliott Hughes | 413817f | 2020-10-26 15:05:35 -0700 | [diff] [blame] | 64 | free(p); | 
|  | 65 | #endif | 
|  | 66 | } | 
|  | 67 |  | 
| Elliott Hughes | 8589e09 | 2020-11-10 11:31:51 -0800 | [diff] [blame] | 68 | TEST(__cxa_demangle, DISABLED_cxa_demangle_fuzz_167977068) { | 
| Elliott Hughes | 413817f | 2020-10-26 15:05:35 -0700 | [diff] [blame] | 69 | #if defined(__aarch64__) | 
| Ryan Prichard | c2adad1 | 2022-12-08 16:52:39 -0800 | [diff] [blame] | 70 | char* p = abi::__cxa_demangle("DTLeeeeeeeeeeeeeeeeeeeeeeeeeEEEEeeEEEE", 0, 0, 0); | 
| Elliott Hughes | f266f26 | 2020-11-05 16:23:39 -0800 | [diff] [blame] | 71 | ASSERT_EQ(nullptr, p) << p; | 
|  | 72 | free(p); | 
| Elliott Hughes | 413817f | 2020-10-26 15:05:35 -0700 | [diff] [blame] | 73 | #endif | 
|  | 74 | } |