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