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 | c03d596 | 2019-05-23 15:22:01 -0700 | [diff] [blame] | 73 | __clang_error_if(__bos_unevaluated_le(__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); |
George Burgess IV | c03d596 | 2019-05-23 15:22:01 -0700 | [diff] [blame] | 76 | if (__bos_trivially_not_le(bos_dst, __builtin_strlen(src))) { |
George Burgess IV | 5da5dd5 | 2019-05-09 14:32:43 -0700 | [diff] [blame] | 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 | c03d596 | 2019-05-23 15:22:01 -0700 | [diff] [blame] | 87 | __clang_error_if(__bos_unevaluated_le(__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); |
George Burgess IV | c03d596 | 2019-05-23 15:22:01 -0700 | [diff] [blame] | 90 | if (__bos_trivially_not_le(bos_dst, __builtin_strlen(src))) { |
George Burgess IV | 5da5dd5 | 2019-05-09 14:32:43 -0700 | [diff] [blame] | 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 |
George Burgess IV | 77f99aa | 2019-06-06 14:14:52 -0700 | [diff] [blame^] | 97 | char* strcat(char* const dst __pass_object_size, const char* src) |
| 98 | __overloadable |
| 99 | __clang_error_if(__bos_unevaluated_le(__bos(dst), __builtin_strlen(src)), |
| 100 | "'strcat' called with string bigger than buffer") { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 101 | return __builtin___strcat_chk(dst, src, __bos(dst)); |
| 102 | } |
| 103 | |
| 104 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | 77f99aa | 2019-06-06 14:14:52 -0700 | [diff] [blame^] | 105 | char* strncat(char* const dst __pass_object_size, const char* src, size_t n) |
| 106 | __overloadable |
| 107 | __clang_error_if(__bos_unevaluated_lt(__bos(dst), n), |
| 108 | "'strncat' called with size bigger than buffer") { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 109 | return __builtin___strncat_chk(dst, src, n, __bos(dst)); |
| 110 | } |
| 111 | |
| 112 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 113 | void* memset(void* const s __pass_object_size0, int c, size_t n) |
| 114 | __overloadable |
George Burgess IV | 5273dc5 | 2019-05-09 13:46:57 -0700 | [diff] [blame] | 115 | __clang_error_if(__bos_unevaluated_lt(__bos0(s), n), |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 116 | "'memset' called with size bigger than buffer") |
| 117 | /* If you're a user who wants this warning to go away: use `(&memset)(foo, bar, baz)`. */ |
| 118 | __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] | 119 | size_t bos = __bos0(s); |
| 120 | if (__bos_trivially_not_lt(bos, n)) { |
| 121 | return __builtin_memset(s, c, n); |
| 122 | } |
| 123 | return __builtin___memset_chk(s, c, n, bos); |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 124 | } |
| 125 | #endif /* __ANDROID_API__ >= __ANDROID_API_J_MR1__ */ |
| 126 | |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 127 | #if __ANDROID_API__ >= __ANDROID_API_M__ |
| 128 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 129 | 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] | 130 | size_t bos = __bos(s); |
| 131 | |
George Burgess IV | c03d596 | 2019-05-23 15:22:01 -0700 | [diff] [blame] | 132 | if (__bos_trivially_ge(bos, n)) { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 133 | return __builtin_memchr(s, c, n); |
| 134 | } |
| 135 | |
| 136 | return __memchr_chk(s, c, n, bos); |
| 137 | } |
| 138 | |
| 139 | __BIONIC_FORTIFY_INLINE |
Elliott Hughes | df9a489 | 2017-08-23 14:34:03 -0700 | [diff] [blame] | 140 | 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] | 141 | size_t bos = __bos(s); |
| 142 | |
George Burgess IV | c03d596 | 2019-05-23 15:22:01 -0700 | [diff] [blame] | 143 | if (__bos_trivially_ge(bos, n)) { |
Elliott Hughes | df9a489 | 2017-08-23 14:34:03 -0700 | [diff] [blame] | 144 | return __memrchr_real(s, c, n); |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 145 | } |
| 146 | |
| 147 | return __memrchr_chk(s, c, n, bos); |
| 148 | } |
| 149 | #endif /* __ANDROID_API__ >= __ANDROID_API_M__ */ |
| 150 | |
| 151 | #if __ANDROID_API__ >= __ANDROID_API_L__ |
| 152 | __BIONIC_FORTIFY_INLINE |
Elliott Hughes | 3f66e74 | 2017-08-01 13:24:40 -0700 | [diff] [blame] | 153 | 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^] | 154 | __overloadable |
| 155 | __clang_error_if(__bos_unevaluated_lt(__bos(dst), n), |
| 156 | "'stpncpy' called with size bigger than buffer") { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 157 | size_t bos_dst = __bos(dst); |
| 158 | size_t bos_src = __bos(src); |
| 159 | |
| 160 | /* Ignore dst size checks; they're handled in strncpy_chk */ |
| 161 | if (bos_src == __BIONIC_FORTIFY_UNKNOWN_SIZE) { |
| 162 | return __builtin___stpncpy_chk(dst, src, n, bos_dst); |
| 163 | } |
| 164 | |
| 165 | return __stpncpy_chk2(dst, src, n, bos_dst, bos_src); |
| 166 | } |
| 167 | |
| 168 | __BIONIC_FORTIFY_INLINE |
Elliott Hughes | 3f66e74 | 2017-08-01 13:24:40 -0700 | [diff] [blame] | 169 | 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^] | 170 | __overloadable |
| 171 | __clang_error_if(__bos_unevaluated_lt(__bos(dst), n), |
| 172 | "'strncpy' 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___strncpy_chk(dst, src, n, bos_dst); |
| 179 | } |
| 180 | |
| 181 | return __strncpy_chk2(dst, src, n, bos_dst, bos_src); |
| 182 | } |
| 183 | #endif /* __ANDROID_API__ >= __ANDROID_API_L__ */ |
| 184 | |
| 185 | #if __ANDROID_API__ >= __ANDROID_API_J_MR1__ |
| 186 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | 77f99aa | 2019-06-06 14:14:52 -0700 | [diff] [blame^] | 187 | size_t strlcpy(char* const dst __pass_object_size, const char* src, size_t size) |
| 188 | __overloadable |
| 189 | __clang_error_if(__bos_unevaluated_lt(__bos(dst), size), |
| 190 | "'strlcpy' called with size bigger than buffer") { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 191 | size_t bos = __bos(dst); |
| 192 | |
| 193 | if (bos == __BIONIC_FORTIFY_UNKNOWN_SIZE) { |
| 194 | return __call_bypassing_fortify(strlcpy)(dst, src, size); |
| 195 | } |
| 196 | |
| 197 | return __strlcpy_chk(dst, src, size, bos); |
| 198 | } |
| 199 | |
| 200 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | 77f99aa | 2019-06-06 14:14:52 -0700 | [diff] [blame^] | 201 | size_t strlcat(char* const dst __pass_object_size, const char* src, size_t size) |
| 202 | __overloadable |
| 203 | __clang_error_if(__bos_unevaluated_lt(__bos(dst), size), |
| 204 | "'strlcat' called with size bigger than buffer") { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 205 | size_t bos = __bos(dst); |
| 206 | |
| 207 | if (bos == __BIONIC_FORTIFY_UNKNOWN_SIZE) { |
| 208 | return __call_bypassing_fortify(strlcat)(dst, src, size); |
| 209 | } |
| 210 | |
| 211 | return __strlcat_chk(dst, src, size, bos); |
| 212 | } |
| 213 | |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 214 | __BIONIC_FORTIFY_INLINE |
George Burgess IV | b630046 | 2017-07-31 21:29:42 -0700 | [diff] [blame] | 215 | size_t strlen(const char* const s __pass_object_size0) __overloadable { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 216 | size_t bos = __bos0(s); |
| 217 | |
George Burgess IV | a1a09b2 | 2019-05-13 17:16:20 -0700 | [diff] [blame] | 218 | if (__bos_trivially_gt(bos, __builtin_strlen(s))) { |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 219 | return __builtin_strlen(s); |
| 220 | } |
| 221 | |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 222 | return __strlen_chk(s, bos); |
| 223 | } |
| 224 | #endif /* __ANDROID_API__ >= __ANDROID_API_J_MR1__ */ |
| 225 | |
| 226 | #if __ANDROID_API__ >= __ANDROID_API_J_MR2__ |
| 227 | __BIONIC_FORTIFY_INLINE |
Elliott Hughes | 3f66e74 | 2017-08-01 13:24:40 -0700 | [diff] [blame] | 228 | 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] | 229 | size_t bos = __bos(s); |
| 230 | |
| 231 | if (bos == __BIONIC_FORTIFY_UNKNOWN_SIZE) { |
| 232 | return __builtin_strchr(s, c); |
| 233 | } |
| 234 | |
| 235 | return __strchr_chk(s, c, bos); |
| 236 | } |
| 237 | |
| 238 | __BIONIC_FORTIFY_INLINE |
Elliott Hughes | 3f66e74 | 2017-08-01 13:24:40 -0700 | [diff] [blame] | 239 | 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] | 240 | size_t bos = __bos(s); |
| 241 | |
| 242 | if (bos == __BIONIC_FORTIFY_UNKNOWN_SIZE) { |
| 243 | return __builtin_strrchr(s, c); |
| 244 | } |
| 245 | |
| 246 | return __strrchr_chk(s, c, bos); |
| 247 | } |
| 248 | #endif /* __ANDROID_API__ >= __ANDROID_API_J_MR2__ */ |
| 249 | |
Elliott Hughes | df9a489 | 2017-08-23 14:34:03 -0700 | [diff] [blame] | 250 | #if __ANDROID_API__ >= __ANDROID_API_M__ |
| 251 | #if defined(__cplusplus) |
| 252 | extern "C++" { |
| 253 | __BIONIC_FORTIFY_INLINE |
| 254 | void* memrchr(void* const __pass_object_size s, int c, size_t n) { |
| 255 | return __memrchr_fortify(s, c, n); |
| 256 | } |
| 257 | |
| 258 | __BIONIC_FORTIFY_INLINE |
| 259 | const void* memrchr(const void* const __pass_object_size s, int c, size_t n) { |
| 260 | return __memrchr_fortify(s, c, n); |
| 261 | } |
| 262 | } |
| 263 | #else |
| 264 | __BIONIC_FORTIFY_INLINE |
| 265 | void* memrchr(const void* const __pass_object_size s, int c, size_t n) __overloadable { |
| 266 | return __memrchr_fortify(s, c, n); |
| 267 | } |
| 268 | #endif |
| 269 | #endif /* __ANDROID_API__ >= __ANDROID_API_M__ */ |
| 270 | |
George Burgess IV | b97049c | 2017-07-24 15:05:05 -0700 | [diff] [blame] | 271 | #endif /* defined(__BIONIC_FORTIFY) */ |