safec  2.1
Safe C Library - ISO TR24731 Bounds Checking Interface
memmove_s.c
Go to the documentation of this file.
1 /*------------------------------------------------------------------
2  * memmove_s.c
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 
83 errno_t
84 memmove_s (void *dest, rsize_t dmax, const void *src, rsize_t smax)
85 {
86  uint8_t *dp;
87  const uint8_t *sp;
88 
89  dp= (uint8_t*) dest;
90  sp = (uint8_t*) src;
91 
92  if (dp == NULL) {
93  invoke_safe_mem_constraint_handler("memmove_s: dest is null",
94  NULL, ESNULLP);
95  return (RCNEGATE(ESNULLP));
96  }
97 
98  if (dmax == 0) {
99  invoke_safe_mem_constraint_handler("memmove_s: dmax is 0",
100  NULL, ESZEROL);
101  return (RCNEGATE(ESZEROL));
102  }
103 
104  if (dmax > RSIZE_MAX_MEM || smax > RSIZE_MAX_MEM) {
105  invoke_safe_mem_constraint_handler("memmove_s: dmax/smax exceeds max",
106  NULL, ESLEMAX);
107  return (RCNEGATE(ESLEMAX));
108  }
109 
110  if (smax == 0) {
111  mem_prim_set(dp, dmax, 0);
112  invoke_safe_mem_constraint_handler("memmove_s: smax is 0",
113  NULL, ESZEROL);
114  return (RCNEGATE(ESZEROL));
115  }
116 
117  if (smax > dmax) {
118  mem_prim_set(dp, dmax, 0);
119  invoke_safe_mem_constraint_handler("memmove_s: smax exceeds max",
120  NULL, ESNOSPC);
121  return (RCNEGATE(ESNOSPC));
122  }
123 
124  if (sp == NULL) {
125  mem_prim_set(dp, dmax, 0);
126  invoke_safe_mem_constraint_handler("memmove_s: src is null",
127  NULL, ESNULLP);
128  return (RCNEGATE(ESNULLP));
129  }
130 
131  /*
132  * now perform the copy
133  */
134  mem_prim_move(dp, sp, smax);
135 
136  return (RCNEGATE(EOK));
137 }
138 EXPORT_SYMBOL(memmove_s)
void mem_prim_set(void *dest, uint32_t len, uint8_t value)
Sets len bytes starting at dest to the specified value.
void mem_prim_move(void *dest, const void *src, uint32_t len)
Moves at most len of bytes from src to dest.
errno_t memmove_s(void *dest, rsize_t dmax, const void *src, rsize_t smax)
The memmove_s function copies smax bytes from the region pointed to by src into the region pointed to...
Definition: memmove_s.c:84
void invoke_safe_mem_constraint_handler(const char *msg, void *ptr, errno_t error)
Invokes the currently set constraint handler or the default.