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 | |
| 69 | #if __ANDROID_API__ >= __ANDROID_API_L__ |
| 70 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 71 | char* stpcpy(char* const dst __pass_object_size, const char* src) |
| 72 | __overloadable |
George Burgess IV | 5273dc5 | 2019-05-09 13:46:57 -0700 | [diff] [blame] | 73 | __clang_error_if(__bos_unevaluated_leq(__bos(dst), __builtin_strlen(src)), |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 74 | "'stpcpy' called with string bigger than buffer") { |
George Burgess IV | 5da5dd5 | 2019-05-09 14:32:43 -0700 | [diff] [blame^] | 75 | size_t bos_dst = __bos(dst); |
| 76 | if (__bos_trivially_not_leq(bos_dst, __builtin_strlen(src))) { |
| 77 | return __builtin_stpcpy(dst, src); |
| 78 | } |
| 79 | return __builtin___stpcpy_chk(dst, src, bos_dst); |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 80 | } |
| 81 | #endif /* __ANDROID_API__ >= __ANDROID_API_L__ */ |
| 82 | |
| 83 | #if __ANDROID_API__ >= __ANDROID_API_J_MR1__ |
| 84 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 85 | char* strcpy(char* const dst __pass_object_size, const char* src) |
| 86 | __overloadable |
George Burgess IV | 5273dc5 | 2019-05-09 13:46:57 -0700 | [diff] [blame] | 87 | __clang_error_if(__bos_unevaluated_leq(__bos(dst), __builtin_strlen(src)), |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 88 | "'strcpy' called with string bigger than buffer") { |
George Burgess IV | 5da5dd5 | 2019-05-09 14:32:43 -0700 | [diff] [blame^] | 89 | size_t bos_dst = __bos(dst); |
| 90 | if (__bos_trivially_not_leq(bos_dst, __builtin_strlen(src))) { |
| 91 | return __builtin_strcpy(dst, src); |
| 92 | } |
| 93 | return __builtin___strcpy_chk(dst, src, bos_dst); |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 94 | } |
| 95 | |
| 96 | __BIONIC_FORTIFY_INLINE |
Elliott Hughes | 3f66e74 | 2017-08-01 13:24:40 -0700 | [diff] [blame] | 97 | char* strcat(char* const dst __pass_object_size, const char* src) __overloadable { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 98 | return __builtin___strcat_chk(dst, src, __bos(dst)); |
| 99 | } |
| 100 | |
| 101 | __BIONIC_FORTIFY_INLINE |
Elliott Hughes | 3f66e74 | 2017-08-01 13:24:40 -0700 | [diff] [blame] | 102 | char* strncat(char* const dst __pass_object_size, const char* src, size_t n) __overloadable { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 103 | return __builtin___strncat_chk(dst, src, n, __bos(dst)); |
| 104 | } |
| 105 | |
| 106 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 107 | void* memset(void* const s __pass_object_size0, int c, size_t n) |
| 108 | __overloadable |
George Burgess IV | 5273dc5 | 2019-05-09 13:46:57 -0700 | [diff] [blame] | 109 | __clang_error_if(__bos_unevaluated_lt(__bos0(s), n), |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 110 | "'memset' called with size bigger than buffer") |
| 111 | /* If you're a user who wants this warning to go away: use `(&memset)(foo, bar, baz)`. */ |
| 112 | __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^] | 113 | size_t bos = __bos0(s); |
| 114 | if (__bos_trivially_not_lt(bos, n)) { |
| 115 | return __builtin_memset(s, c, n); |
| 116 | } |
| 117 | return __builtin___memset_chk(s, c, n, bos); |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 118 | } |
| 119 | #endif /* __ANDROID_API__ >= __ANDROID_API_J_MR1__ */ |
| 120 | |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 121 | #if __ANDROID_API__ >= __ANDROID_API_M__ |
| 122 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 123 | 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] | 124 | size_t bos = __bos(s); |
| 125 | |
| 126 | if (bos == __BIONIC_FORTIFY_UNKNOWN_SIZE) { |
| 127 | return __builtin_memchr(s, c, n); |
| 128 | } |
| 129 | |
| 130 | return __memchr_chk(s, c, n, bos); |
| 131 | } |
| 132 | |
| 133 | __BIONIC_FORTIFY_INLINE |
Elliott Hughes | df9a489 | 2017-08-23 14:34:03 -0700 | [diff] [blame] | 134 | 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] | 135 | size_t bos = __bos(s); |
| 136 | |
| 137 | if (bos == __BIONIC_FORTIFY_UNKNOWN_SIZE) { |
Elliott Hughes | df9a489 | 2017-08-23 14:34:03 -0700 | [diff] [blame] | 138 | return __memrchr_real(s, c, n); |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 139 | } |
| 140 | |
| 141 | return __memrchr_chk(s, c, n, bos); |
| 142 | } |
| 143 | #endif /* __ANDROID_API__ >= __ANDROID_API_M__ */ |
| 144 | |
| 145 | #if __ANDROID_API__ >= __ANDROID_API_L__ |
| 146 | __BIONIC_FORTIFY_INLINE |
Elliott Hughes | 3f66e74 | 2017-08-01 13:24:40 -0700 | [diff] [blame] | 147 | char* stpncpy(char* const dst __pass_object_size, const char* const src __pass_object_size, size_t n) |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 148 | __overloadable { |
| 149 | size_t bos_dst = __bos(dst); |
| 150 | size_t bos_src = __bos(src); |
| 151 | |
| 152 | /* Ignore dst size checks; they're handled in strncpy_chk */ |
| 153 | if (bos_src == __BIONIC_FORTIFY_UNKNOWN_SIZE) { |
| 154 | return __builtin___stpncpy_chk(dst, src, n, bos_dst); |
| 155 | } |
| 156 | |
| 157 | return __stpncpy_chk2(dst, src, n, bos_dst, bos_src); |
| 158 | } |
| 159 | |
| 160 | __BIONIC_FORTIFY_INLINE |
Elliott Hughes | 3f66e74 | 2017-08-01 13:24:40 -0700 | [diff] [blame] | 161 | char* strncpy(char* const dst __pass_object_size, const char* const src __pass_object_size, size_t n) |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 162 | __overloadable { |
| 163 | size_t bos_dst = __bos(dst); |
| 164 | size_t bos_src = __bos(src); |
| 165 | |
| 166 | /* Ignore dst size checks; they're handled in strncpy_chk */ |
| 167 | if (bos_src == __BIONIC_FORTIFY_UNKNOWN_SIZE) { |
| 168 | return __builtin___strncpy_chk(dst, src, n, bos_dst); |
| 169 | } |
| 170 | |
| 171 | return __strncpy_chk2(dst, src, n, bos_dst, bos_src); |
| 172 | } |
| 173 | #endif /* __ANDROID_API__ >= __ANDROID_API_L__ */ |
| 174 | |
| 175 | #if __ANDROID_API__ >= __ANDROID_API_J_MR1__ |
| 176 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 177 | size_t strlcpy(char* const dst __pass_object_size, const char* src, size_t size) __overloadable { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 178 | size_t bos = __bos(dst); |
| 179 | |
| 180 | if (bos == __BIONIC_FORTIFY_UNKNOWN_SIZE) { |
| 181 | return __call_bypassing_fortify(strlcpy)(dst, src, size); |
| 182 | } |
| 183 | |
| 184 | return __strlcpy_chk(dst, src, size, bos); |
| 185 | } |
| 186 | |
| 187 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 188 | size_t strlcat(char* const dst __pass_object_size, const char* src, size_t size) __overloadable { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 189 | size_t bos = __bos(dst); |
| 190 | |
| 191 | if (bos == __BIONIC_FORTIFY_UNKNOWN_SIZE) { |
| 192 | return __call_bypassing_fortify(strlcat)(dst, src, size); |
| 193 | } |
| 194 | |
| 195 | return __strlcat_chk(dst, src, size, bos); |
| 196 | } |
| 197 | |
| 198 | /* |
| 199 | * If we can evaluate the size of s at compile-time, just call __builtin_strlen |
| 200 | * on it directly. This makes it way easier for compilers to fold things like |
| 201 | * strlen("Foo") into a constant, as users would expect. -1ULL is chosen simply |
| 202 | * because it's large. |
| 203 | */ |
| 204 | __BIONIC_FORTIFY_INLINE |
Elliott Hughes | 3f66e74 | 2017-08-01 13:24:40 -0700 | [diff] [blame] | 205 | size_t strlen(const char* const s __pass_object_size) |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 206 | __overloadable __enable_if(__builtin_strlen(s) != -1ULL, |
| 207 | "enabled if s is a known good string.") { |
| 208 | return __builtin_strlen(s); |
| 209 | } |
| 210 | |
| 211 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 212 | size_t strlen(const char* const s __pass_object_size0) __overloadable { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 213 | size_t bos = __bos0(s); |
| 214 | |
| 215 | if (bos == __BIONIC_FORTIFY_UNKNOWN_SIZE) { |
| 216 | return __builtin_strlen(s); |
| 217 | } |
| 218 | |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 219 | return __strlen_chk(s, bos); |
| 220 | } |
| 221 | #endif /* __ANDROID_API__ >= __ANDROID_API_J_MR1__ */ |
| 222 | |
| 223 | #if __ANDROID_API__ >= __ANDROID_API_J_MR2__ |
| 224 | __BIONIC_FORTIFY_INLINE |
Elliott Hughes | 3f66e74 | 2017-08-01 13:24:40 -0700 | [diff] [blame] | 225 | 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] | 226 | size_t bos = __bos(s); |
| 227 | |
| 228 | if (bos == __BIONIC_FORTIFY_UNKNOWN_SIZE) { |
| 229 | return __builtin_strchr(s, c); |
| 230 | } |
| 231 | |
| 232 | return __strchr_chk(s, c, bos); |
| 233 | } |
| 234 | |
| 235 | __BIONIC_FORTIFY_INLINE |
Elliott Hughes | 3f66e74 | 2017-08-01 13:24:40 -0700 | [diff] [blame] | 236 | 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] | 237 | size_t bos = __bos(s); |
| 238 | |
| 239 | if (bos == __BIONIC_FORTIFY_UNKNOWN_SIZE) { |
| 240 | return __builtin_strrchr(s, c); |
| 241 | } |
| 242 | |
| 243 | return __strrchr_chk(s, c, bos); |
| 244 | } |
| 245 | #endif /* __ANDROID_API__ >= __ANDROID_API_J_MR2__ */ |
| 246 | |
Elliott Hughes | df9a489 | 2017-08-23 14:34:03 -0700 | [diff] [blame] | 247 | #if __ANDROID_API__ >= __ANDROID_API_M__ |
| 248 | #if defined(__cplusplus) |
| 249 | extern "C++" { |
| 250 | __BIONIC_FORTIFY_INLINE |
| 251 | void* memrchr(void* const __pass_object_size s, int c, size_t n) { |
| 252 | return __memrchr_fortify(s, c, n); |
| 253 | } |
| 254 | |
| 255 | __BIONIC_FORTIFY_INLINE |
| 256 | const void* memrchr(const void* const __pass_object_size s, int c, size_t n) { |
| 257 | return __memrchr_fortify(s, c, n); |
| 258 | } |
| 259 | } |
| 260 | #else |
| 261 | __BIONIC_FORTIFY_INLINE |
| 262 | void* memrchr(const void* const __pass_object_size s, int c, size_t n) __overloadable { |
| 263 | return __memrchr_fortify(s, c, n); |
| 264 | } |
| 265 | #endif |
| 266 | #endif /* __ANDROID_API__ >= __ANDROID_API_M__ */ |
| 267 | |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 268 | #endif /* defined(__BIONIC_FORTIFY) */ |