1 /*
2 * SPDX-License-Identifier: BSD-3-Clause
3 *
4 * Copyright © 2024, Synopsys Inc.
5 *
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions
8 * are met:
9 *
10 * 1. Redistributions of source code must retain the above copyright
11 * notice, this list of conditions and the following disclaimer.
12 *
13 * 2. Redistributions in binary form must reproduce the above
14 * copyright notice, this list of conditions and the following
15 * disclaimer in the documentation and/or other materials provided
16 * with the distribution.
17 *
18 * 3. Neither the name of the copyright holder nor the names of its
19 * contributors may be used to endorse or promote products derived
20 * from this software without specific prior written permission.
21 *
22 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
23 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
24 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
25 * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
26 * COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
27 * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
28 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
29 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
30 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
31 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
32 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
33 * OF THE POSSIBILITY OF SUCH DAMAGE.
34 */
35 #define __STDC_WANT_LIB_EXT1__ 1
36 #include <string.h>
37 #include <stdbool.h>
38 #include "string_private.h"
39
40 __errno_t
memcpy_s(void * restrict s1,rsize_t s1max,const void * restrict s2,rsize_t n)41 memcpy_s(void *restrict s1, rsize_t s1max, const void *restrict s2, rsize_t n)
42 {
43 const char *msg = "";
44
45 if (s1 == NULL) {
46 msg = "memcpy_s: dest is NULL";
47 goto handle_error;
48 }
49
50 if (CHECK_RSIZE(s1max)) {
51 msg = "memcpy_s: buffer size exceeds RSIZE_MAX";
52 goto handle_error;
53 }
54
55 if (s2 == NULL) {
56 msg = "memcpy_s: source is NULL";
57 goto handle_error;
58 }
59
60 if (CHECK_RSIZE(n)) {
61 msg = "memcpy_s: copy count exceeds RSIZE_MAX";
62 goto handle_error;
63 }
64
65 if (n > s1max) {
66 msg = "memcpy_s: copy count exceeds buffer size";
67 goto handle_error;
68 }
69
70 const char *s1cp = (const char *)s1;
71 const char *s2cp = (const char *)s2;
72 const char *s1cp_limit = &s1cp[n];
73 const char *s2cp_limit = &s2cp[n];
74
75 if (((s1cp_limit <= s2cp) || (s2cp_limit <= s1cp)) == false) {
76 msg = "memcpy_s: overlapping copy";
77 goto handle_error;
78 }
79
80 // Normal return path
81 (void)memcpy(s1, s2, n);
82 return 0;
83
84 handle_error:
85 if (s1 != NULL) {
86 (void)memset(s1, (int32_t)'\0', s1max);
87 }
88
89 if (__cur_handler != NULL) {
90 __cur_handler(msg, NULL, -1);
91 }
92
93 return -1;
94 }
95
