1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
|
/*
* SPDX-License-Identifier: BSD-3-Clause
*
* Copyright © 2024, Synopsys Inc.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
*
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
*
* 2. Redistributions in binary form must reproduce the above
* copyright notice, this list of conditions and the following
* disclaimer in the documentation and/or other materials provided
* with the distribution.
*
* 3. Neither the name of the copyright holder nor the names of its
* contributors may be used to endorse or promote products derived
* from this software without specific prior written permission.
*
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
* "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
* LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
* FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
* COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
* INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
* (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
* SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
* STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
* OF THE POSSIBILITY OF SUCH DAMAGE.
*/
#define __STDC_WANT_LIB_EXT1__ 1
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <errno.h>
#ifdef __STDC_LIB_EXT1__
#define MAX_ERROR_MSG 100
char handler_msg[MAX_ERROR_MSG] = "";
static void
custom_constraint_handler(const char * restrict msg, void * restrict ptr, errno_t error)
{
(void)ptr;
(void)error;
strcpy(handler_msg, msg);
}
#define TEST_RES(cond, msg, handler_res, test_id) \
if ((!(cond)) || (handler_res == 1)) { \
printf("Test %d Failed: %s\n", test_id, msg); \
return 1; \
} else { \
printf("Test %d Passed: %s\n", test_id, msg); \
}
static int
test_handler_called(int handler_called, char *expected_msg, int test_id)
{
int ret = 0;
if (handler_called == 0) {
(void)expected_msg;
if (handler_msg[0] != '\0') {
printf("ERROR: Custom constraint handler called without error detiction!\n");
printf("Test %d Failed: Error msg is incorrect\n", test_id);
ret = 1;
}
} else {
if (handler_msg[0] == '\0') {
(void)expected_msg;
printf("ERROR: Custom constraint handler not called\n");
printf("Test %d Failed: Error msg is incorrect\n", test_id);
ret = 1;
} else {
if (strcmp(expected_msg, handler_msg) != 0) {
printf("ERROR: Custom constraint handler called with incorrect msg: %s\n",
handler_msg);
printf("Test %d Failed: Error msg is incorrect\n", test_id);
ret = 1;
} else {
(void)expected_msg;
printf("Custom constraint handler called with correct msg: %s\n", handler_msg);
handler_msg[0] = '\0';
ret = 0;
}
}
}
return ret;
}
int
main(void)
{
char dest[50];
const char *src = "Hello, world!";
int test_id = 0;
int handler_res = 0;
errno_t res;
set_constraint_handler_s(custom_constraint_handler);
// Test case 1: Normal copy
test_id++;
res = strncpy_s(dest, sizeof(dest), src, 13);
handler_res = test_handler_called(0, "", test_id);
TEST_RES(res == 0, "Normal Copy", handler_res, test_id);
TEST_RES(strcmp(dest, "Hello, world!") == 0, "Normal Copy Contents", handler_res, test_id);
// Test case 2: Copy with insufficient buffer
test_id++;
res = strncpy_s(dest, 5, src, 13);
handler_res
= test_handler_called(1, "strncpy_s: dest buffer size insufficent to copy string", test_id);
TEST_RES(res != 0, "Copy with insufficient buffer", handler_res, test_id);
// Test case 3: Null pointers
test_id++;
res = strncpy_s(NULL, sizeof(dest), src, 13);
handler_res = test_handler_called(1, "strncpy_s: dest is NULL", test_id);
TEST_RES(res != 0, "NULL Destination Pointer", handler_res, test_id);
res = strncpy_s(dest, sizeof(dest), NULL, 13);
handler_res = test_handler_called(1, "strncpy_s: source is NULL", test_id);
TEST_RES(res != 0, "NULL Source Pointer", handler_res, test_id);
// Test case 4: Copy of empty string
test_id++;
res = strncpy_s(dest, sizeof(dest), "", 0);
handler_res = test_handler_called(0, "", test_id);
TEST_RES(res == 0, "Copy of empty string", handler_res, test_id);
TEST_RES(strcmp(dest, "") == 0, "Copy of empty string Contents", handler_res, test_id);
// Test case 5: Copy with zero Characters
test_id++;
res = strncpy_s(dest, sizeof(dest), "Hello, world!", 0);
handler_res = test_handler_called(0, "", test_id);
TEST_RES(res == 0, "Copy with zero Characters", handler_res, test_id);
TEST_RES(strcmp(dest, "") == 0, "Copy with zero Characters Contents", handler_res, test_id);
printf("All strncpy_s tests passed!\n");
return 0;
}
#else
int
main(void)
{
printf("C library does not support __STDC_LIB_EXT1__, skipping\n");
return 77;
}
#endif
|
