George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2017 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 | #ifndef _STRING_H |
| 30 | #error "Never include this file directly; instead, include <string.h>" |
| 31 | #endif |
| 32 | |
Elliott Hughes | 3f66e74 | 2017-08-01 13:24:40 -0700 | [diff] [blame] | 33 | void* __memchr_chk(const void*, int, size_t, size_t) __INTRODUCED_IN(23); |
| 34 | void* __memrchr_chk(const void*, int, size_t, size_t) __INTRODUCED_IN(23); |
| 35 | char* __stpncpy_chk2(char*, const char*, size_t, size_t, size_t) __INTRODUCED_IN(21); |
| 36 | char* __strncpy_chk2(char*, const char*, size_t, size_t, size_t) __INTRODUCED_IN(21); |
| 37 | size_t __strlcpy_chk(char*, const char*, size_t, size_t) __INTRODUCED_IN(17); |
| 38 | size_t __strlcat_chk(char*, const char*, size_t, size_t) __INTRODUCED_IN(17); |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 39 | |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 40 | #if defined(__BIONIC_FORTIFY) |
Elliott Hughes | df9a489 | 2017-08-23 14:34:03 -0700 | [diff] [blame] | 41 | extern void* __memrchr_real(const void*, int, size_t) __RENAME(memrchr); |
| 42 | |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 43 | #if __ANDROID_API__ >= __ANDROID_API_J_MR1__ |
| 44 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 45 | void* memcpy(void* const dst __pass_object_size0, const void* src, size_t copy_amount) |
| 46 | __overloadable |
George Burgess IV | 5273dc5 | 2019-05-09 13:46:57 -0700 | [diff] [blame] | 47 | __clang_error_if(__bos_unevaluated_lt(__bos0(dst), copy_amount), |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 48 | "'memcpy' called with size bigger than buffer") { |
George Burgess IV | 5da5dd5 | 2019-05-09 14:32:43 -0700 | [diff] [blame] | 49 | size_t bos_dst = __bos0(dst); |
| 50 | if (__bos_trivially_not_lt(bos_dst, copy_amount)) { |
| 51 | return __builtin_memcpy(dst, src, copy_amount); |
| 52 | } |
| 53 | return __builtin___memcpy_chk(dst, src, copy_amount, bos_dst); |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 54 | } |
| 55 | |
| 56 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 57 | void* memmove(void* const dst __pass_object_size0, const void* src, size_t len) |
| 58 | __overloadable |
George Burgess IV | 5273dc5 | 2019-05-09 13:46:57 -0700 | [diff] [blame] | 59 | __clang_error_if(__bos_unevaluated_lt(__bos0(dst), len), |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 60 | "'memmove' called with size bigger than buffer") { |
George Burgess IV | 5da5dd5 | 2019-05-09 14:32:43 -0700 | [diff] [blame] | 61 | size_t bos_dst = __bos0(dst); |
| 62 | if (__bos_trivially_not_lt(bos_dst, len)) { |
| 63 | return __builtin_memmove(dst, src, len); |
| 64 | } |
| 65 | return __builtin___memmove_chk(dst, src, len, bos_dst); |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 66 | } |
| 67 | #endif /* __ANDROID_API__ >= __ANDROID_API_J_MR1__ */ |
| 68 | |
George Burgess IV | 849c0b9 | 2019-06-10 16:22:09 -0700 | [diff] [blame] | 69 | #if defined(__USE_GNU) |
| 70 | #if __ANDROID_API__ >= __ANDROID_API_R__ |
| 71 | __BIONIC_FORTIFY_INLINE |
| 72 | void* mempcpy(void* const dst __pass_object_size0, const void* src, size_t copy_amount) |
| 73 | __overloadable |
| 74 | __clang_error_if(__bos_unevaluated_lt(__bos0(dst), copy_amount), |
| 75 | "'mempcpy' called with size bigger than buffer") { |
| 76 | size_t bos_dst = __bos0(dst); |
| 77 | if (__bos_trivially_not_lt(bos_dst, copy_amount)) { |
| 78 | return __builtin_mempcpy(dst, src, copy_amount); |
| 79 | } |
| 80 | return __builtin___mempcpy_chk(dst, src, copy_amount, bos_dst); |
| 81 | } |
| 82 | #endif /* __ANDROID_API__ >= __ANDROID_API_R__ */ |
| 83 | #endif |
| 84 | |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 85 | #if __ANDROID_API__ >= __ANDROID_API_L__ |
| 86 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 87 | char* stpcpy(char* const dst __pass_object_size, const char* src) |
| 88 | __overloadable |
George Burgess IV | c03d596 | 2019-05-23 15:22:01 -0700 | [diff] [blame] | 89 | __clang_error_if(__bos_unevaluated_le(__bos(dst), __builtin_strlen(src)), |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 90 | "'stpcpy' called with string bigger than buffer") { |
George Burgess IV | 5da5dd5 | 2019-05-09 14:32:43 -0700 | [diff] [blame] | 91 | size_t bos_dst = __bos(dst); |
George Burgess IV | c03d596 | 2019-05-23 15:22:01 -0700 | [diff] [blame] | 92 | if (__bos_trivially_not_le(bos_dst, __builtin_strlen(src))) { |
George Burgess IV | 5da5dd5 | 2019-05-09 14:32:43 -0700 | [diff] [blame] | 93 | return __builtin_stpcpy(dst, src); |
| 94 | } |
| 95 | return __builtin___stpcpy_chk(dst, src, bos_dst); |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 96 | } |
| 97 | #endif /* __ANDROID_API__ >= __ANDROID_API_L__ */ |
| 98 | |
| 99 | #if __ANDROID_API__ >= __ANDROID_API_J_MR1__ |
| 100 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 101 | char* strcpy(char* const dst __pass_object_size, const char* src) |
| 102 | __overloadable |
George Burgess IV | c03d596 | 2019-05-23 15:22:01 -0700 | [diff] [blame] | 103 | __clang_error_if(__bos_unevaluated_le(__bos(dst), __builtin_strlen(src)), |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 104 | "'strcpy' called with string bigger than buffer") { |
George Burgess IV | 5da5dd5 | 2019-05-09 14:32:43 -0700 | [diff] [blame] | 105 | size_t bos_dst = __bos(dst); |
George Burgess IV | c03d596 | 2019-05-23 15:22:01 -0700 | [diff] [blame] | 106 | if (__bos_trivially_not_le(bos_dst, __builtin_strlen(src))) { |
George Burgess IV | 5da5dd5 | 2019-05-09 14:32:43 -0700 | [diff] [blame] | 107 | return __builtin_strcpy(dst, src); |
| 108 | } |
| 109 | return __builtin___strcpy_chk(dst, src, bos_dst); |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 110 | } |
| 111 | |
| 112 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | 77f99aa | 2019-06-06 14:14:52 -0700 | [diff] [blame] | 113 | char* strcat(char* const dst __pass_object_size, const char* src) |
| 114 | __overloadable |
| 115 | __clang_error_if(__bos_unevaluated_le(__bos(dst), __builtin_strlen(src)), |
| 116 | "'strcat' called with string bigger than buffer") { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 117 | return __builtin___strcat_chk(dst, src, __bos(dst)); |
| 118 | } |
| 119 | |
| 120 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | 77f99aa | 2019-06-06 14:14:52 -0700 | [diff] [blame] | 121 | char* strncat(char* const dst __pass_object_size, const char* src, size_t n) |
| 122 | __overloadable |
| 123 | __clang_error_if(__bos_unevaluated_lt(__bos(dst), n), |
| 124 | "'strncat' called with size bigger than buffer") { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 125 | return __builtin___strncat_chk(dst, src, n, __bos(dst)); |
| 126 | } |
| 127 | |
| 128 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 129 | void* memset(void* const s __pass_object_size0, int c, size_t n) |
| 130 | __overloadable |
George Burgess IV | 5273dc5 | 2019-05-09 13:46:57 -0700 | [diff] [blame] | 131 | __clang_error_if(__bos_unevaluated_lt(__bos0(s), n), |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 132 | "'memset' called with size bigger than buffer") |
| 133 | /* If you're a user who wants this warning to go away: use `(&memset)(foo, bar, baz)`. */ |
| 134 | __clang_warning_if(c && !n, "'memset' will set 0 bytes; maybe the arguments got flipped?") { |
George Burgess IV | 5da5dd5 | 2019-05-09 14:32:43 -0700 | [diff] [blame] | 135 | size_t bos = __bos0(s); |
| 136 | if (__bos_trivially_not_lt(bos, n)) { |
| 137 | return __builtin_memset(s, c, n); |
| 138 | } |
| 139 | return __builtin___memset_chk(s, c, n, bos); |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 140 | } |
| 141 | #endif /* __ANDROID_API__ >= __ANDROID_API_J_MR1__ */ |
| 142 | |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 143 | #if __ANDROID_API__ >= __ANDROID_API_M__ |
| 144 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 145 | void* memchr(const void* const s __pass_object_size, int c, size_t n) __overloadable { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 146 | size_t bos = __bos(s); |
| 147 | |
George Burgess IV | c03d596 | 2019-05-23 15:22:01 -0700 | [diff] [blame] | 148 | if (__bos_trivially_ge(bos, n)) { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 149 | return __builtin_memchr(s, c, n); |
| 150 | } |
| 151 | |
| 152 | return __memchr_chk(s, c, n, bos); |
| 153 | } |
| 154 | |
| 155 | __BIONIC_FORTIFY_INLINE |
Elliott Hughes | df9a489 | 2017-08-23 14:34:03 -0700 | [diff] [blame] | 156 | void* __memrchr_fortify(const void* const __pass_object_size s, int c, size_t n) __overloadable { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 157 | size_t bos = __bos(s); |
| 158 | |
George Burgess IV | c03d596 | 2019-05-23 15:22:01 -0700 | [diff] [blame] | 159 | if (__bos_trivially_ge(bos, n)) { |
Elliott Hughes | df9a489 | 2017-08-23 14:34:03 -0700 | [diff] [blame] | 160 | return __memrchr_real(s, c, n); |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 161 | } |
| 162 | |
| 163 | return __memrchr_chk(s, c, n, bos); |
| 164 | } |
| 165 | #endif /* __ANDROID_API__ >= __ANDROID_API_M__ */ |
| 166 | |
| 167 | #if __ANDROID_API__ >= __ANDROID_API_L__ |
| 168 | __BIONIC_FORTIFY_INLINE |
Elliott Hughes | 3f66e74 | 2017-08-01 13:24:40 -0700 | [diff] [blame] | 169 | char* stpncpy(char* const dst __pass_object_size, const char* const src __pass_object_size, size_t n) |
George Burgess IV | 77f99aa | 2019-06-06 14:14:52 -0700 | [diff] [blame] | 170 | __overloadable |
| 171 | __clang_error_if(__bos_unevaluated_lt(__bos(dst), n), |
| 172 | "'stpncpy' called with size bigger than buffer") { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 173 | size_t bos_dst = __bos(dst); |
| 174 | size_t bos_src = __bos(src); |
| 175 | |
| 176 | /* Ignore dst size checks; they're handled in strncpy_chk */ |
| 177 | if (bos_src == __BIONIC_FORTIFY_UNKNOWN_SIZE) { |
| 178 | return __builtin___stpncpy_chk(dst, src, n, bos_dst); |
| 179 | } |
| 180 | |
| 181 | return __stpncpy_chk2(dst, src, n, bos_dst, bos_src); |
| 182 | } |
| 183 | |
| 184 | __BIONIC_FORTIFY_INLINE |
Elliott Hughes | 3f66e74 | 2017-08-01 13:24:40 -0700 | [diff] [blame] | 185 | char* strncpy(char* const dst __pass_object_size, const char* const src __pass_object_size, size_t n) |
George Burgess IV | 77f99aa | 2019-06-06 14:14:52 -0700 | [diff] [blame] | 186 | __overloadable |
| 187 | __clang_error_if(__bos_unevaluated_lt(__bos(dst), n), |
| 188 | "'strncpy' called with size bigger than buffer") { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 189 | size_t bos_dst = __bos(dst); |
| 190 | size_t bos_src = __bos(src); |
| 191 | |
| 192 | /* Ignore dst size checks; they're handled in strncpy_chk */ |
| 193 | if (bos_src == __BIONIC_FORTIFY_UNKNOWN_SIZE) { |
| 194 | return __builtin___strncpy_chk(dst, src, n, bos_dst); |
| 195 | } |
| 196 | |
| 197 | return __strncpy_chk2(dst, src, n, bos_dst, bos_src); |
| 198 | } |
| 199 | #endif /* __ANDROID_API__ >= __ANDROID_API_L__ */ |
| 200 | |
| 201 | #if __ANDROID_API__ >= __ANDROID_API_J_MR1__ |
| 202 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | 77f99aa | 2019-06-06 14:14:52 -0700 | [diff] [blame] | 203 | size_t strlcpy(char* const dst __pass_object_size, const char* src, size_t size) |
| 204 | __overloadable |
| 205 | __clang_error_if(__bos_unevaluated_lt(__bos(dst), size), |
| 206 | "'strlcpy' called with size bigger than buffer") { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 207 | size_t bos = __bos(dst); |
| 208 | |
| 209 | if (bos == __BIONIC_FORTIFY_UNKNOWN_SIZE) { |
| 210 | return __call_bypassing_fortify(strlcpy)(dst, src, size); |
| 211 | } |
| 212 | |
| 213 | return __strlcpy_chk(dst, src, size, bos); |
| 214 | } |
| 215 | |
| 216 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | 77f99aa | 2019-06-06 14:14:52 -0700 | [diff] [blame] | 217 | size_t strlcat(char* const dst __pass_object_size, const char* src, size_t size) |
| 218 | __overloadable |
| 219 | __clang_error_if(__bos_unevaluated_lt(__bos(dst), size), |
| 220 | "'strlcat' called with size bigger than buffer") { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 221 | size_t bos = __bos(dst); |
| 222 | |
| 223 | if (bos == __BIONIC_FORTIFY_UNKNOWN_SIZE) { |
| 224 | return __call_bypassing_fortify(strlcat)(dst, src, size); |
| 225 | } |
| 226 | |
| 227 | return __strlcat_chk(dst, src, size, bos); |
| 228 | } |
| 229 | |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 230 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 231 | size_t strlen(const char* const s __pass_object_size0) __overloadable { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 232 | size_t bos = __bos0(s); |
| 233 | |
George Burgess IV | a1a09b2 | 2019-05-13 17:16:20 -0700 | [diff] [blame] | 234 | if (__bos_trivially_gt(bos, __builtin_strlen(s))) { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 235 | return __builtin_strlen(s); |
| 236 | } |
| 237 | |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 238 | return __strlen_chk(s, bos); |
| 239 | } |
| 240 | #endif /* __ANDROID_API__ >= __ANDROID_API_J_MR1__ */ |
| 241 | |
| 242 | #if __ANDROID_API__ >= __ANDROID_API_J_MR2__ |
| 243 | __BIONIC_FORTIFY_INLINE |
Elliott Hughes | 3f66e74 | 2017-08-01 13:24:40 -0700 | [diff] [blame] | 244 | char* strchr(const char* const s __pass_object_size, int c) __overloadable { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 245 | size_t bos = __bos(s); |
| 246 | |
| 247 | if (bos == __BIONIC_FORTIFY_UNKNOWN_SIZE) { |
| 248 | return __builtin_strchr(s, c); |
| 249 | } |
| 250 | |
| 251 | return __strchr_chk(s, c, bos); |
| 252 | } |
| 253 | |
| 254 | __BIONIC_FORTIFY_INLINE |
Elliott Hughes | 3f66e74 | 2017-08-01 13:24:40 -0700 | [diff] [blame] | 255 | char* strrchr(const char* const s __pass_object_size, int c) __overloadable { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 256 | size_t bos = __bos(s); |
| 257 | |
| 258 | if (bos == __BIONIC_FORTIFY_UNKNOWN_SIZE) { |
| 259 | return __builtin_strrchr(s, c); |
| 260 | } |
| 261 | |
| 262 | return __strrchr_chk(s, c, bos); |
| 263 | } |
| 264 | #endif /* __ANDROID_API__ >= __ANDROID_API_J_MR2__ */ |
| 265 | |
Elliott Hughes | df9a489 | 2017-08-23 14:34:03 -0700 | [diff] [blame] | 266 | #if __ANDROID_API__ >= __ANDROID_API_M__ |
| 267 | #if defined(__cplusplus) |
| 268 | extern "C++" { |
| 269 | __BIONIC_FORTIFY_INLINE |
| 270 | void* memrchr(void* const __pass_object_size s, int c, size_t n) { |
| 271 | return __memrchr_fortify(s, c, n); |
| 272 | } |
| 273 | |
| 274 | __BIONIC_FORTIFY_INLINE |
| 275 | const void* memrchr(const void* const __pass_object_size s, int c, size_t n) { |
| 276 | return __memrchr_fortify(s, c, n); |
| 277 | } |
| 278 | } |
| 279 | #else |
| 280 | __BIONIC_FORTIFY_INLINE |
| 281 | void* memrchr(const void* const __pass_object_size s, int c, size_t n) __overloadable { |
| 282 | return __memrchr_fortify(s, c, n); |
| 283 | } |
| 284 | #endif |
| 285 | #endif /* __ANDROID_API__ >= __ANDROID_API_M__ */ |
| 286 | |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 287 | #endif /* defined(__BIONIC_FORTIFY) */ |