safec  2.1
Safe C Library - ISO TR24731 Bounds Checking Interface
memcpy32_s.c
Go to the documentation of this file.
1 /*------------------------------------------------------------------
2  * memcpy32_s
3  *
4  * October 2008, Bo Berry
5  *
6  * Copyright (c) 2008-2011 Cisco Systems
7  * All rights reserved.
8  *
9  * Permission is hereby granted, free of charge, to any person
10  * obtaining a copy of this software and associated documentation
11  * files (the "Software"), to deal in the Software without
12  * restriction, including without limitation the rights to use,
13  * copy, modify, merge, publish, distribute, sublicense, and/or
14  * sell copies of the Software, and to permit persons to whom the
15  * Software is furnished to do so, subject to the following
16  * conditions:
17  *
18  * The above copyright notice and this permission notice shall be
19  * included in all copies or substantial portions of the Software.
20  *
21  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
22  * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
23  * OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
24  * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
25  * HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
26  * WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
27  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
28  * OTHER DEALINGS IN THE SOFTWARE.
29  *------------------------------------------------------------------
30  */
31 
32 #include "safeclib_private.h"
33 #include "safe_mem_constraint.h"
34 #include "mem_primitives_lib.h"
35 #include "safe_mem_lib.h"
36 
37 
73 errno_t
74 memcpy32_s (uint32_t *dest, rsize_t dmax, const uint32_t *src, rsize_t smax)
75 {
76  if (dest == NULL) {
77  invoke_safe_mem_constraint_handler("memcpy32_s: dest is NULL",
78  NULL, ESNULLP);
79  return (RCNEGATE(ESNULLP));
80  }
81 
82  if (dmax == 0) {
83  invoke_safe_mem_constraint_handler("memcpy32_s: dmax is 0",
84  NULL, ESZEROL);
85  return (RCNEGATE(ESZEROL));
86  }
87 
88  if (dmax > RSIZE_MAX_MEM32 || smax > RSIZE_MAX_MEM32) {
89  invoke_safe_mem_constraint_handler("memcpy32_s: dmax/smax exceeds max",
90  NULL, ESLEMAX);
91  return (RCNEGATE(ESLEMAX));
92  }
93 
94  if (smax == 0) {
95  mem_prim_set32(dest, dmax, 0);
96  invoke_safe_mem_constraint_handler("memcpy32_s: smax is 0",
97  NULL, ESZEROL);
98  return (RCNEGATE(ESZEROL));
99  }
100 
101  if (smax > dmax) {
102  mem_prim_set32(dest, dmax, 0);
103  invoke_safe_mem_constraint_handler("memcpy32_s: smax exceeds dmax",
104  NULL, ESNOSPC);
105  return (RCNEGATE(ESNOSPC));
106  }
107 
108  if (src == NULL) {
109  mem_prim_set32(dest, dmax, 0);
110  invoke_safe_mem_constraint_handler("memcpy32_s: src is NULL",
111  NULL, ESNULLP);
112  return (RCNEGATE(ESNULLP));
113  }
114 
115  /*
116  * overlap is undefined behavior, do not allow
117  */
118  if( ((dest > src) && (dest < (src+smax))) ||
119  ((src > dest) && (src < (dest+dmax))) ) {
120  mem_prim_set32(dest, dmax, 0);
121  invoke_safe_mem_constraint_handler("memcpy32_s: overlap undefined",
122  NULL, ESOVRLP);
123  return (RCNEGATE(ESOVRLP));
124  }
125 
126  /*
127  * now perform the copy
128  */
129  mem_prim_move32(dest, src, smax);
130 
131  return (RCNEGATE(EOK));
132 }
133 EXPORT_SYMBOL(memcpy32_s)
void mem_prim_set32(uint32_t *dest, uint32_t len, uint32_t value)
Sets len uint32_t&#39;s starting at dest to the specified value.
void mem_prim_move32(uint32_t *dest, const uint32_t *src, uint32_t len)
Moves at most len of uint32_t&#39;s from src to dest.
errno_t memcpy32_s(uint32_t *dest, rsize_t dmax, const uint32_t *src, rsize_t smax)
This function copies at most smax uint32_ts from src to dest, up to dmax.
Definition: memcpy32_s.c:74
void invoke_safe_mem_constraint_handler(const char *msg, void *ptr, errno_t error)
Invokes the currently set constraint handler or the default.